COMPUTER SCIENCE TECHNICAL REPORTS 2017
School of Computer Science, Carnegie Mellon University
Pittsburgh PA 15213-3890
412.268.8525 . 412.268.5576 (fax)


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
Unavailable to Date

CMU-CS-17-119
Unavailable to Date

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


Return to: SCS Technical Report Collection