Technical Reports by Author
All Theses by Author
MS Theses by Author

CMU-CS-15-100
Structured Sparse Models and Algorithms for Genetic Analysis
Seunghak Lee, Ph.D. Thesis
Abstract
Currently Unavailable Electronically

CMU-CS-15-101
Comingle: Distributed Logic Programming for Decentralized Android Applications
Edmund S.L. Lam, Iliano Cervesato
Abstract, .pdf
Also appears as CMU-CS-QTR-125

CMU-CS-15-102
Compositional Verification with Abstraction, Learning, and SAT Solving
Anvesh Komuravelli, Ph.D. Thesis
Abstract, .pdf

CMU-CS-15-103
Early Implementation Experience with Wearable Cognitive Assistance Applications
Zhuo Chen, Lu Jiang, Wenlu Hu, Kiryong Ha, Brandon Amos, Padmanabhan Pillai, Alex Hauptmann, Mahadev Satyanarayanan
Abstract, .pdf

CMU-CS-15-104
Computing Strong Game-Theoretic Strategies and Exploiting Suboptimal Opponents in Large Games
Sam Ganzfried, Ph.D. Thesis
Abstract, .pdf

CMU-CS-15-105
The Equivalence of the Torus and the Product of Two Circles in Homotopy Type Theory
Kristina Sojakova
Abstract, .pdf

CMU-CS-15-106
Network Structure and its Influence on User Behavior
Brendan Meeder, Ph.D. Thesis
Abstract, .pdf

CMU-CS-15-107
Unavailable to Date

CMU-CS-15-108
Shared-Memory Parallelism Can Be Simple, Fast, and Scalable
Julian Shun, Ph.D. Thesis
Abstract, .pdf

CMU-CS-15-109
A Logical Foundation for Session-based Concurrent Computation
Bernardo Parente Coutinho Fernandes Toninho, Ph.D. Thesis
Abstract, .pdf

CMU-CS-15-110
Learning to Understand Natural Language with Less Human Effort
Jayant Krishnamurthy, Ph.D. Thesis
Abstract, .pdf

CMU-CS-15-111
Market Algorithms: Incentives, Learning and Privacy
Jamie Morgenstern, Ph.D. Thesis
Abstract, .pdf

CMU-CS-15-112
Facts and Reasons: Web Information Querying to Support Agents and Human Decision Making
Mehdi Samadi, Ph.D. Thesis
Abstract, .pdf

CMU-CS-15-113
Adaptive VM Handoff Across Cloudlets
Kiryong Ha, Yoshihisa Abe, Zhuo Chen, Wenlu Hu, Brandon Amos, Padmanabhan Pillai, Mahadev Satyanarayanan
Abstract, .pdf

CMU-CS-15-114
Interactive Language-Based Task Library Instruction and Management for Single and Multiple Robots
Steven D. Klee, M.S. Thesis
Abstract, .pdf

CMU-CS-15-115
One-Click Time Travel
Mahadev Satyanarayanan, Gloriana St. Clair, Benjamin Gilbert, Yoshihisa Abe, Jan Harkes, Dan Ryan, Erika Linke, Keith Webster
Abstract, .pdf

CMU-CS-15-116
Interactive Algorithms for Unsupervised Machine Learning
Akshay Krishnamurthy, Ph.D. Thesis
Abstract, .pdf

CMU-CS-15-117
Modular Multiset Rewriting in Focused Linear Logic
Iliano Cervesato, Edmund S.L. Lam
Abstract, .pdf
Also appears as CMU-CS-QTR-128

CMU-CS-15-118
Virtual Machines for Remote Computing: Measuring the User Experience
Brandon Taylor, Yoshihisa Abe, Anind Dey, Mahadev Satyanarayanan, Dan Siewiorek, Asim Smailagic
Abstract, .pdf
Also appears as CMU-HCII-15-101

CMU-CS-15-119
Dataset Curation through Renders and Ontology Matching
Yair Movshovitz-Attias, Ph.D. Thesis
Abstract, .pdf

CMU-CS-15-120
Grounded Knowledge Bases for Scientific Domains
Dana Movshovitz-Attias, Ph.D. Thesis
Abstract, .pdf

CMU-CS-15-121
Pandora: Facilitating IP Development for Hardware Specialization
Michael K. Papamichael, Ph.D. Thesis
Abstract, .pdf

CMU-CS-15-122
JBösen: A Java Bounded Asynchronous Key-Value Store for Big ML
Yihua Fang, M.S. Thesis
Abstract, .pdf

CMU-CS-15-123
OpenStack++ for Cloudlet Deployment
Kiryong Ha, Mahadev Satyanarayanan
Abstract, .pdf

CMU-CS-15-124
Efficient Learning of Sparse Gaussian Mixture Models of Protein Conformational Substates
Ji Oh Yoo, M.S. Thesis
Abstract, .pdf

CMU-CS-15-125
OpenISR 2.0
Da-Yoon Chung, M.S. Thesis
Abstract, .pdf

CMU-CS-15-126
Exploring and Making Sense of Large Graphs
Danai Koutra, Ph.D. Thesis
Abstract, .pdf

CMU-CS-15-127
Leveraging Diversity and Spatial Connectivity in Multi-hop Vehicular Networks
Rui Meireles, Ph.D. Thesis
Abstract, .pdf

CMU-CS-15-128
Cortical Inference of Visual Input based on Retinal Spikes
Esha Uboweja, M.S. Thesis
Abstract, .pdf

CMU-CS-15-129
Evaluating Differences between Keystroke Datasets Collected under Lab and Field Conditions
Wangzi He, M.S. Thesis
Abstract, .pdf

CMU-CS-15-130
Practical and Safe Abstractions for Interactive Computation via Linearity
Stefan K. Muller, William A. Duff, Umut A. Acar
Abstract, .pdf

CMU-CS-15-131
Practical Abstractions for Concurrent Interactive Programs
Stefan K. Muller, William A. Duff, Umut A. Acar
Abstract, .pdf

CMU-CS-15-132
Resource-Efficient Data-Intensive System Designs for High Performance and Capacity
Hyeontaek Lim, Ph.D. Thesis
Abstract, .pdf

CMU-CS-15-133
A Hierarchical Framework for Configuration Space Task Planning
Evan Shapiro, M.S. Thesis
Abstract, .pdf

CMU-CS-15-134
Programming Interactive Worlds with Linear Logic
Chris Martens, Ph.D. Thesis
Abstract, .pdf

CMU-CS-15-135
CoRAM++: Supporting Data-Structure-Specific Memory Interfaces in FPGA Computing
Gabriel Leonard Weisz, Ph.D. Thesis
Abstract, .pdf

CMU-CS-15-136
Beyond Unique Decoding: Topics in Error-correcting Codes
Carol Wang, Ph.D. Thesis
Abstract, .pdf

CMU-CS-15-137
Urgent Virtual Machine Eviction with Enlightened Post-Copy
Yoshihisa Abe, Roxana Geambasu, Kaustubh Joshi, Mahadev Satyanarayanan
Abstract, .pdf

CMU-CS-15-138
Agentless Cloud-wide Monitoring of Virtual Disk State
Wolfgang Richter, Ph.D. Thesis
Abstract, .pdf

CMU-CS-15-139
Are Cloudlets Necessary?
Ying Gao, Wenlu Hu, Kiryong Ha, Brandon Amos,Padmanabhan Pillai, Mahadev Satyanarayanan
Abstract, .pdf

CMU-CS-15-140
Modeling of Dynamic Environments for Visual Forecasting of American Football Plays
Namhoon Lee, M.S. Thesis
Abstract, .pdf

CMU-CS-15-141
Analyzing Response Time in the Redundancy-d System
Kristen Gardner, Samuel Zbarsky, Mor Harchol-Balter, Alan Scheller-Wolf
Abstract, .pdf
Superceded by CMU-CS-15-141R

CMU-CS-15-141R
Analyzing Response Time in the Redundancy-d System
Kristen Gardner, Samuel Zbarsky, Mark Velednitsky, Mor Harchol-Balter, Alan Scheller-Wolf
Abstract, .pdf
Supercedes CMU-CS-15-141

CMU-CS-15-142
Approximation Algorithms for Stochastic Unsplittable Flow Problems
Archit Karandikar, M.S. Thesis
Abstract, .pdf

CMU-CS-15-143
Unavailable to Date

CMU-CS-15-144
Differential Refinement Logic
Sarah M. Loos, Ph.D. Thesis
Abstract, .pdf

CMU-CS-15-145
Data Driven resource Allocation for Distributed Machine Learning
Venkata Krishna Pillutla, M.S. Thesis
Abstract, .pdf

CMU-CS-15-146
Rely-Guarantee Protocols for Safe Interference over Shared Memory
Filipe David Oliveira Militão, Ph.D. Thesis
Abstract, .pdf

CMU-CS-15-147
Liberating Virtual Machines from Physical Boundaries through Execution Knowledge
Yoshihisa Abe, Ph.D. Thesis
Abstract, .pdf

CMU-CS-15-148
Linear Logic and Coordination for Parallel Programming
Flávio Manuel Fernandes Cruz, Ph.D. Thesis
Abstract, .pdf

CMU-CS-15-149
An Experimental Study into Spectral and Geometric Approaches to Data Clustering
Prashant Sridhar, M.S. Thesis
Abstract, .pdf

Return to: SCS Technical Report Collection