Technical Reports by Author
Theses by Author

CMU-CS-03-100
Providing Contextual Information to Pervasive Computing Applications
Glenn Judd, Peter Steenkiste
Abstract, .ps, .pdf

CMU-CS-03-101
Acquiring Domain-Specific Planners by Example
Elly Winner, Manuela Veloso
Abstract, .ps, .pdf

CMU-CS-03-102
The DiskSim Simulation Environment: Version 3.0 Reference Manual
John S. Bucy, Gregory R. Ganger, and Contributors
Abstract, .ps, .pdf

CMU-CS-03-103
Approximation Schemes for Flow Time on Multiple Machines
Nikhil Bansal
Abstract, .ps, .pdf

CMU-CS-03-104
Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems
Edmund Clarke, Ansgar Fehnker, Zhi Han, Bruce Krogh, Joel Ouaknine, Olaf Stursberg, Michael Theobald
Abstract, .ps, .pdf

CMU-CS-03-105
Eliciting User Expectations for Data Behavior via Invariant Templates
Orna Raz, Rebecca Buchheit, Mary Shaw, Philip Koopman, Christos Faloutsos
Abstract, .ps, .pdf

CMU-CS-03-106
That's AI?: A History and Critique of the Field
Latanya Sweeney
Abstract, .ps, .pdf

CMU-CS-03-107
Adversarial Reinforcement Learning
William Uther, Manuela Veloso
Abstract, .pdf

CMU-CS-03-108
Foundational Certified Code in a Metalogical Framework
Karl Crary, Susmit Sarkar
Abstract, .ps, .pdf

CMU-CS-03-109
Finding and Containing Enemies within the Walls with Self-securing Network Interfaces
Gregory R. Ganger, Gregg Economou, Stanley M. Bielski
Abstract, .ps, .pdf

CMU-CS-03-110
Online Convex Programming and Generalized Infinitesimal Gradient Ascent
Martin Zinkevich
Abstract, .ps, .pdf

CMU-CS-03-111
Meeting the Software Engineering Challenges of Adaptive Mobile Applications
Rajesh Krishna Balan, João Sousa, Mahadev Satyanarayanan
Abstract, .ps, .pdf

CMU-CS-03-112
GEM: Graph EMbedding for Routing and Data-Centric Storage in Sensor Networks without Geographic Information
James Newsome, Dawn Song
Abstract, .ps .pdf

CMU-CS-03-113
General k-Anonymization is Hard
Adam Meyerson, Ryan Williams
Abstract, .ps, .pdf

CMU-CS-03-114
A Closed-form Solution for Mapping General Distributions to Minimal PH Distributions
Takayuki Osogami, Mor Harchol-Balter
Abstract, .ps, .pdf

CMU-CS-03-115
Online Algorithms for Network Design
Adam Meyerson
Abstract, .ps, .pdf

CMU-CS-03-116
Why Can't I Find My Files? New Methods for Automating Attribute Assigment
Craig A.N. Soules, Gregory R. Ganger
Abstract, .ps, .pdf

CMU-CS-03-117
A Boolean Approach to Unbounded, Fully Symbolic Model Checking of Timed Automata
Sanjit A. Seshia, Randal E. Bryant
Abstract, .ps, .pdf

CMU-CS-03-118
Multiagent Learning in the Presence of Agents with Limitations
Michael Bowling, Ph.D. Thesis
Abstract, .ps, .pdf

CMU-CS-03-119
Preserving Privacy by De-identifying Facial Images
Elaine Newton, Latanya Sweeney, Bradley Malin
Abstract, .ps, .ps.gz, .pdf

CMU-CS-03-120
Planning for Communication Resources
Brett Browning, Manuela Veloso
Abstract, .ps, .pdf

CMU-CS-03-121
Approximation Algorithmns for Orienteering and Discounted-Reward TSP
Avrim Blum, Shuchi Chawla, David R. Karger, Terran Lane, Adam Meyerson, Maria Minkoff
Abstract, .ps, .pdf

CMU-CS-03-122
Hardware Support for Thread-Level Speculation
J. Gregory Steffan, Ph.D. Thesis
Abstract, .ps, .pdf

CMU-CS-03-123
News and Trading Rules
James D. Thomas, Ph.D. Thesis
Abstract, .ps, .pdf

CMU-CS-03-124
Lachesis: Robust Database Storage Management Based on Device-specific Performance Characteristics
Jiri Schindler, Anastassia Ailamaki, Gregory R. Ganger
Abstract, .ps, .pdf

CMU-CS-03-125
Exposing and Exploiting Internal Parallelism in MEMS-based Storage
Steven W. Schlosser, Jiri Schindler, Anatassia Ailamaki, Gregory R. Ganger
Abstract, .ps, .pdf

CMU-CS-03-126
Behavioral Consistency of C and Verilog Programs Using Bounded Model Checking
Edmund Clarke, Daniel Kroening, Karen Yorav
Abstract, .ps, .pdf

CMU-CS-03-127
Efficient Consistency for Erasure-coded Data Via Versioning Servers
Garth R. Goodson, Jay J. Wylie, Gregory R. Ganger, Michael K. Reiter
Abstract, .ps, .pdf

CMU-CS-03-128
Programmer Specified Pointer Independence
David Koes, Mihai Budiu, Girish Venkataramani, Seth Copen Goldstein
Abstract, .ps, .pdf

CMU-CS-03-129
A Human Organization Analyogy for Self-* Systems
John D. Strunk, Gregory R. Ganger
Abstract, .ps, .pdf

CMU-CS-03-130
A Two-Tiered Software Architecture for Automated Tuning of Disk Layouts
Brandon Salmon, Eno Thereska, Craig A.N. Soules, Gregory R. Ganger
Abstract, .ps, .pdf

CMU-CS-03-131
A Judgmental Analysis of Linear Logic
Bor-Yuh Evan Chang, Kaustuv Chaudhuri, Frank Pfenning
Abstract, .ps, .pdf

CMU-CS-03-132
Security Attribute Evaluation Method
Shawn A. Butler, Ph.D. Thesis
Abstract, .ps, .pdf

CMU-CS-03-133
A Unified Framwork for Modeling TCP-Vegas, TCP-SACK, and TCP-Reno
Adam Wierman, Takayuki Osogami, Jörgen Olsén
Abstract, .ps, .pdf

CMU-CS-03-134
Uniquely Decodable n-gram Embeddings
Leonid Kontorovich
Abstract, .ps, .pdf

CMU-CS-03-135
A Programmer-Oriented Approach to Safe Concurrency
Aaron Greenhouse, Ph.D. Thesis
Abstract, .ps, .pdf

CMU-CS-03-136
Unpublished

CMU-CS-03-137
Lowering the Barriers to Programming: A Survey of Programming Environments and Languages for Novice Programmers
Caitlin Kelleher, Randy Pausch
Abstract, .ps, .pdf

CMU-CS-03-138
Maximal Lattice Overlap in Example-Based Machine Translation
Rebecca Hutchinson, Paul N. Bennett, Jaime Carbonell, Peter Jansen, Ralf Brown
Abstract, .ps, .pdf

CMU-CS-03-139
Efficient BDD-Based Planning for Non-Deterministic, Fault-Tolerant, and Adversarial Domains
Rune M. Jensen, Ph.D. Thesis
Abstract, .ps, .pdf

CMU-CS-03-140
The Inverse Method for Intuitionistic Linear Logic (The Propositional Fragment)
Kaustuv Chaudhuri
Abstract, .ps, .pdf

CMU-CS-03-141
MinMax Payoffs of a Location Game
Shuchi Chawla, Uday Rajan, Ramamoorthi Ravi, Amitabh Sinha
Abstract, .ps, .pdf

CMU-CS-03-142
Unavailable to Date

CMU-CS-03-143
Scaling Properties of the Internet Graph
Akitya Akella, Shuchi Chawla, Arvind Kannan, Srinivasan Seshan
Abstract, .ps, .pdf

CMU-CS-03-144
Enabling Secure High-Performance Wireless Ad Hoc Networking
Yih-Chun Hu, Ph.D. Thesis
Abstract, Unavailable Electronically (see abstract).

CMU-CS-03-145
Computing the Volume Element of a Family of Metrics on the Multinomial Simplex
Guy Lebanon
Abstract, .ps, .pdf

CMU-CS-03-146
Unpublished

CMU-CS-03-147
A Markov Model for the Acquisition of Morphological Structure
Leonid Kontorovich, Dana Ron, Yoram Singer
Abstract, .ps, .pdf

CMU-CS-03-148
ARA*: Formal Analysis
Maxim Likhachev, Geoff Gordon, Sebastian Thrun
Abstract, .ps, .pdf

CMU-CS-03-149
A Modal Calculus for Effect Handling
Aleksandar Nanevski
Abstract, .ps, .pdf

CMU-CS-03-150
A Denotational Approach to Measuring Complexity in Functional Programs
Kathryn Van Stone, Ph.D. Thesis
Abstract, .ps, .pdf

CMU-CS-03-151
Using SAT based Image Computation for Reachability Analysis
Pankaj Chauhan, Edmund M. Clarke, Daniel Kroening
Abstract, .ps, .pdf

CMU-CS-03-152
How Useful Is the Metaphor Component of Agile Methods? A Preliminary Study
James Tomayko, James Herbsleb
Abstract, .pdf

CMU-CS-03-153
Learning Bayesian Network Model Structure from Data
Dimitris Margaritis, Ph.D. Thesis
Abstract, .ps, .pdf

CMU-CS-03-154
A Fast Multi-Resolution Method for Detection of Significant Spatial Overdensities
Daniel B. Neill, Andrew W. Moore
Abstract, .ps, .pdf

CMU-CS-03-155
An Evolutionary Resolution to the Finitely Repeated Prisoner's Dilemma Paradox
Daniel B. Neill
Abstract, .ps, .pdf

CMU-CS-03-156
Convergence Testing in Term-Level Bounded Model Checking
Randal E. Bryant, Shuvendu K. Lahiri, Sanjit A. Seshia
Abstract, .ps, .pdf

CMU-CS-03-157
Improving Hash Join Performance through Prefetching
Shimin Chen, Anastassia Ailamaki, Phillip B. Gibbons, Todd C. Mowry
Abstract, .ps, .pdf

CMU-CS-03-158
Protecting Privacy in Key-Value Search Systems
Yinglian Xie, David O'Hallaron, Michael K. Reiter
Abstract, .ps, .pdf

CMU-CS-03-159
AutoPart: Automating Schema Design for Large Scientific Databases Using Data Partitioning
Efstratios Papadomanolakis, Anastassia Ailamaki
Abstract, .ps, .pdf

CMU-CS-03-160
Unavailable to Date

CMU-CS-03-161
Unavailable to Date

CMU-CS-03-162
Simultaneous Source Location
Konstantin Andreev, Charles Garrod, Bruce Maggs, Adam Meyerson
Abstract, .ps, .pdf

CMU-CS-03-163
A Type System for Well-Founded Recursion
Derek Dreyer, Robert Harper, Karl Crary
Abstract, .ps, .pdf

CMU-CS-03-164
A Monadic Analysis of Infomration Flow Security with Mutable State
Karl Crary, Aleksey Kliger, Frank Pfenning
Abstract, .ps, .pdf

CMU-CS-03-165
Navigating Computer Science Research Through Waves of Privacy Concerns: Discussions Among Computer Scientists at Carnegie Mellon University
Latanya Sweeney, editor
Abstract, .ps, .pdf

CMU-CS-03-166
A Bézier-Based Approach to Unstructured Moving Meshes
David Cardoze, Alexandre Cunha, Gary L. Miller, Todd Phillips, Noel Walkington
Abstract, .ps, .pdf

CMU-CS-03-167
The eXtreme Programming (XP) Metaphor and Software Architecture
James Herbsleb, David Root, James Tomayko
Abstract, .pdf

CMU-CS-03-168
Finding Lists of People on the Web
Latanya Sweeney
Abstract, .ps, .pdf

CMU-CS-03-169
Measuring Relative Attack Surfaces
Michael Howard, John Pincus, Jeannette M. Wing
Abstract, .pdf

CMU-CS-03-170
A Robotically-Augmented Walker for Older Adults
Jared Glover, David Holstius, Michael Manojlovich, Keirsten Montgomery, Aaron Powers, Jack Wu, Sara Kiesler, Judith Matthews, Sebastian Thrun
Abstract, .ps, .ps.gz, .pdf

CMU-CS-03-171
Location-based Node IDs: Enabling Explicit Locality in DHTs
Shuheng Zhou, Gregory R. Ganger, Peter Steenkiste
Abstract, .ps, .pdf

CMU-CS-03-172
Robust Subspace Computation Using L1 Norm
Qifa Ke, Takeo Kanade
Abstract, .ps, .pdf

CMU-CS-03-173
A Robust Subspace Approach to Extracting Layers from Image Sequences
Qifa Ke, Ph.D. Thesis
Abstract, .ps, .pdf

CMU-CS-03-174
The Etree Library: A System for Manipulating Large Octrees on Disk
Tiankai Tu, David R. O'Hallaron, Julio C. López
Abstract, .ps, .pdf

CMU-CS-03-175
Semi-Supervised Learning: From Gaussian Fields to Gaussian Processes
Xizojin Zhu, John Lafferty, Zoubin Chahramani
Abstract, .ps, .ps.gz, .pdf

CMU-CS-03-176
Hot DB'02 Course Project Reports: Hot Topics in Database Systems, Fall 2002
Anastassia Ailamaki, Stavros Harizopoulos, Editors
Abstract, .ps, .pdf

CMU-CS-03-177
Reinforcement Learning Models of the Dopamine System and their Behavioral Implications
Nathaniel D. Daw, Ph.D. Thesis
Abstract, .ps, .pdf

CMU-CS-03-178
Self-*Storage: Brick-based Storage with Automated Administration
Gregory R. Ganger, John D. Strunk, Andrew J. Klosterman
Abstract, .ps, .pdf

CMU-CS-03-179
Unavailable to Date

CMU-CS-03-180
Advances in Counterexample-Guilded Abstraction/Reinfinement
Edmund M. Clarke, Ofer Strichman, Editors
Abstract, .ps, .pdf

CMU-CS-03-181
Protein Similarity from Knot Theory and Geometric Convolution
Michael A. Erdmann
Abstract, .ps, .ps.gz, .pdf

CMU-CS-03-182
Unavailable to Date

CMU-CS-03-183
The Aura Software Architecture: an Infrastructure for Ubiquitous Computing
João Pedro Sousa, David Garlan
Abstract, .ps, .pdf

CMU-CS-03-184
The Trading Agent Competititon Supply Chain Management Game
Raghu Arunachalam, Norman Sadeh, Joakim Eriksson, Niclas Finner, Sverker Janson
Abstract, .pdf

CMU-CS-03-185
Tabled Higher-Order Logic Programming
Brigitte Pientka, Ph.D. Thesis
Abstract, .ps, .pdf

CMU-CS-03-186
Predicate Abstraction of ANSI-C Programs using SAT
Edmund Clarke, Daniel Kroening, Natasha Sharygina, Karen Yorav
Abstract, .ps, .pdf

CMU-CS-03-187
Byzantine-Tolerant Erasure-Coded Storage
Garth R. Goodson, Jay J. Wylie, Gregory R. Ganger, Michael K. Reiter
Abstract, .ps, .pdf

CMU-CS-03-188
Unpublished

CMU-CS-03-189
Unpublished

CMU-CS-03-190
An Examination of Remote Access Help Desk Cases
Aaron Steinfeld, Ritika Sanghi, Joseph Giampapa, Daniel Siewiorek, Katia Sycara
Abstract, .ps, .pdf

CMU-CS-03-191
A SAT-Based Algorithm for Reparameterization in Symbolic Simulation
Pankaj Chauhan, Daniel Kroening, Edmund Clarke
Abstract, .ps, .pdf

CMU-CS-03-192
A Framework for Building Unobtrusive Disk Maintenance Applications
Eno Thereska, Jiri Schindler, John Bucy, Brandon Salmon, Christopher R. Lumb, Gregory R. Ganger
Abstract, .ps, .pdf

CMU-CS-03-193
Learning to Identify TV News Monologues by Style and Context
Cees G.M. Snoek, Alexander G. Hauptmann
Abstract, .ps, .pdf

CMU-CS-03-194
Unavailable to Date

CMU-CS-03-195
The Effect of Profile Choice and Profile Gathering Methods on Profile-Driven Optimization Systems
Geoff Langdale, Ph.D. Thesis
Abstract, .ps, .pdf

CMU-CS-03-196
Revisiting Positive Equality
Shuvendu K Lahiri, Randal E. Bryant, Amit Goel, Muralidhar Talupur
Abstract, .ps, .pdf

CMU-CS-03-197
Evolutionary Dynamics with Large Aggregate Shocks
Daniel B. Neill
Abstract, .ps, .pdf

CMU-CS-03-198
Bounds on a Fair Policy with near Optimal Performance
Adam Wierman, Mor Harchol-Balter
Abstract, .ps, .pdf

CMU-CS-03-199
Simple Bounds on SMART Scheduling
Adam Wierman, Mor Harchol-Balter
Abstract, .ps, .pdf

CMU-CS-03-200
A Prototype User Interface for Coarse-Grained Desktop Access Control
A Chris Long, Courtney Moskowitz, and Greg Ganger
Abstract, .ps, .pdf

CMU-CS-03-201
How Many Servers are Best in a Dual-Priority FCFS System?
Takayuki Osogami, Adam Wierman, Mor Harchol-Balter, Alan Scheller-Wolf
Abstract, .ps, .pdf

CMU-CS-03-202
D-SPTF: Decentralized Request Distribution in Brick-based Storage
Christopher R. Lumb, Gregory R. Ganger, Richard Golding
Abstract, .ps, .pdf

CMU-CS-03-203
Balancing Locality and Randomness in DHTs
Shuheng Zhou, Gregory R. Ganger, Peter Steenkiste
Abstract, .ps, .pdf

CMU-CS-03-204
Scheduling Explicitly-speculative Tasks
David Petrou, Gregory R. Ganger, Garth A. Gibson
Abstract, .ps, .pdf

CMU-CS-03-205
Unpublished (Browning/Veloso/Rybski)

CMU-CS-03-206
Unpublished (Browning/Veloso/Rybski)

CMU-CS-03-207
On the Language Inclusion Problem for Timed Automata: Closing a Decidability Gap
Joël Ouaknine, James Worrell
Abstract, .ps, .pdf

CMU-CS-03-208
Adaptive Memoization
Umut A. Acar, Guy E. Blelloch, Robert Harper
Abstract, .ps, .pdf

CMU-CS-03-209
Algorithms for Flow Time Scheduling
Nikhil Bansal, Ph.D. Thesis
Abstract, .ps, .pdf

CMU-CS-03-210
Deciding Quantier-Free Presburger Formulas using Finite Instantiation based on Parameterized Solution Bounds
Sanjit A. Seshia, Randal E. Bryant
Abstract, .ps, .pdf

CMU-CS-03-211
Semantic Web Technologies to Reconcile Privacy and Context Awareness
Fabien L. Gandon, Normal M. Sadeh
Abstract, .pdf

CMU-CS-03-212
Unavailable to Date

CMU-CS-03-213
Analyzing the Effect of Prioritized Background Tasks in Multiserver Systems
Adam Wierman, Takayuki Osogami, Mor Harchol-Balter, Alan Scheller-Wolf
Abstract, .ps, .pdf

CMU-CS-03-214
Early Experience with an Internet Broadcast System Based on Overlay Multicast
Yang-hua Chu, Aditya Ganjam, T.S. Eugene Ng, Sanjay G. Rao, Kunwadee Sripanidkulchai, Jibin Zhan, Hui Zhang
Abstract, .pdf

CMU-CS-03-215
Efficient Support for Range Queries in DHT-based Systems
Jun Gao, Peter Steenkiste
Abstract, .ps, .pdf

CMU-CS-03-216
Modling Syntax for Parsing and Translation
Peter Venable, Ph.D. Thesis
Abstract, .ps, .ps.gz, .pdf

CMU-CS-03-217
Spatial Computation
Mihai Budiu, Ph.D. Thesis
Abstract, .ps, .pdf

CMU-CS-03-218
RPT: A Low Overhead Single-End Probing Tool for Detecting Network Congestion Positions
Ningning Hu, Peter Steenkiste
Abstract, .ps, .pdf

CMU-CS-03-219
Recasting the Feedback Debate: Benefits of Tutoring Error Detection and Correction Skills
Santosh Mathan, Ph.D. Thesis (Human-Computer Interaction)
Abstract, .ps, .pdf

CMU-CS-03-220
Efficient Constructions for One-way Hash Chains
Yih-Chun Hu, Markus Jakobsson, Adrian Perrig
Abstract, .ps, .pdf

CMU-CS-03-221
Unpublished

CMU-CS-03-222
Bringing Tractability to Generalized N-Body Problems in Statistical and Scientific Computation
Alexander G. Gray, Ph.D. Thesis
Abstract, .pdf

Return to: SCS Technical Report Collection