Technical Reports by Author
Theses by Author

CMU-CS-09-100
Is Structural Subtyping Useful? An Empirical Study
Donna Malayeri, Jonathan Aldrich
Abstract, .pdf

CMU-CS-09-101
Unavailable to Date

CMU-CS-09-102
Unpublished

CMU-CS-09-103
Unpublished

CMU-CS-09-104
Coordinated Sampling sans Origin-Destination Identifiers: Algorithms, Analysis, and Evaluation
Vyas Sekar, Anupam Gupta, Michael K. Reiter, Hui Zhang
Abstract, .pdf

CMU-CS-09-105
Confidence-Based Robot Policy Learning from Demonstration
Sonia Chernova, Ph.D. Thesis
Abstract, .pdf

CMU-CS-09-106
Local Linear Semi-supervised Regression
Mugizi Robert Rwebangira, John Lafferty
Abstract, .pdf

CMU-CS-09-107
Learning by Combining Native Features with Similarity Functions
Mugizi Robert Rwebangira, Avrim Blum
Abstract, .pdf

CMU-CS-09-108
Parallel LBA: Conherence-based Parallel Monitoring of Multithreaded Applications
Evangelos Vlachos, Michelle Goodstein, Michael Kozuch, Shimin Chen, Babak Falsafi, Phillip B. Gibbons, Todd C. Mowry, Olatunji Ruwase
Abstract, .pdf

CMU-CS-09-109
Unpublished

CMU-CS-09-110
Statistical Model Checking for Complex Stochastic Models in Systems Biology
Sumit Kumar Jha, Edmund M. Clarke, Christopher James Langmead, Axel Legay,
André Platzer, Paolo Zuliani
Abstract, .pdf

CMU-CS-09-111
Learning to Improve Negotiation in Semi-Cooperative Agreement Problems
Elisabeth Crawford, Ph.D. Thesis
Abstract, .pdf

CMU-CS-09-112
Thresholded-Rewards Decision Problems: Acting Effectively in Timed Domains
Colin McMillen, Ph.D. Thesis
Abstract, .pdf

CMU-CS-09-113
Optimal Power Allocation in Server Farms
Anshul Gandhi, Mor Harchol-Balter, Rajarshi Das, Charles Lefurgy
Abstract, .pdf

CMU-CS-09-114
Unavailable to Date

CMU-CS-09-115
Self-Adaptive Admission Control Policies for Resource-Sharing Systems
Varun Gupta, Mor Harchol-Balter
Abstract, .ps, .pdf

CMU-CS-09-116
Domain Adaptation of Translation Models for Multilingual Applications
Monica Rogati, Ph.D. Thesis
Abstract, .pdf

CMU-CS-09-117
Unavailable to Date

CMU-CS-09-118
Limit Properties of Probability Densities Charactered by Moment Indexes
Mor Harchol-Balter, Rein Vesilo
Abstract, .pdf Pending

CMU-CS-09-119
Unavailable to Date

CMU-CS-09-120
Principal Centric Reasoning in Constructive Authorization Logic
Deepak Garg
Abstract, .pdf

CMU-CS-09-121
Proof Search in an Authorization Logic
Deepak Garg
Abstract, .pdf

CMU-CS-09-122
The Logical Basis of Evaluation Order and Pattern-Matching
Noam Zeilberger
Abstract, .pdf

CMU-CS-09-123
A Proof-Carrying File System
Deepak Garg, Frank Pfenning
Abstract, .pdf

CMU-CS-09-124
Nonlinear Switching State-Space Models for aCGH Analysis
Jeffrey Dunn, M.S. Thesis
Abstract, .pdf

CMU-CS-09-125
A Case for a RISC Architecture for Network Flow Monitoring
Vyas Sekar, Michael K. Reiter, Hui Zhang
Abstract, .pdf

CMU-CS-09-126
Unavailable to Date

CMU-CS-09-127
Algorithms for Abstracting and Solving Imperfect Information Games
Andrew Gilpin, Ph.D. Thesis
Abstract, .pdf

CMU-CS-09-128
Unavailable to Date

CMU-CS-09-129
Efficient and Robust Signal Approximations
Doru Cristian Balcan, Ph.D. Thesis
Abstract, .pdf

CMU-CS-09-130
Unavailable to Date

CMU-CS-09-131
Speech Interfaces for Information Access by Low Literate Users
Jahanzeb Sherwani, Ph.D. Thesis
Abstract, Unavailable electronically

CMU-CS-09-132
Theory and New Primitives for Interconnecting Routing Protocol Instances
Franck Le, Geoffrey G. Xie, Hui Zhang
Abstract, .pdf

CMU-CS-09-133
Heterogeneous Decomposition of Degree-Balanced Search Trees and Its Applications
Shan Leung Woo, Ph.D. Thesis
Abstract, .pdf

CMU-CS-09-134
Low-Depth Cache-Oblivious Algorithms
Guy E. Blelloch, Phillip B. Gibbons, Harsha Vardhan Simhadri
Abstract, .pdf

CMU-CS-09-135
The Blind Men and the Elephant: Piecing Together Hadoop for Diagnosis
Xinghao Pan, M.S. Thesis
Abstract, .pdf

CMU-CS-09-136
Making Contribution-Aware Peer-Assisted Content Distribution Robust to Collusion Using Bandwidth Puzzles
Michael K. Reiter, Vyas Sekar, Chad Spensky, Zhenghao Zhang
Abstract, .ps, .pdf
Supercedes CMU-CS-08-156

CMU-CS-09-137
A Simple Proof of Call-by-Value Standardization
Karl Crary
Abstract, .pdf

CMU-CS-09-138
Unavailable to Date

CMU-CS-09-139
A Logical Representation of Common Rules for Controlling Access to Classified Information
Deepak Garg, Frank Pfenning, Denis Serenyi, Brian Witten
Abstract, .pdf

CMU-CS-09-140
Unavailable to Date

CMU-CS-09-141
PCAL: Language Support for Proof-Carrying Authorization Systems
Avik Chaudhuri, Deepak Garg,
Abstract, .pdf

CMU-CS-09-142
Measuring and Injecting Latency in Web Apps
Adam Goode, Steven Hillenius, Bonnie John, M. Satyanarayanan
Abstract, .pdf

CMU-CS-09-143
Log-based Approaches to Characterizing and Diagnosing MapReduce Systems
Jiaqi Tan, M.S. Thesis
Abstract, .pdf

CMU-CS-09-144
Contractual Anonymity
Edward J. Schwartz, David Brumley, Jonathan M. McCune
Abstract, .pdf

CMU-CS-09-145
Quantifying and Mitigating Privacy Threats in Wireless Protocols and Services
Jeffrey Anson Pang, Ph.D. Thesis
Abstract, .pdf

CMU-CS-09-146
Efficient Byzantine Fault Tolerance for Scalable Storage and Services
James Hendricks, Ph.D. Thesis
Abstract, .pdf

CMU-CS-09-147
Formal Verification of Curved Flight Collision Avoidance Maneuvers: A Case Study
André Platzer, Edmund M. Clarke
Abstract, .pdf

CMU-CS-09-148
Modeling Behavior and Variation for Crowd Animation
Manfred Chung Man Lau, Ph.D. Thesis
Abstract, .pdf

CMU-CS-09-149
A Learning Perspective on Selfish Behavior in Games
Katrina Ligett, Ph.D. Thesis
Abstract, .pdf

CMU-CS-09-150
Chip Multiprocessors for Server Workloads
Nikolaos Hardavellas, Ph.D. Thesis
Abstract, .pdf

CMU-CS-09-151
Unavailable to Date

CMU-CS-09-152
Large Scale Scene Matching for Graphics and Vision
James Hays, Ph.D. Thesis
Abstract, .pdf

CMU-CS-09-153
CZ: Multimethods and Multiple Inheritance Without Diamonds
Donna Malayeri, Jonathan Aldrich
Abstract, .pdf
Complements CMU-CS-08-169

CMU-CS-09-154
Formal Methods for Privacy
Michael Carl Tschantz, Jeannette M. Wing
Abstract, .pdf

CMU-CS-09-155
A Hybrid Logical Framework
Jason Reed, Ph.D. Thesis
Abstract, .pdf

CMU-CS-09-156
Efficient Mesh Generation for Piecewise Linear Complexes
Todd Phillips, Ph.D. Thesis
Abstract, .pdf

CMU-CS-09-157
Towards a More Principled Compiler: Register Allocation and Instruction Selection Revisited
David Ryan Koes, Ph.D. Thesis
Abstract, .pdf

CMU-CS-09-158
CPU Performance Counter-Based Problem Diagnosis for Software Systems
Keith A. Bare, M.S. Thesis
Abstract, .pdf

CMU-CS-09-159
Fast Cache for Your Text: Accelerating Exact Pattern Matching with Feed-Forward Bloom Filters
Iulian Moraru, David G. Andersen
Abstract, .pdf

CMU-CS-09-160
Unavailable to Date

CMU-CS-09-161
MoSIFT: Recognizing Human Actions in Surveillance Videos
Ming-yu Chen, Alex Hauptmann
Abstract, .pdf

CMU-CS-09-162
Unavailable to Date

CMU-CS-09-163
Coding Without Your Crystal Ball: Unanticipated Object-Oriented Reuse
Donna Malayeri, Ph.D. Thesis
Abstract, .pdf

CMU-CS-09-164
Hyrax: Cloud Computing on Mobile Devices using MapReduce
Eugene E. Marinelli, M.S. Thesis
Abstract, .pdf

CMU-CS-09-165
Authenticated Communication and Computation in Known-Topology Networks with a Trusted Authority
Haowen Chan, Ph.D. Thesis
Abstract, .pdf

CMU-CS-09-166
M/G/k with Exponential Setup
Anshul Gandhi, Mor Harchol-Balter
Abstract, .pdf

CMU-CS-09-167
Matching Markets: Design and Analysis
David John Abraham, Ph.D. Thesis
Abstract, .pdf

CMU-CS-09-168
Proof Theory for Authorization Logic and Its Applications to a Practical File System
Deepak Garg, Ph.D. Thesis
Abstract, .pdf

CMU-CS-09-169
Register Allocation Aware Instruction Selection
David Ryan Koes
Abstract, .pdf

CMU-CS-09-170
Probabilistic Plan Management
Laura M. Hiatt, Ph.D. Thesis
Abstract, .pdf

CMU-CS-09-171
Properties of Multi-Splay Trees
Jonathan Derryberry, Daniel Sleator, Chengwen Chris Wang
Abstract, .pdf

CMU-CS-09-172
Unavailable to Date

CMU-CS-09-173
Unavailable to Date

CMU-CS-09-174
Better Scalable Algorithms for Broadcast Scheduling
Nikhil Bansal, Ravishankar Krishnaswamy, Viswanath Nagarajan
Abstract, .ps, .pdf

CMU-CS-09-175
Collaborative Online Video Watching
Justin D. Weisz, Ph.D. Thesis
Abstract, .pdf
Also appears as CMU-HCII-09-106

CMU-CS-09-176
Unavailable to Date

CMU-CS-09-177
Structure Learning for Generative Models of Protein Fold Families
Sivaraman Balakrishnan, Hetunandan Kamisetty, Jaime G. Carbonell, Christopher James Langmead
Abstract, .pdf

CMU-CS-09-178
Searching Complex Data Without an Index
Mahadev Satyanarayanan, Rahul Sukthankar, Adam Goode, Nilton Bila, Lily Mummert, Jan Harkes, Adam Wolbach, Larry Huston, Eyal de Lara
Abstract, .pdf

CMU-CS-09-179
Hidden Process Models
Rebecca A. Hutchinson, Ph.D. Thesis
Abstract, .pdf

CMU-CS-09-180
Adaptive Binary Search Trees
Jonathan Carlyle Derryberry, Ph.D. Thesis
Abstract, .pdf

Return to: SCS Technical Report Collection