Technical Reports by Author
Theses by Author

CMU-CS-06-100
Distributed Pattern Discovery in Multiple Streams
Jimeng Sun, Spiros Papdimitriou, Christos Faloutsos
Abstract, .pdf

CMU-CS-06-101
A Self-Service Approach to Scalable Service Deployment
Michael K. Reiter, Asad Samar
Abstract, .pdf

CMU-CS-06-101R
A Self-Service Approach to Scalable Service Deployment
Michael K. Reiter, Asad Samar
Abstract, .pdf
This reports supercedes CMU-CS-06-101R.

CMU-CS-06-102
Unpublished

CMU-CS-06-103
Cancer Phylogenetics from Single-Cell Assays
Gregory Pennington, Stanley Shackney, Russell Schwartz
Abstract, .pdf

CMU-CS-06-104
A Separate Compilation Extension to Standard ML (Working Draft)
David Swasey, Tom Murphy VII, Karl Crary, Robert Harper
Abstract, .ps, .pdf

CMU-CS-06-104R
A Separate Compilation Extension to Standard ML (Revised and Expanded)
David Swasey, Tom Murphy VII, Karl Crary, Robert Harper
Abstract, .ps, .pdf

CMU-CS-06-105
From Physical Modeling to Scientific Understanding - An End-to-End Approach to Parallel Supercomputing
Tiankai Tu, Hongfeng Yu, Leonardo Ramirez-Guzman, Jacobo Bielak, Omar Ghattas, Kwan-Liu Ma, David R. O'Hallaron
Abstract, .ps, .pdf

CMU-CS-06-106
New Techniques for Private Stream Searching
John Bethencourt, Dawn Song, Brent Waters
Abstract, .ps, .pdf

CMU-CS-06-107
Routing Without Regret: On Convergence to Nash Equilibria of Regret-Minimizing Algorithms in Routing Games
Avrim Blum, Eyal Even-Dar, Katrina Ligett
Abstract, .ps, .pdf

CMU-CS-06-108
Theory and Techniques for Automatic Generation of Vulnerability-Based Signatures
David Brumley, James Newsome, Dawn Song, Hao Wang, Somesh Jha
Abstract, .pdf

CMU-CS-06-109
DiscoTect: A System for Discovering the Architectures of Running Programs using Colored Petri Nets
Bradley Schmerl, Jonathan Aldrich, David Garlan, Rick Kazman, Hong Yan
Abstract, .pdf

CMU-CS-06-110
An Asymptotically Optimal Algorithm for the Max k-Armed Bandit Problem
Matthew J. Streeter, Stephen F. Smith
Abstract, .ps, .pdf

CMU-CS-06-111
An Analysis of Graph Coloring Register Allocation
David Koes, Seth Copen Goldstein
Abstract, .ps, .pdf

CMU-CS-06-112
Modal Types for Mobile Code (Thesis Proposal)
Tom Murphy VII
Abstract, .pdf

CMU-CS-06-113
On Consistency of Encrypted Files
Alina Oprea, Michael K. Reiter
Abstract, .pdf

CMU-CS-06-114
OverDoSe: A Generic DDoS Protection Service Using an Overlay Network
Elaine Shi, Ion Stoica, David Andersen, Adrian Perrig
Abstract, .ps, .pdf

CMU-CS-06-115
Kinetic Algorithms via Self-Adjusting Computation
Umut A. Acar, Guy E. Blelloch, Kanat Tangwongsan, Jorge Vittes
Abstract, .ps, .pdf

CMU-CS-06-116
Simultaneous Scalability and Security for Data-Intensive Web Applications
Amit Manjhi, Anastassia Ailamaki, Bruce M. Maggs, Todd C. Mowry, Christopher Olston, Anthony Tomasic
Abstract, .ps, .pdf

CMU-CS-06-117
Fundamental Characteristics of Queues with Fluctuating Load
Varun Gupta, Mor Harchol-Balter, Alan Scheller-Wolf, Uri Yechiali
Abstract, .ps, .pdf

CMU-CS-06-118
Unpublished

CMU-CS-06-119
Unpublished

CMU-CS-06-120
Simplifying Cyber Foraging
Rajesh Krishna Balan
Abstract, .ps, .pdf

CMU-CS-06-121
Building Reliable Metaclassifiers for Text Learning
Paul N. Bennett, Ph.D. Thesis
Abstract, .ps, .pdf

CMU-CS-06-122
Network Monitoring and Diagnosis Based on Available Bandwidth Measurement
Ningning Hu, Ph.D. Thesis
Abstract, .ps, .pdf

CMU-CS-06-123
Dimorphic Computing
H. Andres Lagar-Cavilla, Niraj Tolia, Rajesh Balan, Eyal de Lara,
M. Satyanarayanan, David O'Hallaron
Abstract, .pdf

CMU-CS-06-124
Fast Nonparametric Machine Learning Algorithms for High-dimensional Massive Data and Applications
Ting Liu, Ph.D. Thesis
Abstract, .ps, .pdf

CMU-CS-06-125
The RADAR Test Methodology: Evaluating a Multi-Task Machine Learning System with Humans in the Loop
Aaron Steinfeld, Rachael Bennett, Kyle Cunningham, Matt Lahut, Pablo-Alejandro Quinones, Django Wexler, Daniel P. Siewiorek, Paul Cohen, Julie Fitzgerald, Othar Hansson, Jordan Hayes, Mike Pool, Mark Drummond
Abstract, .pdf
Also appears as CMU-HCII-06-102

CMU-CS-06-126
Advanced Tools for Video and Multimedia Mining
Jia-Yu Pan, Ph.D. Thesis
Abstract, .ps, .pdf

CMU-CS-06-127
Unpublished

CMU-CS-06-128
Scalable Consistency Management for Web Database Caches
Charles Garrod, Amit Manjhi, Anastassia Ailamakiii, Phil Gibbons, Bruce Maggs, Todd Mowry, Christopher Olston, Anthony Tomasic
Abstract, .ps, .pdf

CMU-CS-06-129
Symmetric Public/Subscribe via Constraint Publication
Anthony Tomasic, Charles Garrod, Kris Popendorf
Abstract, .ps, .pdf
Superceded by CMU-CS-06-129R

CMU-CS-06-129R
Symmetric Public/Subscribe via Constraint Publication
Anthony Tomasic, Charles Garrod, Kris Popendorf
Abstract, .ps, .pdf

CMU-CS-06-130
Learning Others' Calendars
Akiva Leffert, Senior Honors Thesis
Abstract, .pdf

CMU-CS-06-131
Learning Abstractions for Model Checking
Anubhav Gupta, Ph.D. Thesis
Abstract, .ps, .pdf

CMU-CS-06-132
Sparse Voronoi Refinement
Benoît Hudson, Gary Miller, Todd Phillips
Abstract, .ps, .pdf

CMU-CS-06-133
Please see CMU-CS-06-104R

CMU-CS-06-134
Unpublished

CMU-CS-06-135
Anonymous Multi-Attributed Encryption with Range Query and Conditional Decryption
John Bethencourt, Tsz-Hong Hubert Chan, Adrian Perrig, Elaine Shi, Dawn Song
Abstract, .ps, .pdf

CMU-CS-06-136
Towards Automatically Eliminating Integer-Based Vulnerabilities
David Brumley, Dawn Song, Joseph Slember
Abstract, .ps, .pdf

CMU-CS-06-137
Unpublished

CMU-CS-06-138
Unpublished

CMU-CS-06-139
Invalidation Clues for Database Scalability Services
Amit Manjhi, Phillip B. Gibbons, Anastassia Ailamaki, Charles Garrod, Bruce M. Maggs, Todd C. Mowry, Christopher Olston, Anthony Tomasic, Haifeng Yu
Abstract, .pdf

CMU-CS-06-140
Multi-Splay Trees
Chengwen Chris Wang, Ph.D. Thesis
Abstract, .ps, .pdf

CMU-CS-06-141
Unpublished

CMU-CS-06-142
Detection of Spatial and Spatio-Temporal Clusters
Daniel B. Neill, Ph.D. Thesis
Abstract, .ps, .pdf

CMU-CS-06-143
Static Enforcement of Timing Policies Using Code Certification
C. Joseph Vanderwaart, Ph.D. Thesis
Abstract, .pdf

CMU-CS-06-144
Modeling the Global Critical Path in Concurrent Systems
Girish Venkataramani, Tiberiu Chelcea, Mihai Budiu, Seth Goldstein
Abstract, .pdf

CMU-CS-06-145
Computational Aspects of Preference Aggregation
Vincent Conitzer, Ph.D. Thesis
Abstract, .ps, .pdf

CMU-CS-06-146
No-Compromise Caching of Dynamic Content from Relational Databases
Niraj Tolia, M. Satyanarayanan
Abstract, .pdf

CMU-CS-06-147
Unpublished

CMU-CS-06-148
Really Truly Trackerless BitTorrent
Charles P. Fry, Michael K. Reiter
Abstract, .ps, .pdf

CMU-CS-06-149
Privacy-Preserving Distributed Information Sharing
Lea Kissner, Ph.D. Thesis
Abstract, .pdf

CMU-CS-06-150
JASPER: Facilitating Software Maintenance Activities With Explicit Task Representations
Michael J. Coblenz, M.S. Thesis
Abstract, .pdf
Also appears as CMU-HCII-06-107.pdf

CMU-CS-06-151
Unpublished

CMU-CS-06-152
Unpublished

CMU-CS-06-153
Unpublished

CMU-CS-06-154
Don't Secure Routing Protocols, Secure Data Delivery
Dan Wendlandt, Ioannis Avramopoulos, David G. Andersen, Jennifer Rexford
Abstract, .pdf

CMU-CS-06-155
Nogood Learning for Mixed Integer Programming
Tuomas Sandholm, Rob Shields
Abstract, .pdf

CMU-CS-06-156
Strongly History Independent Hashing with Deletion
Guy E. Blelloch, Daniel Golovin
Abstract, .ps, .pdf

CMU-CS-06-157
Reducing the Search Space for Physically Realistic Human Motion Synthesis
Alla Safonova, Ph.D. Thesis
Abstract, .pdf

CMU-CS-06-158
To Carry or To Find? Footloose on the Internet with a zero-pound laptop
M. Satyanarayanan, Benjamin Gilbert, Niraj Tolia, H. Andres Lagar-Cavilla, Ajay Surie, Partho Nath, Adam Wolbach, Jan Harkes, Matt Toups, Michael A. Kozuch, Casy J. Helfrich, David R. O'Hallaron, Adrian Perrig, David J. Farber
Abstract, .pdf

CMU-CS-06-159
Temporal-logics as Query Languages for Dynamic Bayesian Networks: Application to D. melanogaster Embryo Development
Christopher J. Langmead, Sumit K. Jha, Edmund M. Clarke
Abstract, .pdf

CMU-CS-06-160
Free Energy Estimates of All-atom Protein Structures Using Generalized Belief Propagation
Hetunandan Kamisetty, Eric P. Xing, Christopher James Langmead
Abstract, .pdf

CMU-CS-06-161
Evaluating Data Driven Character Animation
Paul S. A. Reitsma, Ph.D. Thesis
Abstract, .pdf

CMU-CS-06-162
The Focused Inverse Method for Linear Logic
Kaustav Chaudhuri, Ph.D. Thesis
Abstract, .pdf

CMU-CS-06-163
The Cult of the Bound Variable: The 9^th Annual ICFP Programming Contest
Tom Murphy VII, Daniel Spoonhower, Chris Casinghino, Daniel R. Licata, Kary Crary, Robert Harper
Abstract, .pdf

CMU-CS-06-164
Using Physical Layer Emulation to Understand and Improve Wireless Networks
Glenn Judd, Ph.D. Thesis
Abstract, .ps, .pdf

CMU-CS-06-165
Unpublished

CMU-CS-06-166
Robust Planning in Domains with Stochastic Outcomes, Adversaries, and Partial Observability
Hugh Brendan McMahan, Ph.D. Thesis
Abstract, .pdf

CMU-CS-06-167
Integrity Checking in Cryptographic File Systems with Constant Trusted Storage
Alina Oprea, Michael K. Reiter
Abstract, .pdf

CMU-CS-06-168
A Consistent Semantics of Self-Adjusting Computation
Umut A. Acar, Matthias Blume, Jacob Donham
Abstract, .pdf

CMU-CS-06-169
Abstraction Techniques for Parameterized Verification
Muralidhar Talupur, Ph.D. Thesis
Abstract, .pdf

CMU-CS-06-170
Space and Context in the Rodent Hippocampal Region
Mark C. Fuhs, Ph.D. Thesis
Abstract, .pdf
CMU-CS-06-171
Motivating Programming: Using Storytelling to Make Computer Programming Attractive to Middle School Girls
Caitlin Kelleher, Ph.D. Thesis
Abstract, .pdf
Also appears as CMU-HCII-06-110

CMU-CS-06-172
Deriving Key Distribution Protcols and their Security Properties
Iliano Cervesato, Catherine Meadows, Dusko Pavlovic
Abstract, .pdf

CMU-CS-06-173
Unpublished

CMU-CS-06-174
Unpublished

CMU-CS-06-175
Statistical Analysis of Natural Human Motion for Animation
Liu Ren, Ph.D. Thesis
Abstract, .pdf

CMU-CS-06-176
Trust Establishment for Transient Use of Unmanaged Hardware
Ajay Surie, Adrian Perrig, M. Satyanarayanan, David Farber
Abstract, .pdf

CMU-CS-06-177
Interactive Search of Adipocytes in Large Collections of Digital Cellular Images
Adam Goode, Mei Chen, Anil Tarachandani, Lily Mummert, Rahul Sukthankar, Casey Helfrich, Alice Stefanni, Limor Fix, Jeffrey Saltzman, M. Satyanarayanan
Abstract, .pdf

CMU-CS-06-178
Combining Structural Subtyping and External Dispatch
Donna Malayeri, Jonathan Aldrich
Abstract, .pdf

CMU-CS-06-179
Instance-Based Question Answering
Lucian Vlad Lita, Ph.D. Thesis
Abstract, .ps .pdf

CMU-CS-06-180
Alias Analysis for Assembly
David Brumley, James Newsome
Abstract, .ps .pdf
Superceded by CMU-CS-06-180R

CMU-CS-06-180R
Alias Analysis for Assembly
David Brumley, James Newsome
Abstract, .ps .pdf

CMU-CS-06-181
Real-Time Motion Planning and Safe Navigation in Dynamic Multi-Robot Environments
James Robert Bruce, Ph.D. Thesis
Abstract, .pdf

CMU-CS-06-182
Handling Diverse Information Sources: Prioritized Multi-Hypothesis World Modeling
Paul E. Rybski, Manuela M. Veloso
Abstract, .pdf

Return to: SCS Technical Report Collection