Technical Reports by Author
Theses by Author

CMU-CS-14-100
Anytime Prediction: Efficient Ensemble Methods for Any Computational Budget
Alexander Grubb, Ph.D Thesis
Abstract, .pdf

CMU-CS-14-101
Higher Inductive Types as Homotopy-Initial Algebras
Kristina Sojakova
Abstract, .pdf
Superceded by CMU-CS-14-101R

CMU-CS-14-101R
Higher Inductive Types as Homotopy-Initial Algebras
Kristina Sojakova
Abstract, .pdf
Supercedes CMU-CS-14-101R

CMU-CS-14-102
Differential Hybrid Games
André Platzer
Abstract, .pdf

CMU-CS-14-103
Unpublished

CMU-CS-14-104
Unpublished

CMU-CS-14-105
A Low-Power Hybrid CPU-GPU Sort
Lawrence Tan, M.S. Thesis
Abstract, .pdf

CMU-CS-14-106
Unpublished

CMU-CS-14-107
Rely-Guarantee Protocols
Filipe Militão, Jonathan Aldrich, Luís Caires
Abstract, .pdf

CMU-CS-14-108
Usable Human Authentication: A Quantitative Treatment
Jeremiah Blocki, Ph.D. Thesis
Abstract, .pdf

CMU-CS-14-109
dTL²: Differential Temporal Dynamic Logic with Nested Temporalities for Hybrid Systems
Jean-Baptiste Jeannin, André Platzer
Abstract, .pdf

CMU-CS-14-110
Logic Programming and Type Inference with the Calculus of Constructions
Matthew Mirman, M.S. Thesis
Abstract, .pdf

CMU-CS-14-111
δ-Complete Analysis for Bounded Reachability of Hybrid Systems
Sicun Gao, Soonho Kong, Wei Chen, Edmund M. Clarke
Abstract, .pdf

CMU-CS-14-112
Revisiting the Complexity of Stability of Continuous and Hybrid Systems
Sicun Gao, Soonho Kong, Edmund M. Clarke
Abstract, .pdf

CMU-CS-14-113
SReach: Combining Statistical Tests and Bounded Model Checking for Nonlinear Hybrid Systems with Parametric Uncertainty
Qinsi Wang, Paolo Zuliani, Soonho Kong, Sicun Gao, Edmund Clarke
Abstract, .pdf

CMU-CS-14-114
Technological and Pedagogical Innovations for Teaching Introductory Discrete Mathematics to Computer Science Students
Adam Blank, M.S. Thesis
Abstract, .pdf

CMU-CS-14-115
Olive: Sustaining Executable Content Over Decades
Mahadev Satyanarayanan, Gloriana St. Clair, Benjamin Gilbert, Jan Harkes, Dan Ryan, Erika Linke, Keith Webster
Abstract, .pdf

CMU-CS-14-116
Duolingo: Learning a Language while Translating the Web
Severin Benedict Hans Hacker, Ph.D. Thesis
Abstract, Currently Unavailable

CMU-CS-14-117
Formal Verification Using Quantified Boolean Formulas (QBF)
William Klieber, Ph.D. Thesis
Abstract, .pdf

CMU-CS-14-118
Large-scale Graph Computation on Just a PC
Aapo Kyrölä, Ph.D. Thesis
Abstract, .pdf

CMU-CS-14-119
Optimized Compilation of Multiset Rewriting with Comprehensions
Edmud S. L. Lam, Iliano Cervesato
Abstract, .pdf
Also appears as CMU-CS-QTR-122

CMU-CS-14-120
Unpublished

CMU-CS-14-121
ModelPlex: Verified Runtime Validation of Verfied Cyber-Physical System Models
Stefan Mitsch, André Platzer
Abstract, .pdf

CMU-CS-14-122
Invariance of Conjunctions of Polynomial Equalities for Algebraic Differential Equations
Khalil Ghorbal, Andrew Sogokon, André Platzer
Abstract, .pdf

CMU-CS-14-123
Scalable Distribution-to-Distribution Regression
Andrea Klein, M.S. Thesis
Abstract, .pdf

CMU-CS-14-124
Resource Allocation under Incentive, Information, and Complexity Constraints
Ankit Sharma, Ph.D. Thesis
Abstract, .pdf

CMU-CS-14-125
New Directions in Approximation Algorithms and Hardness of Approximation
Yuan Zhou, Ph.D. Thesis
Abstract, .pdf

CMU-CS-14-126
Unpublished

CMU-CS-14-127
Unpublished

CMU-CS-14-128
Relation Extraction using Distant Supervision, SVMs, and Probabilistic First Order Logic
Malcolm W. Greaves, M.S. Thesis
Abstract, .pdf

CMU-CS-14-129
Map Learning and Coverage Planning for Robots in Large Unknown Environments
Grant P. Strimel, M.S. Thesis
Abstract, .pdf

CMU-CS-14-130
Unpublished

CMU-CS-14-131
Designing Animated Human Characters as Conversational Partners: The Effect of Facial Expressiveness on Social Outcomes
Jennifer Hyde, Ph.D. Thesis
Abstract, Unavailable electronically

CMU-CS-14-132
Dataflow Analysis-Based Dynamic Parallel Monitoring
Michelle Leah Goodstein, Ph.D. Thesis
Abstract, .pdf

CMU-CS-14-133
Eqalitarian Distributed Consensus
Iulian Moraru, Ph.D. Thesis
Abstract, .pdf

CMU-CS-14-134
Mode Checking in the Concurrent Logical Framework
Jorge Luis Sacchini, Iliano Cervesato, Frank Pfenning, Carsten Shürmann
Abstract, .pdf
Also appears as CMU-CS-QTR-123

CMU-CS-14-135
Feature Quantization and Pooling for Videos
Ekaterina Taralova, Ph.D. Thesis
Abstract, .pdf

CMU-CS-14-136
Data-Driven Methods for Interactive Simulation of Complex Phenomena
Matthew Luchak Stanton, Ph.D. Thesis
Abstract, .pdf

CMU-CS-14-137
Unpublished

CMU-CS-14-138
A Formally Verified Hybrid System for the Next-Generation Airborne Collision Avoidance System
Jean-Baptiste Jeannin, Khalil Ghorbal, Yanni Kouskoulas, Ryan Gardner, Aurora Schmidt, Erik Zawadzki, André Platzer
Abstract, .pdf

CMU-CS-14-139
Unpublished

CMU-CS-14-140
A Hierarchy of Proof Rules for Checking Differential Invariance of Algebraic Sets
Khalil Ghorbal, Andrew Sogokon, André Platzer
Abstract, .pdf

CMU-CS-14-141
Mode, Reduction, and Termination Analysis for LolliMon
Ruy Ley-Wild
Abstract, .pdf

CMU-CS-14-142
Large Scale Data Analytics of User Behavior for Improving Content Delivery
Athula Balachandran, Ph.D. Thesis
Abstract, .pdf

CMU-CS-14-143
Queueing with Redundant Requests: First Exact Analysis
Kristen Gardner, Samuel Zbarsky, Sherwin Doroudi, Mor Harchol-Balter, Esa Hyytiä, Alan Scheller-Wolf
Abstract, .pdf
Superceded by CMU-CS-14-143R

CMU-CS-14-143R
Queueing with Redundant Requests: First Exact Analysis
Kristen Gardner, Samuel Zbarsky, Sherwin Doroudi, Mor Harchol-Balter, Esa Hyytiä, Alan Scheller-Wolf
Abstract, .pdf
Supercedes CMU-CS-14-143

CMU-CS-14-144
Trading Freshness for Performance in Distributed Systems
James Cipar, Ph.D. Thesis
Abstract, .pdf

CMU-CS-14-145
AbstractTutor: Increasing Algorithm Implementation Expertise for Novices Through Algorithmic Feedback
Leigh Ann Sudol-DeLyser, Ph.D. Thesis
Abstract, .pdf

Return to: SCS Technical Report Collection