Technical Reports by Author
Theses by Author

CMU-CS-13-100
A Complete Axiomatization of Differential Game Logic for Hybrid Games
André Platzer
Abstract, .pdf
Superseded by CMU-CS-13-100R

CMU-CS-13-100R
A Complete Axiomatization of Differential Game Logic for Hybrid Games
André Platzer
Abstract, .pdf
Supersedes CMU-CS-13-100

CMU-CS-13-101
Priority Update as a Parallel Primitive
Julian Shun, Guy E. Blelloch, Jeremy T. Fineman, Phillip B. Gibbons
Abstract, .pdf

CMU-CS-13-102
Beyond Keyword Search: Representations and Models for Personalization
Khalid El-Arini, Ph.D. Thesis
Abstract, .pdf

CMU-CS-13-103
Distributed Market-Based Algorithms for Multi-Agent Planning with Shared Resources
Sue Ann Hong, Ph.D. Thesis
Abstract, .pdf

CMU-CS-13-104
Extracting Proofs from Branch-and-Prune
Sicun Gao, Soonho Kong, Michael Wang, Edmund M. Clarke
Abstract, .pdf

CMU-CS-13-105
Exact Analysis of the M/M/k/setup Class or Markov Chains via Recursive Renewal Reward
Anshul Gandhi, Sherwin Doroudi, Mor Harchol-Balter, Alan Scheller-Wolf
Abstract, .pdf

CMU-CS-13-106
Decentralized Execution of Constraint Handling Rules for Ensembles
Edmund S. L. Lam, Iliano Cervesato
Abstract, .pdf
Also appears as CMU-CS-QTR-118

CMU-CS-13-107
A Generalization of SAT and #SAT for Robust Policy Evaluation
Erik Zawadzki, André Platzer, Geoffrey J. Gordon
Abstract, .pdf

CMU-CS-13-108
RowClone: Fast and Efficient In-DRAM Copy and Initialization of Bulk Data
Vivek Seshadri, Yoongu Kim, Chris Fallin, Donghyuk Lee, Rachata Ausavarungnirun,
Gennady Pekhimenko, Yixin Luo, Onur Mutlu, Phillip B. Gibbons, Michael A. Kozuch, Todd C. Mowry
Abstract, .pdf

CMU-CS-13-109
Priority Pricing in Queues with a Continuous Distribution of Customer Valuations
Sherwin Doroudi, Mustafa Akan, Mor Harchol-Balter, Jeremy Karp, Christian Borgs, Jennifer T. Chayes
Abstract, .pdf

CMU-CS-13-110
Dynamic Server Provisioning for Data Center Power Management
Anshul Gandhi, Ph.D. Thesis
Abstract, .pdf

CMU-CS-13-111
Computational Bundling for Auctions
Christina Kroer, Tuomas Sandholm
Abstract, .pdf

CMU-CS-13-112
Scaling Concolic Execution of Binary Programs for Security Applications
Pongsin Poosankam, Ph.D. Thesis
Abstract, .pdf

CMU-CS-13-113
Scale and Concurrency of Massive File System Directories
Swapnil Patil, Ph.D. Thesis
Abstract, .pdf

CMU-CS-13-114
Improving Device Driver Reliability through Decoupled Dynamic Binary Analyses
Olatunji O. Ruwase, Ph.D. Thesis
Abstract, .pdf

CMU-CS-13-115
Automatic Construction of Synthetic Musical Instruments and Performers
Ning Hu, Ph.D. Thesis
Abstract, .pdf

CMU-CS-13-116
Purpose Restrictions on Information Use
Michael Carl Tschantz, Anupam Datta, Jeannette M. Wing
Abstract, .pdf
Also appears as CMU-CyLab-13-005

CMU-CS-13-117
Integrating Representation Learning and Skill Learning in a Human-Like Intelligent Agent
Nan Li, Ph.D. Thesis
Abstract, .pdf

CMU-CS-13-118
Information Flow Investigations
Michael Carl Tschantz, Anupam Datta, Jeannette M. Wing
Abstract, .pdf

CMU-CS-13-119
Making the Case for Computational Offloading in Mobile Device Clouds
Afnan Fahim, Abderrahmen Mtibaa, Khaled A. Harras
Abstract, .pdf
Also appears as CMU-CS-QTR-120

CMU-CS-13-120
Beyond Worst-Case Analysis in Privacy and Clustering: Exploiting Explicit and Implicit Assumptions
Or Sheffet, Ph.D. Thesis
Abstract, .pdf

CMU-CS-13-121
Algorithm Design Using Spectral Graph Theory
Richard Peng, Ph.D. Thesis
Abstract, .pdf

CMU-CS-13-122
Algorithms for Large-Scale Astronomical Problems
Bin Fu, Ph.D. Thesis
Abstract, .pdf

CMU-CS-13-123
Unavailable to Date

CMU-CS-13-124
Program-Centric Cost Models for Locality and Parallelism
Harsha Vardhan Simhadri, Ph.D. Thesis
Abstract, .pdf

CMU-CS-13-125
Reconstruction and Applications of Collective Storylines from Web Photo Collections
Gunhee Kim, Ph.D. Thesis
Abstract, .pdf

CMU-CS-13-126
Algorithmic Engineering Towards More Efficient Key-Value Systems
Bin Fan, Ph.D. Thesis
Abstract, .pdf

CMU-CS-13-127
Understanding and Capturing People's Mobile App Privacy Preferences
Jialiu Lin, Ph.D. Thesis
Abstract, .pdf

CMU-CS-13-128
Reconciling Mobile App Privacy and Usability on Smartphones: Could User Privacy Profiles Help?
Bin Liu, Jialiu Lin, Norman Sadeh
Abstract, .pdf
Also appears as CMU-ISR-13-114

CMU-CS-13-129
Characterizing Algebraic Invariants by Differential Radical Invariants
Khalil Ghorbal, André Platzer
Abstract, .pdf

CMU-CS-13-130
Floating-point Bugs in Embedded GNU C Library
Soonho Kong, Sicun Gao, Edmund M. Clarke
Abstract, .pdf

CMU-CS-13-131
Delta-Complete Reachability Analysis (Part I)
Sicun Gao, Soonho Kong, Edmund M. Clarke
Abstract, .pdf

CMU-CS-13-132
Object Propositions
Ligia Nistor, Jonathan Aldrich, Stephanie Balzer, Hannes Mehnert
Abstract, .pdf

CMU-CS-13-133
Systematic and Scalable Testing of Concurrent Programs
Jiří Šimša, Ph.D. Thesis
Abstract, .pdf

CMU-CS-13-134
Towards Wearable Cognitive Assistance
Kiryong Ha, Zhuo Chen, Wenlu Hu, Wolfgang Richter, Padmanabhan Pillai, Mahadev Satyanarayanan
Abstract, .pdf

CMU-CS-13-135
Unavailable to Date

CMU-CS-13-136
Parameter Identification Using δ-Decisions for Biological Hybrid Systems
Bing Liu, Soonho Kong, Sicun Gao, Edmund M. Clarke
Abstract, .pdf

Return to: SCS Technical Report Collection