COMPUTER SCIENCE TECHNICAL REPORTS 2016
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-16-100
A Component-based Approach to Hybrid Systems Safety Verification
Andreas Müller, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger, André Platzer
Abstract, .pdf

CMU-CS-16-101
Unavailable to Date

CMU-CS-16-102
Data-Driven Networking: Harnessing the "Unreasonable Effectiveness of Data" in Network Design
Junchen Jiang, Vyas Sekar, Ion Stoica, Hui Zhang
Abstract, .pdf

CMU-CS-16-103
Composing Interfering Abstract Protocols
Filipe Militão, Jonathan Aldrich, Luís Caires
Abstract, .pdf

CMU-CS-16-104
Unavailable to Date

CMU-CS-16-105
User Behavior Modeling with Large-Scale Graph Analysis
Alex Beutel, Ph.D. Thesis
Abstract, .pdf

CMU-CS-16-106
Simple DRAM and Virutal Memory Abstractions to Enable Highly Efficient Memory Subsystems
Vivek Seshadri, Ph.D. Thesis
Abstract, .pdf

CMU-CS-16-107
Graphs and Beyond: Faster Algorithms for High Dimensional Convex Optimization
Jakub Pachocki, Ph.D. Thesis
Abstract, .pdf

CMU-CS-16-108
How to Learn a Quantum State
John Wright, Ph.D. Thesis
Abstract, .pdf

CMU-CS-16-109
S&X: Decoupling Server Slowdown (S) and Job Size (X) in Modeling Job Redundancy
Kristen Gardner, Mor Harchol-Balter, Alan Scheller-Wolf
Abstract, .pdf

CMU-CS-16-110
Collecting, Analyzing, and Using Fine-Grain Sensor Data with Mobile Platforms
Richard Wang, Ph.D. Thesis
Abstract, .pdf

CMU-CS-16-111
Differential Refinement Logic
Sarah M. Loos, André Platzer
Abstract, Pending

CMU-CS-16-112
Latency-Hiding Work Stealing
Stefan K. Muller, Umut A. Acar
Abstract, .pdf

CMU-CS-16-113
SNC-Meister: Admitting More Tenants with Tail Latency SLOs
Timothy Zhu, Daniel S. Berger, Mor Harchol-Balter
Abstract, .pdf

CMU-CS-16-114
Unavailable to Date

CMU-CS-16-115
Detection of Sources of Harmful Radiation using Portable Sensors
Jay Jin, M.S. Thesis
Abstract, .pdf

CMU-CS-16-116
Practical Data Compression for Modern Memory Hierarchies
Gennady G. Pekhimenko, Ph.D. Thesis
Abstract, .pdf

CMU-CS-16-117
Bootstrapping Evolvability for Inter-Domain Routing with D-BGP
Raja R. Sambasivan, David Tran-Lam, Aditya Akella, Peter Steenkiste
Abstract, .pdf

CMU-CS-16-118
OpenFace: A General-purpose Face Recognition Library with Mobile Applications
Brandon Amos, Bartosz Ludwiczuk, Mahadev Satyanarayanan
Abstract, .pdf

CMU-CS-16-119
Active Transfer Learning
Xuezhi Wang, Ph.D. Thesis
Abstract, .pdf

CMU-CS-16-120
Achieving High Cache Hit Ratios for CDN Memory Caches with Size-aware Admission
Daniel S. Berger, Ramesh K. Sitaraman, Mor Harchol-Balter
Abstract, .pdf

CMU-CS-16-121
Optimal Social Decision Making
Nisarg Shah, Ph.D. Thesis
Abstract, .pdf

CMU-CS-16-122
New Directions in Coding Theory: Capacity and Limitations
Ameya A. Velingker, Ph.D. Thesis
Abstract, .pdf

CMU-CS-16-123
Tinkering Under The Hood: Pictorial Languages with Applications to Interactive-Zero Shot Learning
Vivek R. Krishnan, M.S. Thesis
Abstract, .pdf

CMU-CS-16-124
Mining Large Multi-Aspect Data: Algorithms and Applications
Evangelos E. Papalexakis, Ph.D. Thesis
Abstract, .pdf

CMU-CS-16-125
Higher Inductive Types as Homotopy-Initial Algebras
Kristina Sojakova, Ph.D. Thesis
Abstract, .pdf

CMU-CS-16-126
Distributed File Systems in Cloudlets
Sang Jin Han, M.S. Thesis
Abstract, .pdf

CMU-CS-16-127
A Unified Approach to Dynamic Matching and Barter Exchange
John P. Dickerson, Ph.D. Thesis
Abstract, .pdf

CMU-CS-16-128
Scalable, Flexible and Active Learning on Distributions
Dougal J. Sutherland, Ph.D. Thesis
Abstract, .pdf

CMU-CS-16-129
Formal Methods for Biological Systems: Languages, Algorithms, and Applications
Qinsi Wang, Ph.D. Thesis
Abstract, .pdf

CMU-CS-16-130
Minimizing Queries for Active Labeling with Sequential Analysis
Jack Paparian, M.S. Thesis
Abstract, .pdf

CMU-CS-16-131
A Better Model for Job Redundancy: Decoupling Server Slowdown and Job Size
Kristen Gardner, Mor Harchol-Balter, Alan Scheller-Wolf, Benny Van Houdt
Abstract, .pdf

CMU-CS-16-132
Unavailable to Date

CMU-CS-16-133
Contention in Structured Concurrency: Provably Efficient Dynamic Non-Zero Indicators for Nested Parallelism
Umit A. Acar, Naama Ben-David, Mike Rainey
Abstract, .pdf


Return to: SCS Technical Report Collection