COMPUTER SCIENCE TECHNICAL REPORTS 2010
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-10-100
Bayesian Statistical Model Checking with Application to Stateflow/Simulink Verification
Paolo Zuliani, André Platzer, Edmund M. Clarke
Abstract, .pdf

CMU-CS-10-101
Unavailable to Date

CMU-CS-10-102
Search Tree Restructuring
Erik Zawadzki, Tuomas Sandholm
Abstract, .pdf

CMU-CS-10-103
Unavailable to Date

CMU-CS-10-104
Segment based Internetworking to Accommodate Diversity at the Edge
Fahad R. Dogar, Peter Steenkiste
Abstract, .pdf

CMU-CS-10-105
Computing Equilibria by Incorporating Qualitative Models
Sam Ganzfried, Tuomas Sandholm
Abstract, .pdf

CMU-CS-10-106
Understanding Route Aggregation
Franck Le, Geoffrey G. Xie, Hui Zhang
Abstract, .pdf

CMU-CS-10-107
Analysis of Scheduling Policies under Correlated Job Sizes
Varun Gupta, Michelle Burroughs, Mor Harchol-Balter
Abstract, .ps, .pdf

CMU-CS-10-108
Energy-Efficient Dynamic Capacity Provisioning in Server Farms
Anshul Gandhi, Varun Gupta, Mor Harchol-Balter, Michael Kozuch
Abstract, .ps, .pdf

CMU-CS-10-109
Unavailable to Date

CMU-CS-10-110
Safe Transient Use of Local Storage for VM-based Mobility
Stephen Smaldone, Jan Harkes, Liviu Iftode, Mahadev Satyanaryanan
Abstract, .pdf

CMU-CS-10-111
The Manna Plug-In Architecture for Content-based Search of VM Clouds
Wolfgang Richter, Glenn Ammons, Jan Harkes, Adam Goode, Nilton Bila, Eyal de Lara, Mahadev Satyanaryanan
Abstract, .pdf

CMU-CS-10-112
Pocket ISR: Virtual Machines Anywhere
Benjamin Gilbert, Adam Goode, Mahadev Satyanarayanan
Abstract, .pdf

CMU-CS-10-113
Learning Generative Models for Protein Fold Families
Sivaraman Balakrishnan, Hetunanadan Kamisetty, Jaime G. Carbonell, Christopher James Langmead
Abstract, .pdf

CMU-CS-10-114
Unavailable to Date

CMU-CS-10-115
Physics-Based Robot Motion Planning in Dynamic Multi-Body Environments
Stefan Zickler, Ph.D. Thesis
Abstract, .pdf

CMU-CS-10-116
Unavailable to Date

CMU-CS-10-117
Predictive fMRI Analysis for Multiple Subjects and Multiple Studies
Indrayana Rustandi, Ph.D. Thesis
Abstract, .pdf

CMU-CS-10-118
Locally Distributed Predicates: A Technique for Distributed Programming
Michael De Rosa, Ph.D. Thesis
Abstract, .pdf

CMU-CS-10-119
Time-Varying Gaussian Graphical Models of Molecular Dynamics Data
Narges Sharif Razavian, Subhodeep Moitra, Hetunandan Kamisetty, Arvind Ramanathan, Christopher James Langmead
Abstract, .pdf

CMU-CS-10-120
Interactive Machine Learning in Diamond
Shiva Kaul, M.S. Thesis
Abstract, .pdf

CMU-CS-10-121
Statistical Modeling of Spiking Activity in Large Scale Neuronal Networks
Ryan Christopher Kelly, Ph.D. Thesis
Abstract, .pdf

CMU-CS-10-122
Privacy-Preserving Distributed, Automated Signature-Based Detection of New Internet Worms
Hyang-Ah Kim, Ph.D. Thesis
Abstract, .pdf

CMU-CS-10-123
Model Checking Omega Cellular Automata
Joseph A. Gershenson, M.S.. Thesis
Abstract, .pdf

CMU-CS-10-124
Network-Wide Deployment of Intrusion Detection and Prevention Systems
Vyas Skar, Ravishankar Krishnaswamy, Anupam Gupta, Michael K. Reiter
Abstract, .ps, .pdf

CMU-CS-10-125
Type-Safe Web Programming in QWeS2T
Thierry Sans, Iliano Cervesato
Abstract, .pdf
Also appears as Qatar Technical Report CMU-CS-QTR-100

CMU-CS-10-126
Quantified Differential Dynamic Logic for Distributed Hybrid Systems
André Platzer
Abstract, .pdf

CMU-CS-10-127
Unavailable to Date

CMU-CS-10-128
An Access Network Architecture for Neighborhood-scale Multimedia Delivery
Dongsu Han, David Andersen, Michael Kaminsky, Dina Papagiannaki, Srinivasan Seshan
Abstract, .pdf

CMU-CS-10-129
Unavailable to Date

CMU-CS-10-130
Image Editing and Creation with Perception-Motivated Local Features
James Lewis McCann, Ph.D. Thesis
Abstract, .pdf

CMU-CS-10-131
Unavailable to Date

CMU-CS-10-132
Model Validation and Discovery for Complex Stochastic Systems
Sumit Kumar Jha, Ph.D. Thesis
Abstract, .pdf

CMU-CS-10-133
Local Multiagent Coordination in Decentralized MDPs with Sparse Interactions
Francisco S. Melo, Manuela Veloso
Abstract, .pdf

CMU-CS-10-134
Type Safety for Substructural Specifications: Preliminary Results
Robert J. Simmons
Abstract, .pdf

CMU-CS-10-135
New Algorithms for Preserving Differential Privacy
Aaron Roth, Ph.D. Thesis
Abstract, .pdf

CMU-CS-10-136
Algorithms and Models for Problems in Networking
Michael Dinitz, Ph.D. Thesis
Abstract, .pdf

CMU-CS-10-137
Effective Network Management via System-Wide Coordination and Optimization
Vyas Sekar, Ph.D. Thesis
Abstract, .ps, .pdf

CMU-CS-10-138
Refinement Types for Logical Frameworks
William Lovas, Ph.D. Thesis
Abstract, .pdf

CMU-CS-10-139
Taking Tekkotsu Out Of The Plane
Jonathan A. Coens, M.S. Thesis
Abstract, .pdf

CMU-CS-10-140
Introductory Computer Science Education at Carnegie Mellon University: A Dean's Perspective
Randal E. Bryant, Klaus Sutner, Mark J. Stehlik
Abstract, .pdf

CMU-CS-10-141
Reusing Migration to Simply and Efficiently Implement Multi-server Operations in Transparently Scalable Storage Systems
Shafeeq Sinnamohideen, Ph.D. Thesis
Abstract, .pdf

CMU-CS-10-142
The Approximability of Learning and Constraint Satisfaction Problems
Yi Wu, Ph.D. Thesis
Abstract, .pdf

CMU-CS-10-143
Bringing the Cloud Down to Earth: Transient PCs Everywhere
Mahadev Satyanarayanan, Stephen Smaldone, Benjamin Gilbert, Jan Harkes, Liviu Iftode
Abstract, .pdf

CMU-CS-10-144
QMAS: Querying, Mining and Summarization of Multi-modal Databases
Robson L.F. Cordeiro, Fan Guo, Donna S. Haverkamp, James H. Horne, Ellen K. Hughes, Gunhee Kim, Agma J.M. Traina, Caetano Traina, Jr., Christos Faloutsos
Abstract, .pdf

CMU-CS-10-145
CO, an Imperative Programming Language for Novice Computer Scientists
Rob Arnold, M.S. Thesis
Abstract, .pdf

CMU-CS-10-146
Programmable Self-Adjusting Computation
Ruy Ley-Wild, Ph.D. Thesis
Abstract, .pdf

CMU-CS-10-147
Weak Focusing for Ordered Linear Logic
Robert J. Simmons, Frank Pfenning
Abstract, .pdf

CMU-CS-10-148
Towards a Design Model for Women's Empowerment in the Developing World
Geeta Shroff, M.S. Thesis
Abstract, .pdf

CMU-CS-10-149
A Practical System for Centralized Network Control
Hong Yan, Ph.D. Thesis
Abstract, .pdf

CMU-CS-10-150
Instrumentation Analysis: An Automated Method for Producing Numeric Abstractions of Heap-Manipulating Programs
Stephen Magill, Ph.D. Thesis
Abstract, .pdf

CMU-CS-10-151
Principles of Constructive Provability Logic
Robert J. Simmons, Bernardo Toninho
Abstract, .pdf

CMU-CS-10-152
Unpublished

CMU-CS-10-153
Multiple-Cue Object Recognition for Interactionable Objects
Sarah Aboutalib, Ph.D. Thesis
Abstract, .pdf

CMU-CS-10-154
Scheduling Irregular Parallel Computations on Hierarchical Caches
Guy E. Blelloch, Phillip B. Gibbons, Jeremy T. Fineman, Harsha Vardhan Simhadri
Abstract, .pdf


Return to: SCS Technical Report Collection