SCS Ph.D. Graduation 2019

Doctoral Degrees Conferred

Academic Year: 2005-2006
Name Thesis Advisor(s) Thesis Title
Ningning Hu Peter Steenkiste Network Monitoring and Diagnosis Based on Available Bandwidth Measurement
Scott Lenser Manuela Veloso On-line Robot Adaptation to Environmental Change
Maxim Likhachev Geoffrey Gordon, Sebastian Thrun Search-based Planning for Large Dynamic Environment
Ting Liu Andrew Moore Fast Nonparametric Machine Learning Algorithms for High-dimensional Massive Data and Applications
Radu Stefan Niculescu Tom Mitchell Exploiting Parameter Domain Knowledge for Learning Bayesian Networks
Takayuki Osogami Mor Harchol-Balter Analysis of Multi-server Systems via Dimensionality Reduction of Markov Chains
Jia-Yu Pan Christos Faloutsos, Howard Wactlar Advanced Tools for Video and Multimedia Mining
Spyridon Papadimitriou Christos Faloutsos Parameter-Free Spatial and Stream Mining
Sungwoo Park Frank Pfenning, Sebastian Thrun A Programming Language for Probabilistic Computation
Bianca Schroeder Mor Harchol-Balter Improving the Performance of Static and Dynamic Requests at a Busy Web Site
Luis von Ahn Manuel Blum Human Computation
Mengzhi Wang Anastassia Ailamaki Performance Modeling of Storage Devices using Machine Learning
Yinglian Xie David R. O'Halloran, Hui Zhang A Spatiotemporal Event Correlation Approach to Computer Security
Academic Year: 2004-2005
Name Thesis Advisor(s) Thesis Title
Umut A. Acar Guy Blelloch Self-adjusting Computation
Hal Burch Bruce Maggs, Gary Miller Measuring an IP Network in situ
Sagar J. Chaki Edmund Clarke A Counterexample Guided Abstraction Refinement Framework for Verifying Concurrent C Programs
Yang-hua Chu Hui Zhang Enabling Live Internet Broadcasting using an Application Endpoint Architecture
Rowan Davies Frank Pfenning Practical Refinement-Type Checking
Angela Demke Brown Todd Mowry Explicit Memory Management for Out-of-Core Applications
Derek Dreyer Robert Harper and Karl Crary Understanding and Evolving the ML Module System
Adam M. Fass Randy Pausch MessyBoard: Lowering the Cost of Communication and Making it More Enjoyable
Jun Gao Peter Steenkiste A Distributed and Scalable Peer-to-Peer Content Discovery System Supporting Complex Queries
Alex David Groce Edmund Clarke Error Explanation and Fault Localization with Distance Metrics
Nicholas J. Hopper Manuel Blum Toward a Theory of Steganography
An-Cheng Huang Peter Steenkiste Building Self-configuring Services Using Service-specific Knowledge
Kate Larson Tuomas Sandholm Mechanism Design for Computationally-Limited Agents
Aleksandar Nanevski Frank Pfenning Functional Programming with Names and Necessity
Suman Nath Srinivasan Seshan Exploiting Redundancy for Robust Sensing
Leaf Eames Petersen Robert Harper, Karl Crary Certifying Compilation for Standard ML in a Type Analysis Framework
Sanjay G. Rao Hui Zhang Establishing the viability of End System Multicast using a Systems Approach to Protocol Design
Patrick Riley Manuela Veloso Coaching: Learning and Using Environment and Agent Models for Advice
Sanjit A. Seshia Randal Bryant Adaptive Eager Boolean Encoding for Arithmetic Reasoning in Verification
João Pedro Sousa David Garlan Scaling Task Management in Space and Time: Reducing User Overhead in Ubiquitous-Computing Environments
Dennis W. Strelow Sanjiv Singh Motion Estimation from Image and Inertial Measurements
Desney S. Tan Randy Pausch Exploiting the Cognitive and Social Benefits of Physically Large Displays
Leejay Wu Christos Faloutsos Automated Modeling and Nonlinear Axis Scaling
Håkan Lorens Samir Younes Reid Simmons Verification and Planning for Stochastic Processes with Asynchronous Events
Antonia Zhai Todd Mowry Compiler Optimization of Value Communication for Thread-Level Speculation
Martin Zinkevich Avrim Blum Theoretical Guarantees for Algorithms in Multi-Agent Settings
Academic Year: 2003-2004
Name Thesis Advisor(s) Thesis Title
Nikhil Bansal Avrim Blum Algorithms for Flow Time Scheduling
Andrew Bernard Peter Lee Engineering Formal Security Policies for Proof-Carrying Code
Mihai-Dan Budiu Seth Goldstein Spatial Computation
Nathaniel D. Daw David Touretzky Reinforcement Learning Models of the Dopamine System and their Behavioral Implications
Rune Møller Jensen Manuela Veloso, Randal E. Bryant Efficient BDD-Based Planning for Non-Deterministic, Fault-Tolerant, and Adversarial Domains
Jorjeta G. Jetcheva David Johnson Adaptive Demand-Driven Multicast Routing in Multi-Hop Wireless Ad Hoc Networks
Qifa Ke Takeo Kanade A Robust Subspace Approach to Extracting Layers from Image Sequences
Geoff Langdale Thomas Gross The Effect of Profile Choice and Profile Gathering Methods on Profile-Driven Optimization Systems
Tze-Sing Eugene Ng Hui Zhang Network Support for Global-Scale Peer-to-Peer Systems
Dan Pelleg Andrew Moore Scalable and Practical Probability Density Estimators for Scientific Anomaly Detection
Brigitte Pientka Frank Pfenning Tabled Higher-order Logic Programming
Charles Joseph Rosenberg Martial Hebert, Sebastian Thrun Semi-Supervised Training of Models for Appearance-Based Statistical Object Detection Methods
Oleg Mikhail Sheyner Jeannette Wing Scenario Graphs and Attack Graphs
Bridget Spitznagel David Garlan Compositional Transformation of Software Connectors
Kathryn Van Stone Stephen Brookes A Denotational Approach to Measuring Complexity in Functional Programs
Peter Venable John Lafferty Modeling Syntax for Parsing and Translation
Alma Whitten Doug Tygar Making Security Usable
Theodore Ming-Tao Wong Jeannette Wing Decentralized Recovery for Survivable Storage Systems
Weng-Keen Wong Andrew Moore Data Mining for Early Detection of Disease Outbreaks
Ke Yang Steven Rudich On the Communication Complexity of Correlation and Entanglement Distillation
Academic Year: 2002-2003
Name Thesis Advisor(s) Thesis Title
Michael Bowling Manuela Veloso Multiagent Learning in the Presence of Agents with Limitations
Eli Underhill Brandt Roger Dannenberg Computer Music Programming with Temporal Type Constructors
Shawn A. Butler Mary Shaw Security Attribute Evaluation Method
Scott Davies Andrew Moore Fast Factorized Density Estimation and Compression with Bayesian Networks
Alexander G. Gray Andrew Moore Bringing Tractability to Generalized N-Body Problems in Statistical and Scientific Computation
Aaron Greenhouse William Scherlis, Thomas Gross A Programmer-Oriented Approach to Safe Concurrency
Yih-Chun Hu David Johnson Enabling Secure High-Performance Wireless Ad Hoc Networking
Shyjan Mahamud Martial Hebert, Reid Simmons Discriminative Distance Measures for Object Detection
Dimitris Margaritis Sebastian Thrun Learning Bayesian Network Model Structure from Data
Michael Mateas Jaime Carbonell, Joseph Bates Interactive Drama, Art and Artificial Intelligence
Mark Moll Michael Erdmann Shape Reconstruction Using Active Tactile Sensors
Dushyanth Narayanan M. Satyanarayanan Operating System Support for Mobile Interactive Applications
J. Gregory Steffan Todd Mowry Hardware Support for Thread-Level Speculation
James D Thomas Katia Sycara News and Trading Rules
William T. B. Uther Manuela Veloso Tree Based Hierarchical Reinforcement Learning
Academic Year: 2001-2002
Name Thesis Advisor(s) Thesis Title
Sergey Berezin Edmund Clarke Model Checking and Theorem Proving: A Unified Framework