Technical Reports by Author
Theses by Author

CMU-CS-11-100
XIA: An Architecture for an Evolvable and Trustworthy Internet
Ashok Anand, Fahad Dogar, Dongsu Han, Boyan Li, Hyeontaek Lim,
Michel Machado, Wenfei Wu, Aditya Akella, David Andersen, John Byers,
Srinivasan Seshan, Peter Steenkiste
Abstract, .pdf

CMU-CS-11-101
Spare a Little Change? Towards a 5-Nines Internet in 250 Lines of Code
Mukesh Agrawal, Ph.D. Thesis
Abstract, .pdf

CMU-CS-11-102
On the Semantics of Purpose Requirements in Privacy Policies
Michael Carl Tschantz, Anupam Datta, Jeannette M. Wing
Abstract, .pdf

CMU-CS-11-103
Maximizing Spatial Reuse in Indoor Environments
Xi Liu, Ph.D. Thesis
Abstract, .pdf

CMU-CS-11-104
Automated Physical Design: A Combinatorial Optimzation Approach
Debabrata Dash, Ph.D. Thesis
Abstract, .pdf

CMU-CS-11-105
Dependently Typed Programming with Domain-Specific Logics
Daniel R. Licata, Ph.D. Thesis
Abstract, .pdf

CMU-CS-11-106
A Case for World-wide Network Measurement using Smartphones and Open Marketplaces
Dongsu Han, Srinivasan Seshan
Abstract, .pdf

CMU-CS-11-107
Adaptive Cruise Control: Hybrid, Distributed, and Now Formally Verified
Sarah M. Loos, André Platzer, Ligia Nistor
Abstract, .pdf

CMU-CS-11-108
The von Mises Graphical Model: Structure Learning
Narges Sharif Razavian, Hetunandan Kamisetty, Christopher James Langmead
Abstract, .pdf

CMU-CS-11-109
On Markov-Krein Characterization of Mean Sojourn Time in Queueing Systems
Varun Gupta, Takayuki Osogami
Abstract, .pdf

CMU-CS-11-110
Logical, Metric, and Algorithmic Characterisations of Probabilistic Bisimulation
Yuxin Deng, Wenjie Du
Abstract, .pdf

CMU-CS-11-111
Stochastic Differential Dynamic Logic for Stochastic Hybrid Programs
André Platzer
Abstract, .pdf

CMU-CS-11-112
The Structure of Differential Invariants and Differential Cut Elimination
André Platzer
Abstract, .pdf

CMU-CS-11-113
Using Expressiveness to Increase Efficiency in Social and Economic Mechanisms
Michael Benisch, Ph.D. Thesis (COS)
Abstract, .pdf

CMU-CS-11-114
Stochastic Models and Analysis for Resource Management in Server Farms
Varun Gupta, Ph.D. Thesis
Abstract, .pdf

CMU-CS-11-115
KeySlinger and StarSlinger: Secure Key Exchange and Encrypted File Transfer on Smartphones
Jason Lee, M.S. Thesis
Abstract, .pdf

CMU-CS-11-116
Structured Probabilistic Models of Proteins across Spatial and Fitness Landscapes
Hetunandan Kamichetty, Ph.D. Thesis
Abstract, .pdf

CMU-CS-11-117
RPT: Re-architecting Loss Protection for Content-Aware Networks
Dongsu Han, Ashok Anand, Aditya Akella, Srinivasan Seshan
Abstract, .pdf

CMU-CS-11-118
WiMed: An Infrastructure-less Approach to Wireless Diagnosis
Kaushik Lakshminarayanan, Srinivasan Seshan, Peter Steenkiste
Abstract, .pdf

CMU-CS-11-119
Unavailable to Date

CMU-CS-11-120
End-to-end Tracing in HDFS
William Wang, M.S. Thesis
Abstract, .pdf

CMU-CS-11-121
Mesh Generation and Geometric Persistent Homology
Donald R. Sheehy, Ph.D. Thesis
Abstract, .pdf

CMU-CS-11-122
A New Architecture for Cloud Rendering and Amortized Graphics
David Klionsky, M.S. Thesis
Abstract, .pdf

CMU-CS-11-123
Smoke Sheets and Vortex Filaments with Flexible Reconnection
Alfred Barnat, M.S. Thesis
Abstract, .pdf

CMU-CS-11-124
Sticky-Finger Manipulation with a Multi-Touch Interface
Yue Peng Toh
Abstract, .pdf

CMU-CS-11-125
Designing an Interface and Path Translator for a Smart Phone-Based
Indoor Navigation System for Visually Impaired Users
Hend K. Gedawy, M.S. Thesis
Abstract, .pdf
Also appears as CMU-CS-QTR-112

CMU-CS-11-126
Compression of Physical Simulations for Mobile Virtual Worlds
Eric Butler, M.S. Thesis
Abstract, .pdf

CMU-CS-11-127
Fast Algorithms for Mining Co-evolving Time Series
Lei Li, Ph.D. Thesis
Abstract, .pdf

CMU-CS-11-128
Efficient Parallel Approximation Algorithms
Kanat Tangwongsan, Ph.D. Thesis
Abstract, .pdf

CMU-CS-11-129
The von Mises Graphical Model: Regularized Structure and Parameter Learning
Narges Razavian, Hetunandan Kamisetty, Christopher James Langmead
Abstract, .pdf
Also appears as CMU-CB-11-101

CMU-CS-11-130
The von Mises Graphical Model: Expectation Propagation for Inference
Narges Razavian, Hetunandan Kamisetty, Christopher James Langmead
Abstract, .pdf
Also appears as CMU-CB-11-102

CMU-CS-11-131
Energy-efficient Data-intensive Computing with a Fast Array of Wimpy Nodes
Vijay R. Vasudevan, Ph.D. Thesis
Abstract, .pdf

CMU-CS-11-132
A Contact Sheet Approach to Searching Untagged Images on Smartphones
Jan Harkes, Mahadev Satyanarayanan, Ardalan Amiri Sani, Benjamin Gilbert
Abstract, .pdf

CMU-CS-11-133
Mining and Querying Multimedia Data
Fan Guo, Ph.D. Thesis
Abstract, .pdf

CMU-CS-11-134
Performance Insulation: More Predictable Shared Storage
Matthew Wachs, Ph.D. Thesis
Abstract, .pdf

CMU-CS-11-135
Collaborating with Executable Content Across Space and Time
Mahadev Satyanarayanan, Vasanth Bala, Gloriana St. Clair, Erika Linke
Abstract, .pdf

CMU-CS-11-136
Learning Ancestral Genetic Processes using Nonparametric Bayesian Models
Kyung-Ah Sohn, Ph.D. Thesis
Abstract, .pdf

CMU-CS-11-137
Unavailable to Date

CMU-CS-11-138
Session Types as Intuitionistic Linear Propositions
Luis Caires, Frank Pfenning, Bernardo Toninho
Abstract, .pdf

CMU-CS-11-139
Dependent Session Types via Intuitionistic Linear Type Theory
Bernardo Toninho, Luis Caires, Frank Pfenning
Abstract, .pdf

CMU-CS-11-140
Typed Multiset Rewriting Specifications of Security Protocols
Iliano Cervesato
Abstract, .pdf
Also appears as CMU-CS-QTR-108.pdf

CMU-CS-11-141
MSR 2.0: Language Definition and Programming Environment
Iliano Cervesato
Abstract, .pdf
Also appears as CMU-CS-QTR-109.pdf

CMU-CS-11-142
A Type System for Borrowing Permissions
Karl Naden, Robert Bocchino, Jonathan Aldrich, Kevin Bierhoff
Abstract, .pdf

CMU-CS-11-143
Unpublished

CMU-CS-11-144
The Complete Proof Theory of Hybrid Systems
André Platzer
Abstract, .pdf

CMU-CS-11-145
Relating Reasoning Methodologies in Linear Logic and Process Algebra
Yuxin Deng, Robert J. Simmons, Illiano Cervesato
Abstract, .pdf
Also appears as CMU-CS-QTR-111.pdf

CMU-CS-11-146
Cloud Offload in Hostile Environments
Kiryong Ha, Grace Lewis, Soumya Simanta, Mahadev Satyanarayanan
Abstract, .pdf

Return to: SCS Technical Report Collection