Technical Reports by Author
Theses by Author

CMU-CS-04-100
Daniel Kroening, Joël Ouaknine, Sanjit Seshia, Ofer Strichman
Abstraction-based Satisfiability Solving of Presburger Arithmetic
Abstract, .ps, .pdf

CMU-CS-04-101
Diffusion Kernels on Statistical Manifolds
John Lafferty, Guy Lebanon
Abstract, .ps, .pdf

CMU-CS-04-102
Measuring a System's Attack Surface
Pratyusa Manadhata, Jeannette M. Wing
Abstract, .ps, .pdf

CMU-CS-04-103
Inter-Iteration Scalar Replacement in the Presence of Conditional Control-Flow
Mihai Budiu, Seth Copen Goldstein
Abstract, .ps, .pdf

CMU-CS-04-104
Foundational Typed Assembly Language for Grid Computing
Joseph C. Vanderewaart, Karl Crary
Abstract, .ps, .pdf

CMU-CS-04-105
A Symmetric Modal Lambda Calculus for Distributed Computing
Tom Murphy VII, Karl Crary, Robert Harper, Frank Pfenning
Abstract, .ps, .pdf

CMU-CS-04-106
Unavailable to date

CMU-CS-04-107
The Supply Chain Management Game for the Trading Agent Competition 2004
Raghu Arunachalam, Norman Sadeh, Joakim Eriksson, Niclas Finne
Abstract, .pdf

CMU-CS-04-108
A Statistical Approach to Algorithmic Analysis of High-Dimensional Nearest-Neighbor Search
Alexander Gray
Abstract, .ps, .pdf

CMU-CS-04-109
Drug Screening by Nonparametric Posterior Estimation
Alexander Gray
Abstract, .ps, .pdf

CMU-CS-04-110
Fast Kernel Matrix-Vector Multiplication with Application to Gaussian Process Learning
Alexander Gray
Abstract, .ps, .pdf

CMU-CS-04-111
Unpublished

CMU-CS-04-112
An Adaptive Threshold-Based Policy for Sharing Servers with Affinities
Takayuki Osogami, Mor Harchol-Balter, Alan Scheller-Wolf, Li Zhang
Abstract, .ps, .pdf

CMU-CS-04-113
Privtrans: Automatically Partitioning Programs for Privilege Separation
David Brumley, Dawn Song
Abstract, .ps, .pdf

CMU-CS-04-114
MMSS: Graph-based Multi-modal Story-oriented Video Summarization and Retrieval
Jia-Yu Pan, Hyungjeong Yang, Christos Faloutsos
Abstract, .ps, .ps.gz, .pdf

CMU-CS-04-115
Kernel Conditional Random Fields: Representation, Clique Selection, and Semi-Supervised Learning
John Lafferty, Yan Liu, Xiaojin Zhu
Abstract, .ps, .pdf

CMU-CS-04-116
Incremental Detection of Text on Road Signs
Wen Wu, Xilin Chen, Jie Yang
Abstract, .ps, .pdf

CMU-CS-04-117
Tridirectional Typechecking
J. Dunfield, Frank Pfenning
Abstract, .ps, .pdf
Superseded by CMU-CS-04-117R

CMU-CS-04-117R
Tridirectional Typechecking
Jana Dunfield, Frank Pfenning
Abstract, .ps, .pdf
Supersedes CMU-CS-04 -117

CMU-CS-04-118
New Event Detection with Nearest Neighbor, Support Vector Machines, and Kernel Regression
Jain Zhang, Yiming Yang, Jaime Carbonell
Abstract, .ps, .pdf

CMU-CS-04-119
Decentralized Recovery for Survivable Storage Systems
Theodore Ming-Tao Wong, Ph.D. Thesis
Abstract, .ps, .pdf

CMU-CS-04-120
Unavailable to Date

CMU-CS-04-120
Unavailable to Date

CMU-CS-04-121
Finding (Recently) Frequent Items in Distributed Data Streams
Amit Manjhi, Vladislav Shkapenyuk, Kedar Dhamdhere, Christopher Olston
Abstract, .ps, .pdf

CMU-CS-04-122
Scenario Graphs and Attack Graphs
Oleg Mikhail Sheyner, Ph.D. Thesis
Abstract, .ps, .pdf

CMU-CS-04-123
Locating Internet Bottlenecks: Algorithms, Measurements, and Implications
Ningning Hu, Li Erran Li, Zhuoqing Morley Mao, Peter Steenkiste, Jia Wang
Abstract, .ps, .pdf

CMU-CS-04-124
Engineering Formal Security Policies for Proof-Carrying Code
Andrew Bernard, Ph.D. Thesis
Abstract, .ps, .pdf

CMU-CS-04-125
Unavailable to Date

CMU-CS-04-126
Adaptive Demand-Driven Multicast Routing in Multi-Hop Wireless Ad Hoc Networks
Jorjeta G. Jetcheva, Ph.D. Thesis
Abstract, .ps, .pdf

CMU-CS-04-127
Unavailable to Date

CMU-CS-04-128
Compositional Transformation of Software Connectors
Bridget Spitznagel, Ph.D. Thesis
Abstract, .ps, .pdf

CMU-CS-04-129
Balance Refinement of Massive Linear Octree Datasets
Tiankai Tu, David R. O'Hallaron
Abstract, .ps, .pdf

CMU-CS-04-130
Recovering Latent Time-Series from their Observed Sums: Network Tomography with Particle Filters
Edoardo Airoldi, Christos Faloutsos
Abstract, .ps, .pdf

CMU-CS-04-131
Checking Consistency of C and Verilog using Predicate Abstraction and Induction
Edmund Clarke, Daniel Kroening
Abstract, .ps, .pdf

CMU-CS-04-132
Planning in the JAVELIN QA System
Laurie S. Hiyakumoto
Abstract, .ps, .pdf

CMU-CS-04-133
Helping Everyday Users Find Anomalies in Data Feeds
Orna Raz, Ph.D. Thesis (Software Engineering)
Abstract, .ps, .pdf

CMU-CS-04-134
Scalable and Practical Probability Density Estimators for Scientific Anomaly Detection
Dan Pelleg, Ph.D. Thesis
Abstract, .ps, .pdf

CMU-CS-04-135
Making Security Usable
Alma Whitten, Ph.D. Thesis
Abstract, Unavailable Electronically

CMU-CS-04-136
On the Communication Complexity of Correlation and Entanglement Distillation
Ke Yang, Ph.D. Thesis
Abstract, .ps, .pdf

CMU-CS-04-137
Experiments with SAT-Based Symbolic Simulation Using Reparameterization in the Abstraction Refinement Framework
Pankaj Chauhan, Edmund Clarke, Daniel Kroening
Abstract, .ps, .pdf

CMU-CS-04-138
Protein Similarity from Knot Theory: Geometric Convolution and Line Weavings
Michael A. Erdmann
Abstract, .ps.gz, .pdf

CMU-CS-04-139
Predicate Abstraction and Refinement Techniques for Verifying Verilog
Edmund Clarke, Himanshu Jain, Daniel Kroening
Abstract, .ps, .pdf

CMU-CS-04-140
Dynamic Taint Analysis for Automatic Detection, Analysis, and Signature Generation of Exploits on Commodity Software
James Newsome, Dawn Song
Abstract, .pdf

CMU-CS-04-141
A Security Study of the Internet: An Analysis of Firewall Behavior and Anonymous DNS
Hal Burck, Dawn Song
Abstract, .ps, .pdf

CMU-CS-04-142
New Streaming Algorithms for Fast Detection of Superspreaders
Shobha Venkataraman, Dawn Song, Phillip B. Gibbons, Avrim Blum
Abstract, .ps, .pdf

CMU-CS-04-143
Segway CMBalance Robot Soccer Player
Jeremy Searock, Brett Browning, Manuela Veloso
Abstract, .pdf

CMU-CS-04-144
Unavailable to Date

CMU-CS-04-145
An Expressive Verification Framework for State/Event Systems
Sagar Chaki, Edmund Clarke, Orna Grumberg, Joël Ouaknine,
Natasha Sharygina, Tayssir Touili, Helmut Veith
Abstract, .ps, .pdf

CMU-CS-04-146
On Static Readability Analysis of IP Networks
Geoffrey G. Xie, Jibin Zhan, David A. Maltz, Hui Zhang, Albert Greenberg, Gisli Hjalmtysson, Jennifer Rexford
Abstract, .ps, .pdf

CMU-CS-04-147
Unpublished

CMU-CS-04-148
Network-Aware Partitioning of Computation in Diamond
Alex Nizhner, Larry Huston, Peter Steenkiste, Rahul Sukthankar
Abstract, .ps, .pdf

CMU-CS-04-149
Unpublished

CMU-CS-04-150
Semi-Supervised Training of Models for Appearance-Based Statistical Object Detection Methods
Charles Joseph Rosenberg, Ph.D. Thesis
Abstract, .ps, .pdf

CMU-CS-04-151
Functional Programming with Names and Necessity
Aleksandar Nanevski, Ph.D. Thesis
Abstract, .ps, .pdf

CMU-CS-04-152
Mechanism Design for Computationally Limited Agents
Kate Larson, Ph.D. Thesis
Abstract, .ps, .pdf

CMU-CS-04-153
Unpublished

CMU-CS-04-154
Exploiting the Cognitive and Social Benefits of Physically Large Displays
Desney S. Tan, Ph.D. Thesis
Abstract, .ps, .pdf

CMU-CS-04-155
Selective Memoization
Umut A. Acar, Guy E. Blelloch, Robert Harper
Abstract, .ps, .pdf

CMU-CS-04-156
Unpublished

CMU-CS-04-157
Toward a Theory of Steganography
Nicholas J. Hopper, Ph.D. Thesis
Abstract, .ps, .pdf

CMU-CS-04-158
A Comparison of Overlay Routing and Multihoming Route
Aditya Akella, Jeffrey Pang, Anees Shaikh, Bruce Maggs, Srinivasan Seshan
Abstract, .ps, .pdf

CMU-CS-04-159
Defying Hardness With a Hybrid Approach
Ryan Williams
Abstract, .ps, .pdf

CMU-CS-04-160
Beyond Desktop Management: Scaling Task Management in Space and Time
João Pedro Sousa, David Garlan
Abstract, .ps, .pdf

CMU-CS-04-161
Theoretical Guarantees for Algorithms in Multi-Agent Settings
Martin Zinkevich, Ph.D. Thesis
Abstract, .ps, .pdf

CMU-CS-04-162
"Black-Box" Probabilistic Verification
Håkan L. S. Younes
Abstract, .ps, .pdf

CMU-CS-04-163
Analysis of a QBD Process that Depends on Background QBD Processes
Takayuki Osogami
Abstract, .ps, .pdf

CMU-CS-04-164
The Supply Chain Trading Agent Competition
Raghu Arunachalam, Norman M. Sadeh
Abstract, .ps (Unavailable), .pdf

CMU-CS-04-165
Learning Silhouette Features for Control of Human Motion
Liu Ren, Gregory Shakhnarovich, Jessica K. Hodgins, Hanspeter Pfister, Paul A. Viola
Abstract, .zip, .ps, .pdf

CMU-CS-04-166
Evaluation of the Haplotype Motif Model using the Principle of Minimum Description
Srinath Sridhar, Kedar Dhamdhere, Guy E. Blelloch, Ramamoorthi Ravi, Russell Schwartz
Abstract, .ps, .pdf

CMU-CS-04-167
PPDDL1.0: An Extension to PDDL for Expressing Planning Domains with Probabilistic Effects
Håkan L. S. Younes, Michael L. Littman
Abstract, .ps, .pdf

CMU-CS-04-168
Establishing the viability of End System Multicast using a Systems Approach to Protocol Design
Sanjay G. Rao, Ph.D. Thesis
Abstract, .ps, .pdf

CMU-CS-04-169
User-Powered "Context-Free" Approach to Image Retrieval
Takeo Kanade, Shingo Uchihashi
Abstract, .ps, .pdf

CMU-CS-04-170
A Distributed and Scalable Peer-to-Peer Content Discovery System Supporting Complex Queries
Jun Gao, Ph.D. Thesis
Abstract, .ps, .pdf

CMU-CS-04-171
Dynamic Optimality and Multi-Splay Trees
Daniel Dominic Sleator, Chengwen Chris Wang
Abstract, .ps, .pdf

CMU-CS-04-172
Exploiting Hierarchical Identity-Based Encryption for Access Control to Pervasive Computing Information
Urs Hengartner, Peter Steenkiste
Abstract, .ps, .pdf

CMU-CS-04-173
A Probabilistic Language based upon Sampling Functions
Sungwoo Park, Frank Pfenning, Sebastian Thrun
Abstract, .ps, .pdf

CMU-CS-04-174
Seeing-Is-Believing: Using Camera Phones for Human-Verifiable Authentication
Jonathan M. McCune, Adrian Perrig, Michael K. Reiter
Abstract, .ps, .pdf

CMU-CS-04-175
On-Demand Multicast Routing in Ad Hoc Networks with Unidirectional Links
Jorjeta G. Jetcheva, David B. Johnson
Abstract, .ps, .pdf

CMU-CS-04-176
A Performance Comparison of On-Demand Multicast Routing Protocols for Ad Hoc Networks
Jorjeta G. Jetcheva, David B. Johnson
Abstract, .ps, .pdf

CMU-CS-04-177
Distributed Control Flow with Classical Modal Logic
Tom Murphy VII, Karl Crary, Robert Harper
Abstract, .ps, .pdf

CMU-CS-04-178
Motion Estimation from Image and Inertial Measurements
Dennis W. Strelow, Ph.D. Thesis
Abstract, .ps, .pdf

CMU-CS-04-179
On Solving Boolean Combinations of Generalized 2SAT Constraints
Sanjit A. Seshia, K. Subramani, Randal E. Bryant
Abstract, .ps, .pdf

CMU-CS-04-180
Unpublished

CMU-CS-04-181
Person Tracking From a Dynamic Balancing Platform
Dinesh Govindaraju, Brett Browning, Manuela Veloso
Abstract, .pdf

CMU-CS-04-182
Private and Threshold Set-Intersection
Lea Kissner, Dawn Song
Abstract, .ps, .pdf

CMU-CS-04-183
802.11 Power Management Extensions to Monarch ns
John Dorsey, Dan Siewiorek
Abstract, .ps.gz, .pdf

CMU-CS-04-184
Unpublished

CMU-CS-04-185
Unpublished

CMU-CS-04-186
Building Self-configuring Services Using Service-specific Knowledge
An-Cheng Huang, Ph.D. Thesis
Abstract, .ps, .pdf

CMU-CS-04-187
Using FIRE & ICE for Detecting and Recovering Compromised Nodes in Sensor Networks
Arvind Seshadri, Mark Luk, Adrian Perrig, Leendert van Doorn, Pradeep Khosla
Abstract, .ps, .pdf

CMU-CS-04-188
Unpublished

Return to: SCS Technical Report Collection