Technical Reports by Author
Theses by Author

CMU-CS-08-100
Extending Automated Compositional Verification to the Full Class of Omega-Regular Languages
Azadeh Farzan, Yu-Fang Chen, Edmund M. Clarke, Yih-Kuen Tsay, Bow-Yaw Wang
Abstract, .pdf

CMU-CS-08-101
Focusing on Binding and Computation
Daniel R. Licata, Noam Zeilberger, Robert Harper
Abstract, .pdf

CMU-CS-08-102
Efficient Craig Interpolation for Linear Diophantine (Dis)Equations and Linear Modular Equations
Himanshu Jain, Edmund M. Clarke, Orna Grumberg
Abstract, .pdf

CMU-CS-08-103
Computing Differential Invariants of Hybrid Systems as Fixedpoints
André Platzer, Edmund M. Clarke
Abstract, .pdf

CMU-CS-08-104
Unavailable to Date

CMU-CS-08-105
Increasing the Scalability of Dynamic Web Applications
Amit Manjhi, Ph.D. Thesis
Abstract, .pdf

CMU-CS-08-106
The Effect of Higher Moments of Job Size Distribution on the Performance of an M/G/K/ Queueing System
Varun Gupta, Jim Dai, Mor Harchol-Balter, Bert Zwart
Abstract, .ps, .pdf

CMU-CS-08-107
Unavailable to Date

CMU-CS-08-108
Unavailable to Date

CMU-CS-08-109
Using Tensor Analysis to Characterize Contact-Map Dynamics of Proteins
Arvind Ramanathan, Pratul K. Agarwal, Christopher J. Langmead
Abstract, .pdf

CMU-CS-08-110
Space Profiling for Parallel Functional Programs
Daniel Spoonhower, Guy E. Blelloch, Phllip B. Gibbons, Robert Harper
Abstract, .pdf

CMU-CS-08-111
Unavailable to Date

CMU-CS-08-112
Learning Domain-Specific Planners from Example Plans
Elly Zoe Winner, Ph.D. Thesis
Abstract, .pdf

CMU-CS-08-113
Volumetric Features for Video Event Detection
Yan Ke, Ph.D. Thesis
Abstract, .pdf

CMU-CS-08-114
Unpublished

CMU-CS-08-115
Uniquely Represented Data Structures for Computational Geometry
Guy E. Blelloch, Daniel Golovin, Virginia Vassilevska
Abstract, .pdf

CMU-CS-08-116
Unpublished

CMU-CS-08-117
Transient Customization of Mobile Computing Infrastructure
Adam Wolbach, Jan Harkes, Srinivas Chellappa, M. Satyanarayanan
Abstract, .pdf

CMU-CS-08-118
Modeling Variation in Motion Data
Manfred Lau, Ziv Bar-Joseph, James Kuffner
Abstract, .pdf

CMU-CS-08-119
Conditional Random Fields for Activity Recognition
Douglas L. Vail, Ph.D. Thesis
Abstract, .pdf

CMU-CS-08-120
Integrating Nominal and Structural Subtyping
Donna Malayeri, Jonathan Aldrich
Abstract, .pdf

CMU-CS-08-121
Tailoring Configuration to User's Tasks under Uncertainty
Vahe V. Poladyan, Ph.D. Thesis
Abstract, .pdf

CMU-CS-08-122
Asking and Answering Questions about the Causes of Software Behavior
Amy J. Ko, Ph.D. Thesis (HCII)
Abstract, .pdf
Also appears as CMU-HCII-08-106

CMU-CS-08-123
Instability Free Routing: Beyond One Protocol Instance
Franck Le, Geoffrey G. Xie, Hui Zhang
Abstract, .pdf

CMU-CS-08-124
Unavailable to Date

CMU-CS-08-125
Information Mediation in the Presence of Constraints and Uncertainties
Sandeep Pandey, Ph.D. Thesis
Abstract, .pdf

CMU-CS-08-126
Modal Types for Mobile Code
Tom Murphy VII, Ph.D. Thesis
Abstract, .pdf

CMU-CS-08-127
Extracting Conditional Confidentiality Policies
Michael Carl Tschantz, Jeannette M. Wing
Abstract, .pdf

CMU-CS-08-128
Efficient Statistical Methods for 3D Shape Inference
Brian Potetz, Ph.D. Thesis
Abstract, .pdf

CMU-CS-08-129
A Bidirectional Refinement Type System for LF
William Lovas, Frank Pfenning
Abstract, .pdf

CMU-CS-08-130
Controlling Multibody Dynamics cia Browsing and Time Reversal
Christopher D. Twigg, Ph.D. Thesis
Abstract, .pdf

CMU-CS-08-131
A Logic for Reasoning About Time-Dependent Access Control Policies
Henry DeYoung, Senior Research Thesis
Abstract, .pdf

CMU-CS-08-132
The Open Diamond^® Platform for Discard-based Search
M. Satyanarayanan, Rahul Sukthankar, Adam Goode, Larry Huston, Lily Mummert,
Adam Wolbach, Jan Harkes, Richard Gass, Steve Schlosser
Abstract, .pdf

CMU-CS-08-133
Unavailable to Date

CMU-CS-08-134
Measuring the Attack Surfaces of SAP Business Applications
Pratyusa K. Manadhata, Yuecel Karabulut, Jeannette M. Wing
Abstract, .pdf

CMU-CS-08-135
Uniquely Represented Data Structures with Applications to Privacy
Daniel Golovin, Ph.D. Thesis
Abstract, .pdf

CMU-CS-08-136
A Vendor-Neutral Library and Viewer for Whole-Slide Images
Adam Goode, M. Satyanarayanan
Abstract, .pdf

CMU-CS-08-137
Effective Motion Tracking Using Known and Learned Actuation Models
Yang Gu, Ph.D. Thesis
Abstract, .pdf

CMU-CS-08-138
A Scalable Database Approach to Computing Delaunay Triangulations
Tiankai Tu, Ph.D. Thesis
Abstract, .pdf

CMU-CS-08-139
Unavailable to Date

CMU-CS-08-140
Smart Phones as Self-Cleaning Portable Caches for Infrastructure-Based Mobile Computing
Stephen Smaldone, Benjamin Gilbert, Matt Toups, Liviu Iftode, Mahadev Satyanarayanan
Abstract, .pdf

CMU-CS-08-141
A Cost Semantics for Self-Adjusting Computation
Reu Ley-Wild, Umut A. Acar, Matthew Fluet
Abstract, .pdf

CMU-CS-08-142
Evolution Styles - Formal Foundations and Tool Support for Software Architecture Evolution
David Garlan
Abstract, .pdf

CMU-CS-08-143
Expandable Grids: A User Interface Visualization Technique and a Policy Semantics to Support Fast, Accurate Security and Privacy Policy Authoring
Robert W. Reeder, Ph.D. Thesis
Abstract, .pdf

CMU-CS-08-144
Sharing DBMS among Multiple Users while Providing Performance Isolation: Analysis and Implementation
David T. McWherter, Ph.D. Thesis
Abstract, .pdf

CMU-CS-08-145
Unavailable to Date

CMU-CS-08-146
Verification using Satisfiability Checking, Predicate Abstraction, and Craig Interpolation
Himanshu Jain, Ph.D. Thesis
Abstract, .pdf

CMU-CS-08-147
Efficient Algorithms for Path Problems in Weighted Graphs
Virginia Vassilevska, Ph.D. Thesis
Abstract, .pdf

CMU-CS-08-148
Unavailable to Date

CMU-CS-08-149
Unavailable to Date

CMU-CS-08-150
Putting the "Scalability" into Database Scalability Services
Charles Garrod, Ph.D. Thesis
Abstract, .pdf

CMU-CS-08-151
Towards Inference and Learning in Dynamic Bayesian Networks using Generalized Evidence
Christopher James Langmead
Abstract, .pdf

CMU-CS-08-152
An Attack Surface Metric
Pratyusa K. Manadhata, Ph.D. Thesis
Abstract, .pdf

CMU-CS-08-153
New Theoretical Frameworks for Machine Learning
Maria-Florina Balcan, Ph.D. Thesis
Abstract, .pdf

CMU-CS-08-154
Discovering Web Structure with Multiple Experts in a Clustering Framework
Bora Cenk Gazen, Ph.D. Thesis
Abstract, .pdf

CMU-CS-08-155
A Computational Framework for the Analysis of Multi-Species Microarray Data
Yong Lu, Ph.D. Thesis
Abstract, .pdf

CMU-CS-08-156
Making Contribution-Aware P2P Systems Robust to Collusion Attacks Using Bandwidth Puzzles
Michael K. Reiter, Vyas Sekar, Zhenghao Zhang
Abstract, .pdf
Superceded by CMU-CS-09-136

CMU-CS-08-157
Traffic Analysis for Network Security using Learning Theory and Streaming Algorithms
Shobha Venkataraman, Ph.D. Thesis
Abstract, .pdf

CMU-CS-08-158
Improving the Deployability of Diamond
Adam Wolbach, Masters Thesis
Abstract, .pdf

CMU-CS-08-159
Analysis and Defense of Vulnerabilities in Binary Code
David Brumley, Ph.D. Thesis
Abstract, .pdf

CMU-CS-08-160
Holistic Query Transformations for Dynamic Web Applications
Amit Manjhi, Charles Garrod, Bruce M. Maggs, Todd C. Mowry, Anthony Tomasic
Abstract, .ps, .pdf

CMU-CS-08-161
Unavailable to Date

CMU-CS-08-162
A Graphical Model Approach for Predicting Free Energies of Association for Protein-Protein Interactions under Backbone and Side-Chain Flexibility
Hetunandan Kamisetty, Chris Bailey-Kellogg, Christopher James Langmead
Abstract, .pdf

CMU-CS-08-163
Unavailable to Date

CMU-CS-08-164
Techniques for Exploiting Unlabeled Data
Mugizi Robert Rwebangira, Ph.D. Thesis
Abstract, .pdf

CMU-CS-08-165
Unavailable to Date

CMU-CS-08-166
Evaluating Predicates over Encrypted Data
Elaine Shi, Ph.D. Thesis
Abstract, .pdf

CMU-CS-08-167
Unavailable to Date

CMU-CS-08-168
Unavailable to Date

CMU-CS-08-169
CZ: Multiple Inheritance Without Diamonds
Donna Malayeri, Jonathan Aldrich
Abstract, .pdf
Complemented by CMU-CS-09-169

CMU-CS-08-170
The Butterfly Model: Theoretical Foundations
Michelle Goodstein, Evangelos Vlachos, Shimin Chen, Phillip Gibbons, Michael Kozuch, Todd Mowry
Abstract, .pdf

CMU-CS-08-171
Optimizing Sensing - Theory and Applications
Andreas Krause, Ph.D. Thesis
Abstract, .pdf

Return to: SCS Technical Report Collection