Technical Reports by Author
Theses by Author

CMU-CS-05-100
Coaching: Learning and Using Environment and Agent Models for Advice
Patrick Riley, Ph.D. Thesis
Abstract, .ps.gz, .pdf

CMU-CS-05-101
Adding Faster with Application Specific Early Termination
David Koes, Tiberiu Chelcea, Charles Onyeama, Seth Copen Goldstein
Abstract, .ps, .pdf

CMU-CS-05-102
A Counterexample Guided Abstraction Refinement Framework for Verifying Concurrent C Programs
Sagar J. Chaki, Ph.D. Thesis
Abstract, .pdf

CMU-CS-05-103
Compiler Optimization of Value Communication for Thread-Level Speculation
Antonia Zhai, Ph.D. Thesis
Abstract, .ps .pdf

CMU-CS-05-104
CLL: A Concurrent Language Built from Logical Principles
Deepak Garg
Abstract, .ps, .pdf

CMU-CS-05-105
Verification and Planning for Stochastic Processes with Asynchronous Events
Hakan Lorens Samir Younes, Ph.D. Thesis
Abstract, .ps, .pdf

CMU-CS-05-106
Unavailable to date

CMU-CS-05-107
Optimal Nonmyopic Value of Information in Graphical Models Efficient Algorithms and Theoretical Limits
Andreas Krause, Carlos Guestrin
Abstract, .ps, .pdf

CMU-CS-05-108
Classifying Protein Structural Dynamics via Residual Dipolar Couplings
Ruben Valas, Christopher James Langmead
Abstract, .pdf

CMU-CS-05-109
Supporting Large Speculative Threads for Databases and Beyond
Christopher B. Colohan, Anastassia Ailamaki, J. Gregory Steffan, Todd C. Mowry
Abstract, .ps, .pdf

CMU-CS-05-110
Practical Refinement-Type Checking
Rowan Davies, Ph.D. Thesis
Abstract, .pdf

CMU-CS-05-111
Device-Enabled Authorization in the Grey System
Lujo Bauer, Scott Garriss, Jonathan M. McCune, Michael K. Reiter, Jason Rouse, Peter Rutenbar
Abstract, .pdf

CMU-CS-05-112
A Distributed Architecture for Interactive Multiplayer Games
Ashwin R. Bharambe, Jeff Pang, Srinvasan Seshan
Abstract, .ps, .pdf

CMU-CS-05-113
Privacy-Preserving Set Operations
Lea Kissner, Dawn Song
Abstract, .ps, .pdf

CMU-CS-05-114
Distributed Construction of a Fault-Tolerant Network from a Tree
Michael K. Reiter, Asad Samar, Chenxi Wang
Abstract, .ps, .pdf

CMU-CS-05-115
Detecting Space-Time Clusters: Prior Work and New Directions
Daniel B. Neill, Andrew W. Moore
Abstract, .ps, .pdf

CMU-CS-05-116
Shuffling a Stacked Deck: The Case for Partially Randomized Ranking of Search Engine Results
Sandeep Pandey, Sourashis Roy, Christopher Olston, Junghoo Cho, Soumen Chakrabarti
Abstract, .ps, .pdf

CMU-CS-05-117
Upgrading Distributed Applications with the Version Manager
Mukesh Agrawal, Suman Nath, Srinivasan Seshan
Abstract, .ps, .pdf

CMU-CS-05-118
Optimistic Intra-Transaction Parallelism on Chip Multiprocessors
Christopher B. Colohan, Anastassia Ailamaki, J. Gregory Steffan, Todd C. Mowry
Abstract, .ps, .pdf

CMU-CS-05-119
A New Algorithm for the Reconstruction of Near-Perfect Binary Phylogenetic Trees
Kedar Dhamdhere, Srinath Sridhar, Guy E. Blelloch, Eran Halperin, Ramamoorthi Ravi, Russell Schwartz
Abstract, .ps, .pdf

CMU-CS-05-120
Near-Optimal Sensor Placements in Gaussian Processes
Carlos Guestrin, Andreas Krause, Ajit Singh
Abstract, .pdf

CMU-CS-05-121
Error Explanation and Fault Localization with Distance Metrics
Alex David Groce, Ph.D. Thesis
Abstract, .ps, .pdf

CMU-CS-05-122
Deadlock Resolution in Pipelined Query Graphs
Vladislav Shkapenyuk, Ryan Williams, Stavros Harizopoulos, Anastassia Ailamaki
Abstract, .ps, .pdf

CMU-CS-05-123
Scaling Task Management in Space and Time: Reducing User Overhead in Ubiquitous-Computing Environments
Joâo Pedro Sousa, Ph.D. Thesis
Abstract, .ps, .pdf

CMU-CS-05-124
A Modal Languages for the Safety of Mobile Values
Sungwoo Park
Abstract, .ps, .pdf

CMU-CS-05-125
Confronting Hardness Using a Hybrid Approach
Virgina Vassilevska, Ryan Williams, Shan Leung Maverick Woo
Abstract, .ps, .pdf

CMU-CS-05-126
Learning To Prevent Failure State for a Dynamically Balancing Robot
Jeremy Searock, Brett Browning, Manuela Veloso
Abstract, .pdf

CMU-CS-05-127
Generalizing Dijkstra s Algorithm and Gaussian Elimination for Solving MDPs
H. Brendan McMahan, Geoffrey J. Gordon
Abstract, .ps, .pdf

CMU-CS-05-128
Unpublished

CMU-CS-05-129
Self-Adjusting Computation
Umut A. Acar, Ph.D. Thesis
Abstract, .ps, .pdf

CMU-CS-05-130
MessyBoard: Lowering the Cost of Communication and Making it More Enjoyable
Adam M. Fass, Ph.D. Thesis
Abstract, .pdf

CMU-CS-05-131
Understanding and Evolving the ML Module System
Derek Dreyer, Ph.D. Thesis
Abstract, .ps, .pdf

CMU-CS-05-132
Measuring an IP Network in situ
Hal Burch, Ph.D. Thesis
Abstract, .ps, .pdf

CMU-CS-05-133
Enabling Live Internet Broadcasting Using an Application Endpoint Architecture
Yang-hua Chu, Ph.D. Thesis
Abstract, .ps, .pdf

CMU-CS-05-134
Adaptive Eager Boolean Encoding for Arithmetic Reasoning in Verification
Sanjit A. Seshia, Ph.D. Thesis
Abstract, .ps, .pdf

CMU-CS-05-135
Certifying Compilation for Standard ML in a Type Analysis Framework
Leaf Eames Petersen, Ph.D. Thesis
Abstract, .ps, .pdf

CMU-CS-05-136
Analysis of Multi-server Systems via Dimensionality Reduction of Markov Chains
Takayuki Osogami, Ph.D. Thesis
Abstract, .ps, .pdf

CMU-CS-05-137
A Programming Language for Probabilistic Computation
Sungwoo Park, Ph.D. Thesis
Abstract, .ps.gz, .pdf

CMU-CS-05-138
Selected Project Reports, Spring 2005: Advanced OS & Distributed Systems (15-712)
Garth A. Gibson, Hyang-Ah Kim, Editors
Abstract, .pdf

CMU-CS-05-140
Explicit Compiler-based Memory Management for Out-of-core Applications
Angela Demke Brown, Ph.D. Thesis
Abstract, .pdf

CMU-CS-05-141
Unpublished

CMU-CS-05-142
Unpublished

CMU-CS-05-143
Mechanism Design via Machine Learning
Maria-Florina Balcan, Avrim Blum, Jason D. Hartline, Yishay Mansour
Abstract, .ps, .pdf

CMU-CS-05-144
Max-Min Fair Allocation of Indivisible Goods
Daniel Golovin
Abstract .ps, .pdf

CMU-CS-05-145
Automated Modeling and Nonlinear Axis Scaling
Leejay Wu, Ph.D. Thesis
Abstract, .ps, .pdf

CMU-CS-05-146
Emodis—An End-based Network Monitoring and Diagnosis System
Ningning Hu, Peter Steenkiste
Abstract .ps, .pdf

CMU-CS-05-147
Exploiting Parameter Domain Knowledge for Learning in Bayesian Networks
Radu Stefan Niculescu, Ph.D. Thesis
Abstract, .pdf

CMU-CS-05-148
FANFARE for the Common Flow
Elaine Shi, Bryan Parno, Adrian Perrig, Yih-Chun Hu, Bruce Maggs
Abstract .ps, .pdf

CMU-CS-05-149
Unpublished

CMU-CS-05-150
Using Objects of Measurement to Detect Spreadsheet Errors
Michael J. Coblenz, Senior Honors Thesis
Abstract .pdf

CMU-CS-05-151
The Seductive Appeal of Thin Clients
Niraj Tolia, David G. Andersen, Mahadev Satyanarayanan
Abstract .ps, .pdf

CMU-CS-05-152
Approximation Algorithms for Metric Embedding Problems
Kedar Dhamdhere, Ph.D. Thesis
Abstract, .ps, .pdf

CMU-CS-05-153
Learning Dynamic Time Preferences in Multi-Agent Meeting Scheduling
Elisabeth Crawford, Manuela Veloso
Abstract .ps, .pdf

CMU-CS-05-154
Algorithmic and Domain Centralization in Distributed Constraint Optimization Problems
John P. Davin, M.S. Thesis
Abstract .ps.gz, .pdf

CMU-CS-05-155
An Attack Surface Metric
Pratyusa Manadhata, Jeannette M. Wing
Abstract .ps, .pdf
Superceded by CMU-CS-07-146.pdf

CMU-CS-05-156
Taxonomy and Effectiveness of Worm Defense Strategies
David Brumley, Li-Hao Liu, Pongsin Poosankam, Dawn Song
Abstract .ps, .pdf

CMU-CS-05-157
Simplifying Cyber Foraging for Mobile Devices
Rajesh Krishna Balan, Darren Gergle, Mahadev Satyanarayanan, Jim Herbsleb
Abstract .ps, .pdf
This report has been superceded by CMU-CS-05-157R

CMU-CS-05-157R
Simplifying Cyber Foraging for Mobile Devices
Rajesh Krishna Balan, Darren Gergle, Mahadev Satyanarayanan, Jim Herbsleb
Abstract .pdf
This report supercedes CMU-CS-05-157

CMU-CS-05-158
Finding Equilibria in Large Sequential Games of Imperfect Information
Andrew Gilpin, Tuomas Sandholm1
Abstract .ps, .pdf

CMU-CS-05-159
Unpublished

CMU-CS-05-160
Access Control to Information in Pervasive Computing Environments
Urs Hengartner, Ph.D. Thesis
Abstract .ps, .pdf

CMU-CS-05-161
The First Segway Soccer Experience: Towards Peer-to-Peer Human-Robot Teams
Brenna Argall, Yang Gu, Brett Browning, Manuela Veloso
Abstract .ps, .pdf

CMU-CS-05-162
How the Landscape of Random Job Shop Scheduling Instances Depends on the Ratio of Jobs to Machines
Matthew J. Streeter, Stephen F. Smith
Abstract .ps, .pdf

CMU-CS-05-163
Structure Based Chemical Shift Prediction using Random Forests Non-linear regression
K. Arun, Christopher James Langmead
Abstract, .pdf

CMU-CS-05-164
A Randomized Algorithm for Learning Mahalanobis Metrics: Application to Classification and Regression of Biological Data
Christopher James Langmead
Abstract, .pdf

CMU-CS-05-165
On-line Robot Adaptation to Environmental Change
Scott Lenser, Ph.D. Thesis
Abstract, .pdf

CMU-CS-05-166
Exploiting Redundancy for Robust Sensing
Suman Nath, Ph.D. Thesis
Abstract, .ps, .pdf

CMU-CS-05-167
Improving the Performance of Static and Dyanmic Requests at a Busy Web Site
Bianca Schroeder, Ph.D. Thesis
Abstract, .pdf

CMU-CS-05-168
Unpublished

CMU-CS-05-169
Vulnerability-Specific Execution Filtering for Exploit Prevention on Commodity Software
James Newsome, David Brumley, Dawn Song
Abstract, .pdf

CMU-CS-05-170
Parameter-Free Spatial and Stream Mining
Spiros Papadimitriou, Ph.D. Thesis
Abstract, .pdf

CMU-CS-05-171
Self-Adjusting Distributed Trees
Michael K. Reiter, Asad Samar, Chenxi Wang
Abstract, .pdf

CMU-CS-05-172
Exploration and Policy Reuse
Fernando Fernández, Manuela Veloso
Abstract, .pdf

CMU-CS-05-173
Probabilistic Reuse of Past Policies
Fernando Fernández, Manuela Veloso
Abstract, .pdf

CMU-CS-05-174
Building a Library of Policies through Policy Reuse
Fernando Fernández, Manuela Veloso
Abstract, .pdf

CMU-CS-05-175
Unavailable to date

CMU-CS-05-176
Approximation Algorithms for Item Pricing
Maria-Florina Balcan, Avrim Blum
Abstract, .ps .pdf
Superceded by CMU-CS-05-176R

CMU-CS-05-176R
Approximation Algorithms for Item Pricing
Maria-Florina Balcan, Avrim Blum
Abstract, .ps .pdf

CMU-CS-05-177
Refactoring Network Control and Management: A Case for the 4D Architecture
Albert Greenberg, Gisli Hjalmtysson, David A. Maltz, Andy Myers, Jennifer Rexford, Geoffrey Xie, Hong Yan, Jibin Zhan, Hui Zhang
Abstract, .ps .pdf

CMU-CS-05-178
A Formulation of Dependent ML with Explicit Equality Proofs
Daniel R. Licata, Robert Harper
Abstract, .ps .pdf

CMU-CS-05-179
Unavailable to date

CMU-CS-05-180
Unavailable to date

CMU-CS-05-181
FPT Algorithms for Binary Near-Perfect Phylogenetic Trees
Srinath Sridhar, Kedar Dhamdhere, Guy E. Blelloch, Eran Halperin, R. Ravie, Russell Schwartz
Abstract, .ps .pdf

CMU-CS-05-182
Unavailable to date

CMU-CS-05-183
Endpoint-Based Routing Strategies for Improving Internet Performance and Resilience
Aditya Akella, Ph.D. Thesis
Abstract, .pdf

CMU-CS-05-184
Graph Algorithms for Planning and Partitioning
Shuchi Chawla, Ph.D. Thesis
Abstract, .ps, .pdf

CMU-CS-05-185
Performance Modeling of Storage Devices using Machine Learning
Mengzhi Wang, Ph.D. Thesis
Abstract, .ps.gz, .pdf

CMU-CS-05-186
Unpublished

CMU-CS-05-187
A Lower Bound Framework for Binary Search Trees with Rotations
Jonathan Derryberry, Daniel Dominic Sleator, Chengwen Chris Wang
Abstract, .ps, .pdf

CMU-CS-05-188
Applying Thread-Level Speculation to Database Transactions
Christopher B. Colohan, Ph.D. Thesis
Abstract, .pdf

CMU-CS-05-189
Unpublished

CMU-CS-05-190
Simplifying Distributed Application Upgrades with Simultaneous Execution
Mukesh Agrawal, Suman Nath, Srinivasan Seshan
Abstract, .ps .pdf

CMU-CS-05-191
Sting: An End-to-End Self-healing System for Defending against Zero-day Worm Attacks on Commodity Software
James Newsome, David Brumley, Dawn Song
Abstract, .pdf

CMU-CS-05-192
Redesigning Database Systems in Light of CPU Cache Prefetching
Shimin Chen, Ph.D. Thesis
Abstract, .ps .pdf

CMU-CS-05-193
Human Computation
Luis von Ahn, Ph.D. Thesis
Abstract, .pdf

CMU-CS-05-194
Staged Database Systems
Stavros Harizopoulos, Ph.D. Thesis
Abstract, .pdf

CMU-CS-05-195
Term-Level Verification of a Pipelined CISC Microprocessor
Randal E. Bryant
Abstract, .ps .pdf

CMU-CS-05-196
Compact Data Structures with Fast Queries
Daniel K. Blandford, Ph.D. Thesis
Abstract, .ps .pdf

CMU-CS-05-197
Unavailable to date

CMU-CS-05-198
Giving Users the Steering Wheel for Guiding Resource-Adaptive Systems
João P. Sousa, Rajesh K. Balan, Vahe Poladian, David Garlan, Mahadev Satyanarayanan
Abstract, .ps .pdf

CMU-CS-05-199
Unpublished

CMU-CS-05-200
Unpublished

CMU-CS-05-201
Selected Project Reports, Fall 2005
Garth A. Gibson, Adam G. Pennington, Editors
Abstract, .pdf

Return to: SCS Technical Report Collection