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

CMU-CS-17-100
Change and Delay Contracts for Hybrid System Component Verification
Andreas Müller, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger, André Platzer
Abstract, .pdf

CMU-CS-17-101
Higher-Dimensional Types in the Mechanization of Homotopy Theory
Kuen-Bang Hou, Ph.D. Thesis
Abstract, .pdf

CMU-CS-17-102
Scaling Distributed Machine Learning with System and Algorithm Co-design
Mu Li, Ph.D. Thesis
Abstract, .pdf

CMU-CS-17-103
Planning in a Quantum System
Guillermo Andres Cidre, M.S. Thesis
Abstract, .pdf

CMU-CS-17-104
Unavailable to Date

CMU-CS-17-105
Meeting tail latency SLOs in shared networked storage
Timothy Zhu, Ph.D. Thesis
Abstract, .pdf

CMU-CS-17-106
Manifest Sharing with Session Types
Stephanie Balzer, Frank Pfenning
Abstract, .pdf
Superseded by CMU-CS-17-106R

CMU-CS-17-106R
Manifest Sharing with Session Types
Stephanie Balzer, Frank Pfenning
Abstract, .pdf
Supersedes CMU-CS-17-106

CMU-CS-17-107
Responsive Parallel Computation: Bridging Competitive and Cooperative Threading
Stefan K. Muller, Umut A. Acar, Robert Harper
Abstract, .pdf

CMU-CS-17-108
Unavailable to Date

CMU-CS-17-109
Scheduling for Efficiency and Fairness in Systems with Redundancy
Kristen Gardner, Mor Harchol-Balter, Esa Hyytiä, Rhonda Righter
Abstract, .pdf

CMU-CS-17-110
Communities and Anomaly Detection in Large Edge-Labeled Graphs
Miguel Araújo, Ph.D. Thesis
Abstract, .pdf

CMU-CS-17-111
Optimizing Footfall Patterns for Gait Transitions
Shuang Su, M.S. Thesis
Abstract, .pdf

CMU-CS-17-112
Modeling and Analyzing Systems with Redundancy
Kristen Gardner, Ph.D. Thesis
Abstract, .pdf

CMU-CS-17-113
Reasonably Programmable Syntax
Cyrus Omar, Ph.D. Thesis
Abstract, .pdf

CMU-CS-17-114
Refutation of random constraint satisfaction problems using the sum of squares proof system
David Witmer, Ph.D. Thesis
Abstract, .pdf

CMU-CS-17-115
Optimal Approximabilities beyond CSPs
Euiwoong Lee, Ph.D. Thesis
Abstract, .pdf

CMU-CS-17-116
Architectural Support for Managing Privacy Tradeoffs in the Internet
David Naylor, Ph.D. Thesis
Abstract, .pdf

CMU-CS-17-117
How to Prove "All" Differential Equation Properties
André Platzer, Yong Kiam Tan
Abstract, .pdf

CMU-CS-17-118
Secure Large-Scale Outsourced Services Founded on Trustworthy Code Executions
Bruno Vavala, Ph.D. Thesis
Abstract, .pdf

CMU-CS-17-119
Enabling Data-Driven Optimization of Quality of Experience in Internet Applications
Junchen Jiang, Ph.D. Thesis
Abstract, .pdf

CMU-CS-17-120
Exponential Start Time Clustering and its Applications in Spectral Graphy Theory
Shen Chen Xu, Ph.D. Thesis
Abstract, .pdf

CMU-CS-17-121
Fast Storage for File System Metadata
Kai Ren, Ph.D. Thesis
Abstract, .pdf

CMU-CS-17-122
Agorithms for Fair Division
David Kurokawa, Ph.D. Thesis
Abstract, .pdf

CMU-CS-17-123
Anomaly Detection in Large Social Graphs
Neil Shah, Ph.D. Thesis
Abstract, .pdf

CMU-CS-17-124
Inferring Temporal Signaling Pathways and Regulatory Mechanisms from High-Throughput Data
Siddhartha Jain, Ph.D. Thesis
Abstract, .pdf

CMU-CS-17-125
Simple Cache Partitioning for Networked Workloads
Thomas Kim, Sol Boucher, Hyeontaek Lim, David G. Andersen, Michael Kaminsky
Abstract, .pdf

CMU-CS-17-126
Low-level Concurrent Programming Using the Relaxed Memory Calculus
Michael J. Sullivan, Ph.D. Thesis
Abstract, .pdf

CMU-CS-17-127
Unavailable to Date

CMU-CS-17-128
Creating Human-like Fighting Game AI through Planning
Roger Liu, M.S. Thesis
Abstract, .pdf

CMU-CS-17-129
Augmented Reality Visualization for Autonomous Robots
Danny Zhu, Ph.D. Thesis
Abstract, .pdf

CMU-CS-17-130
Learning Player Behavior Models to Enable Cooperative Planning for Non-Player Characters
Stephen Chen, M.S. Thesis
Abstract, .pdf

CMU-CS-17-131
Distributed Learning in Referral Networkse
Ashiqur Rahman KhudaBukhsh, Ph.D. Thesis
Abstract, .pdf

CMU-CS-17-132
Object Propositions
Ligia Nicoleta Nistor, Ph.D. Thesis
Abstract, .pdf

CMU-CS-17-132
Object Propositions
Ligia Nicoleta Nistor, Ph.D. Thesis
Abstract, .pdf

CMU-CS-17-133

Unpublished

CMU-CS-17-134
A New View on Cycle Toggling Based Laplacian Solvers
Hui Han Chin, M.S. Thesis
Abstract, .pdf

Return to: SCS Technical Report Collection