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

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

CMU-CS-17-107
Unavailable to Date

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

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


Return to: SCS Technical Report Collection