COMPUTER SCIENCE TECHNICAL REPORTS 2007
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-07-100
Improving Mobile Database Access Over Wide-Area Networks Without Degrading Consistency
Niraj Tolia, M. Satyanarayanan, Adam Wolbach
Abstract, .pdf

CMU-CS-07-101
Transparent Automatic Migration of Interactive Resource-Intensive Applications
H. Andres Lagar-Cavilla, Niraj Tolia, Eyal de Lara, M. Satyanarayanan, David O'Hallaron
Abstract, .pdf

CMU-CS-07-102
Approximation Algorithms Going Online
Saham Kakade, Adam Tauman Kalai, Katrina Ligett
Abstract, .pdf

CMU-CS-07-103
Dimensionality Restrictions on Sums Over Z dp
Ioannis Koutis
Abstract, .ps, .pdf

CMU-CS-07-104
Unpublished

CMU-CS-07-105
Unpublished

CMU-CS-07-106
Construction and Optimal Search of Interpolated Motion Graphs
Alla Safonova, Jessica K. Hodgins
Abstract, .pdf

CMU-CS-07-107
Unpublished

CMU-CS-07-108
Confidentiality Policies and Their Extraction from Programs
Michael Carl Tschantz, Jeannette M. Wing
Abstract, .pdf

CMU-CS-07-109
Unpublished

CMU-CS-07-110
Unpublished

CMU-CS-07-111
Single Price Mechanisms for Revenue Maximization in Unlimited Supply Combinatorial Auctions
Maria-Florina Balcan, Avrim Blum, Yishay Mansour
Abstract, .pdf

CMU-CS-07-112
Is Host-Based Anomaly Detection + Temporal Correlation = Worm Causality?
Vyas Sekar, Yinglian Xie, Michael K. Reiter, Hui Zhang
Abstract, .ps .pdf

CMU-CS-07-113
Unpublished

CMU-CS-07-114
Using Discard-based Search for Indexed Search
Mahadev Satyanarayanan, Christine Henderson, Brian Adams, Rahul Sukthankar
Abstract, .pdf

CMU-CS-07-115
Defragmenting DHT-based Distributed File Systems
Jeffrey Pang, Phillip B. Gibbons, Michael Kaminsky, Srinivasan Seshan, Haifeng Yu
Abstract, .pdf

CMU-CS-07-116
Unpublished

CMU-CS-07-117
Probabilistic Opaque Quorum Systems
Michael G. Merideth, Michael K. Reiter
Abstract, .pdf
Also appears as CMU-ISRI-07-117

CMU-CS-07-118
The Critical Role of Culture and Environment as Determinants of Women's Participation in Computer Science
Carol Frieze, Ph.D. Thesis (Cultural Studies in Computer Science)
Abstract, .pdf

CMU-CS-07-119
Unpublished

CMU-CS-07-120
Just-In-Time Indexing for Interactive Data Exploration
Phillip B. Gibbons, Lily Mummert, Rahul Sukthankar, M. Satyanarayanan, Larry Huston
Abstract, .pdf

CMU-CS-07-121
Dynamic Mesh Refinement with Quad Trees and Off-Centers
Umut A. Acar, Benoît Hudson
Abstract, .ps.gz, .pdf

CMU-CS-07-122
Unpublished

CMU-CS-07-123
Verification of Large Industrial Circuits Using SAT Based Reparameterization and Automated Abstraction-Refinement
Pankaj P. Chauhan, Ph.D. Thesis
Abstract, .pdf

CMU-CS-07-124
Error Awareness and Recovery in Conversational Spoken Language Interfaces
Dan Bohus, Ph.D. Thesis
Abstract, .pdf

CMU-CS-07-125
Unpublished

CMU-CS-07-126
Scheduling for Today's Computer Systems: Bridging Theory and Practice
Adam Wierman, Ph.D. Thesis
Abstract, .pdf

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

CMU-CS-07-128
Data-Intensive Supercomputing: The Case for DISC
Randal E. Bryant
Abstract, .ps .pdf

CMU-CS-07-129
A Unified System of Type Refinements
Jana Clara Dunfield, Ph.D. Thesis
Abstract, .pdf

CMU-CS-07-130
A Statistical Framework for Spatial Comparative Genomics
Rose Hoberman, Ph.D. Thesis
Abstract, .pdf

CMU-CS-07-131
Combinatorial and Algebraic Tools for Optimal Multilevel Algorithms
Ioannis Koutis, Ph.D. Thesis
Abstract, .pdf

CMU-CS-07-132
Predicting Protein Folding Kinetics via Temporal Logic Model Checking
Christopher James Langmead, Sumit Kumar Jha
Abstract, .pdf

CMU-CS-07-133
Unpublished

CMU-CS-07-134
A Two Player Game to Combat Web Spam
Michelle Goodstein, Virginia Vassilevska
Abstract, .ps, .pdf

CMU-CS-07-135
Unpublished

CMU-CS-07-136
Learning Factors Analysis Learns to Read
James M. Leszczenski, M.S. Thesis
Abstract, .pdf

CMU-CS-07-137
Unpublished

CMU-CS-07-138
Statistical Modeling and Synthesis of Intrinsic Structures in Impact Sounds
Sofia C.F.M. Cavaco, Ph.D. Thesis
Abstract, .pdf

CMU-CS-07-139
Coordinated Sampling: An Efficient, Network-Wide Approach for Flow Monitoring
Vyas Sekar, Michael K. Reiter, Walter Willinger, Hui Zhang
Abstract, .pdf

CMU-CS-07-140
Unpublished

CMU-CS-07-141
Understanding the AS-level Path Disjointness Provided by Multi-homing
Vijay Vasudevan, David G. Andersen, Hui Zhang
Abstract, .ps, .pdf

CMU-CS-07-142
A Theory of Loss-leaders: Making Money by Pricing Below Cost
Maria-Florina Balcan, Avrim Blum, T-H. Hubert Chan, Mohammad Taghi Hajiaghayi
Abstract, .pdf

CMU-CS-07-143
A Theory of Similarity Functions for Clustering
Maria-Florina Balcan, Abrim Blum, Santosh Vempala
Abstract, .pdf

CMU-CS-07-144
A Formal Model for A System's Attack Surface
Pratyusa K. Manadhata, Dilsun K. Kaynar, Jeannette M. Wing
Abstract, .ps, .pdf

CMU-CS-07-145
Real-time Reduced Large-Deformation Models and Distributed Contact for Computer Graphics and Haptics
Jernej Barbic, Ph.D. Thesis
Abstract, .pdf

CMU-CS-07-146
An Approach to Measuring A System's Attack Surface
Pratyusa K. Manadhata, Kymie M.C. Tan, Roy A. Maxion, Jeannette M. Wing
Abstract, .ps, .pdf
Supercedes CMU-CS-05-155

CMU-CS-07-147
Algorithms and Resource Requirements for Fundamental Problems
R. Ryan Williams, Ph.D. Thesis
Abstract, .ps, .pdf

CMU-CS-07-148
Free LittleDog!: Towards Completely Untethered Operation of the Little Dog Quadruped
Michael N. Dille, M.S. Thesis
Abstract, .pdf

CMU-CS-07-149
Incremental Pattern Discovery on Streams, Graphs and Tensors
Jimeng Sun, Ph.D. Thesis
Abstract, .pdf

CMU-CS-07-150
Towards Practical Automatic Generation of Multipath Vulnerability Signatures
David Brumley, Zhenkai Liang, James Newsome, Dawn Song
Abstract, .ps, .pdf

CMU-CS-07-151
Simulation Results for JSQ Server Farms with Processor Sharing Servers
Varun Gupta, Mor Harchol-Balter, Karl Sigman, Ward Whitt
Abstract, .ps, .pdf

CMU-CS-07-152
Unpublished

CMU-CS-07-153
All-Norms and All-Lp-Norms Approximation Algorithms
Daniel Golovin, Anupam Gupta, Amit Kumar, Kanat Tangwongsan
Abstract, .ps, .pdf

CMU-CS-07-154
Random Sampling Auctions for Limited Supply
Maria-Florina Balcan, Nikhil Devanur, Jason D. Hartliner, Kunal Talwar
Abstract, .pdf

CMU-CS-07-155
Symbolic Approaches for Finding Control Strategies in Boolean Networks
Christopher James Langmead, Sumit Kumar Jha
Abstract, .pdf

CMU-CS-07-155R
Symbolic Approaches for Finding Control Strategies in Boolean Networks
Christopher James Langmead, Sumit Kumar Jha
Abstract, .pdf

CMU-CS-07-156
Detecting Protein-Protein Interaction Decoys using Fast Free Energy Calculations
Christopher James Langmead, Hetunandan Kamisetty
Abstract, .pdf

CMU-CS-07-157
Approximation Algorithms for Bounded Dimensional Metric Spaces
T.-H Hubert Chan, Ph.D. Thesis
Abstract, .pdf

CMU-CS-07-158
Player Dynamics in Massively Multiplayer Online Games
Xinyu Zhuang, Ashwin Bharambe, Jeffrey Pang, Srinivasan Seshan
Abstract, .ps.gz .pdf

CMU-CS-07-159
Hierarchical Statistical Models of Computation in the Visual System
Yan Karlin, Ph.D. Thesis
Abstract, .pdf (Currently Unavailable)

CMU-CS-07-160
Unpublished

CMU-CS-07-161
Low-Bandwidth VM Migration via Opportunistic Replay
Ajay Surie, Andrés Lagar-Cavilla, Eyal de Lara, Mahadev Satyanarayanan
Abstract, .pdf

CMU-CS-07-162
Dynamic Mesh Refinement
Benoît Hudson, Ph.D. Thesis
Abstract, .ps.gz, .pdf

CMU-CS-07-163
Improving Mobile Infrastructure for Pervasive Personal Computing
Ajay Surie, M.S. Thesis
Abstract, .pdf

CMU-CS-07-164
FMDistance: A Fast and Effective Distance Function for Motion Capture Data
Kensuke Onuma, Christos Faloutsos, Jessica K. Hodgins
Abstract, .pdf

CMU-CS-07-165
Write Markers for Probabilistic Quorum Systems
Michael G. Merideth, Michael K. Reiter
Abstract, .pdf
Superceded by CMU-CS-07-165R
Also appears as CMU-ISRI-07-118
Also appears as CMU-ISRI-07-118R

CMU-CS-07-165R
Write Markers for Probabilistic Quorum Systems
Michael G. Merideth, Michael K. Reiter
Abstract, .pdf
Supercedes CMU-CS-07-165
Also appears as CMU-ISRI-07-118R

CMU-CS-07-166
An Authorization Logic with Explicit Time
Henry DeYoung, Deepak Garg, Frank Pfenning
Abstract, .pdf

CMU-CS-07-167
From Indexed Lax Logic to Intuitionistic Logic
Deepak Garg, Michael Carl Tschantz
Abstract, .pdf

CMU-CS-07-168
Algorithms for Analyzing Intraspecific Sequence Variation
Srinath Sridhar, Ph.D. Thesis
Abstract, .pdf

CMU-CS-07-169
Non-oblivious Retroactive Data Structures
Umut A. Acar, Guy E. Blelloch, Kanat Tangwongsan
Abstract, .ps, .pdf

CMU-CS-07-170
Efficient Data Organization and Management on Heterogeneous Storage Hierarchies
Minglong Shao, Ph.D. Thesis
Abstract, .ps.gz, .pdf

CMU-CS-07-171
An Onine Algorithm for Maximizing Submodular Functions
Matthew Streeter, Daniel Golovin
Abstract, .ps, .pdf

CMU-CS-07-172
Using Online Algorithms to Solve NP-Hard Problems More Efficiently in Practice
Matthew Streeter, Ph.D. Thesis
Abstract, .ps, .pdf

CMU-CS-07-173
CMDragons 2007 Team Description
James Bruce, Stefan Zickler, Mike Licitra, Manuela Veloso
Abstract, .pdf

CMU-CS-07-174
Unpublished

CMU-CS-07-175
Beyond Brain Blobs: Machine Learning Classifiers as Instruments for Analyzing Functional Magnetic Resonance Imaging Data
Francisco Pereira, Ph.D. Thesis
Abstract, .pdf

CMU-CS-07-176
Rethinking Storage for Discard-Based Search
Lily Mummert, Steve Schlosser, Mike Mesnier, M. Satyanarayanan
Abstract, .pdf

CMU-CS-07-177
Distributed Online Anomaly Detection in High-Content Screening
Adam Goode, Rahul Sukthankar, Lily Mummert, Mei Chen, Jeffrey Saltzman, David Ross, Stacey Szymanski, Anil Tarachandani, M. Satyanarayanan
Abstract, .pdf

CMU-CS-07-178
A Theory of Expressiveness in Mechanisms
Michael Benisch, Norman Sadeh, Tuomas Sandholm
Abstract, .pdf
Also appears as CMU-ISRI-07-122


Return to: SCS Technical Report Collection