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


Technical Reports by Author
Theses by Author

CMU-CS-12-100
A Scientific Understanding of Keystroke Dynamics
Kevin S. Killourhy, Ph.D. Thesis
Abstract, .pdf

CMU-CS-12-101
Testing Properties of Boolean Functions
Eric Blais, Ph.D. Thesis
Abstract, .pdf

CMU-CS-12-102
Axiomatic Analysis of Co-occurrence Similarity Functions
U Kang, Mikhail Bilenko, Dengyong Zhou, Christos Faloutsos
Abstract, .pdf

CMU-CS-12-103
Near-Real-Time Inference of File Level Mutations from Virtual Disk Writes
Wolfgang Richter, Mahadev Satyanarayanan, Jan Harkes, Benjamin Gilbert
Abstract, .pdf

CMU-CS-12-104
Secure and Efficient Network Fault Localization
Xin Zhang, Ph.D. Thesis
Abstract, .pdf

CMU-CS-12-105
Differential Game Logic for Hybrid Games
André Platzer
Abstract, .pdf
An updated version is available as CMU-CS-13-100

CMU-CS-12-106
Formalizing and Enforcing Purpose Restrictions in Privacy Policies (Full Version)
Michael Carl Tschantz, Anupam Datta, Jeannette M. Wing
Abstract, .pdf

CMU-CS-12-107
Differential Invariants and Symbolic Integration for Distributed Hybrid Systems
David W. Renshaw, André Platzer
Abstract, .pdf

CMU-CS-12-108
Relational Parametricity for Polymorphic Session Types
Luís Caires, Jorge A. Pérez, Frank Pfenning, Bernardo Toninho
Abstract, .pdf

CMU-CS-12-109
AutoScale: Dynamic, Robust Capacity Management for Multi-Tier Data Centers
Anshul Gandhi, Mor Harchol-Balter, Ram Raghunathan, Michael Kozuch
Abstract, .pdf

CMU-CS-12-110
Human-Centered Planning for Effective Task Autonomy
Stephanie L. Rosenthal, Ph.D. Thesis
Abstract, .pdf

CMU-CS-12-111
SOFTScale: Stealing Opportunistically for Transient Scaling
Anshul Gandhi, Timothy Zhu, Mor Harchol-Balter, Michael Kozuch
Abstract, .pdf
Superceded by CMU-CS-12-111R

CMU-CS-12-111R
SOFTScale: Stealing Opportunistically for Transient Scaling
Anshul Gandhi, Timothy Zhu, Mor Harchol-Balter, Michael Kozuch
Abstract, .pdf
Supercedes CMU-CS-12-111

CMU-CS-12-112
Mining Tera-Scale Graphs: Theory, Engineering and Discoveries
U Kang, Ph.D. Thesis
Abstract, .pdf

CMU-CS-12-113
Abstractions for Model Checking System Security
Jason Douglas Franklin, Ph.D. Thesis
Abstract, .pdf

CMU-CS-12-114
On Matching in CLF
Iliano Cervesato, Frank Pfenning, Jorge Luis Sacchini, Carsten Schürmann, Robert J. Simmons
Abstract, .pdf
Also appears as CMU-CS-QTR-114

CMU-CS-12-115
Sensing Through Structure
Ronit Slyper, Ph.D. Thesis
Abstract, .pdf

CMU-CS-12-116
Hybrid Fuzz Testing: Discovering Software Bugs via Fuzzing and Symbolic Execution
Brian S. Pak, M.S. Thesis
Abstract, .pdf

CMU-CS-12-117
Formalizing and Enforcing Purpose Restrictions
Michael Carl Tschantz, Ph.D. Thesis
Abstract, .pdf

CMU-CS-12-118
Landslide: Systematic Dynamic Race Detection in Kernel Space
Ben Blum, M.S. Thesis
Abstract, .pdf

CMU-CS-12-119
Identifying the Signaling Cascades and Regulatory Mechanisms that Control Stress Responses
Anthony Gitter, Ph.D. Thesis
Abstract, .pdf

CMU-CS-12-120
Approximation Techniques for Stochastic Combinatorial Optimzation Problems
Ravishankar Krishnaswamy, Ph.D. Thesis
Abstract, .pdf

CMU-CS-12-121
Graph Partitioning and Semi-definite Programming Hierarchies
Ali Kemal Sinop, Ph.D. Thesis
Abstract, .pdf

CMU-CS-12-122
Statistical Model Checking for Markov Decision Processes
David Henriques, Joâo Martins, Paolo Zuliani, André Platzer, Edmund M. Clarke
Abstract, .pdf

CMU-CS-12-123
Automated Market Making: Theory and Practice
Abraham Othman, Ph.D. Thesis
Abstract, .pdf

CMU-CS-12-124
Islands and Bridges: Making Sense of Marked Nodes in Large Graphs
Leman Akoglu, Jilles Vreeken, Hanghang Tong, Duen Horng Chau, Christos Faloutsos
Abstract, .pdf

CMU-CS-12-124R
Islands and Bridges: Making Sense of Marked Nodes in Large Graphs
Leman Akoglu, Jilles Vreeken, Hanghang Tong, Duen Horng Chau, Nikolaj Tatti, Christos Faloutsos
Abstract, .pdf
Supercedes CMU-CS-12-124

CMU-CS-12-125
FCP: A Framework for an Evolvable Transport Protocol
Dongsu Han, Robert Grandl, Aditya Akella, Srinivasan Seshan
Abstract, .pdf
Also appears as CMU-CS-QTR-113

CMU-CS-12-126
Modeling Datalog Assertion and Retraction in Linear Logic
Edmund S. L. Lam, Iliano Cervesato
Abstract, .pdf

CMU-CS-12-127
Verifying Higher-Order Imperative Programs with Higher-Order Separation Logic
Neelakantan R. Krishnaswami, Ph.D. Thesis
Abstract, .pdf

CMU-CS-12-128
Improving Fairness, Efficiency, and Stability in HTTP-based Adaptive Video Streaming with FESTIVE
Junchen Jiang, Vyas Sekar, Hui Zhang
Abstract, .pdf

CMU-CS-12-129
Allocating Virtual and Physical Flows for Multiagent Teams in Mutable, Networked Environments
Steven Okamoto, Ph.D. Thesis
Abstract, .pdf

CMU-CS-12-130
Unavailable to Date

CMU-CS-12-131
Hyrax: Crowdsourcing Mobile Devices to Develop- Proximity-Based Mobile Clouds
Chye Liang Vincent Teo, M.S. Thesis
Abstract, .pdf

CMU-CS-12-132
Mechanized Safety Proofs for Disc-Constrained Aircraft
David Renshaw, Sarah M. Loos, André Platzer
Abstract, .pdf

CMU-CS-12-133
Anomaly Detection and Modeling of Trajectories
Junier B. Oliva, M.S. Thesis
Abstract, .pdf

CMU-CS-12-134
Using a Low-cost EEG Sensor to Detect Mental States
Bao Hong Tan, M.S. Thesis
Abstract, .pdf

CMU-CS-12-135
Unavailable to Date

CMU-CS-12-136
Mining and Modeling Real-world Networks: Patterns, Anomalies, and Tools
Leman Akoglu, Ph.D. Thesis
Abstract, .pdf

CMU-CS-12-137
Unavailable to Date

CMU-CS-12-138
Understanding and Managing Propagation on Large Networks – Theory, Algorithms, and Models
B. Aditya Prakash, Ph.D. Thesis
Abstract, .pdf

CMU-CS-12-139
Chaining For Flexible And High-Performance Key-Value Systems
Amar Phanishayee, Ph.D. Thesis
Abstract, .pdf

CMU-CS-12-140
Automatic Generation of Issue Maps: Structured, Interactive Outputs for Complex Information Needs
Dafna Shahaf, Ph.D. Thesis
Abstract, .pdf

CMU-CS-12-141
Proximity Displays for Access Control
Kami Vaniea, Ph.D. Thesis
Abstract, .pdf

CMU-CS-12-142
Substructural Logical Specifications
Robert J. Simmons, Ph.D. Thesis
Abstract, .pdf

CMU-CS-12-143
The Impact of Mobile Multimedia Applications on Data Center Consolidation
Kiryong Ha, Padmanabhan Pillai, Grace Lewis, Soumya Simanta, Sarah Clinch,
Nigel Davies, Mahadev Satyanarayanan
Abstract, .pdf

CMU-CS-12-144
Supporting Long Term Evolution in an Internet Architecture
Dongsu Han, Ph.D. Thesis
Abstract, .pdf

CMU-CS-12-145
The Optimal Admission Threshold in Observable Queues with State Dependent Pricing
Christian Borgs, Jennifer T. Chayes, Sherwin Doroudi, Mor Harchol-Balter, Kuang Xu
Abstract, .pdf

CMU-CS-12-146
Fast Anomaly Discovery given Duplicates
Jay-Yoon Lee, U Kang, Danai Koutra, Christos Faloutsos
Abstract, .pdf

CMU-CS-12-147
Scalable Crowd-Sourcing of Video from Mobile Devices
Pieter Simoens, Yu Xiao, Padmanabhan Pillai, Zhuo Chen, Kiryong Ha, Mahadev Satyanarayanan
Abstract, .pdf

CMU-CS-12-148
Just-in-Time Provisioning for Cyber Foraging
Kiryong Ha, Padmanabhan Pillai, Wolfgang Richter, Yoshihisa Abe, Mahadev Satyanarayanan
Abstract, .pdf

CMU-CS-12-149
Guardrail: High Fidelity Correctness Checking of Device Drivers for Safeguarding I/O Operations
Olatunji Ruwase, Phillip B. Gibbons, Michael A. Kozuch, Todd C. Mowry
Abstract, .pdf

CMU-CS-12-150
Compiler Generation for Substructural Operational Semantics
Anand Subramanian, M.S. Thesis
Abstract, .pdf


Return to: SCS Technical Report Collection