SCS Ph.D. Graduation 2019

Doctoral Degrees Conferred

Academic Year: 2008-2009
Name Thesis Advisor(s) Thesis Title
Yang Gu Manuela M. Veloso Effective Motion Tracking Using Known and Learned Actuation Models
Himanshu Jain Edmund M. Clarke Verification using Satisfiability Checking, Predicate Abstraction, and Craig Interpolation
Andreas Krause Carlos Guestrin Optimizing Sensing - Theory and Applications
Yong Lu Ziv Bar-Joseph, Roni Rosenfeld A Computational Framework for the Analysis of Multi-Species Microarray Data
Pratyusa K. Manadhata Jeannette M.Wing An Attack Surface Metric
Colin McMillen Manuela M. Veloso Thresholded-Rewards Decision Problems: Acting Effectively in Timed Domains
David T. McWherter Mor Harchol-Balter Sharing DBMS among Multiple Users while Providing Performance Isolation: Analysis and Implementation
Robert W. Reeder Lorrie Faith Cranor Expandable Grids: A User Interface Visualization Technique and a Policy Semantics to Support Fast, Accurate Security and Privacy Policy Authoring
Monica Rogati Yiming Yang, Jaime G. Carbonell Domain Adaptation of Translation Models for Multilingual Applications
Mugizi Robert Rwebangira Avrim Blum, John Lafferty Techniques for Exploiting Unlabeled Data
Susmit Sarkar Karl Crary A Practical Foundational Certified Code System
Elaine Shi Adrian Perrig Evaluating Predicates over Encrypted Data
Daniel John Spoonhower Guy E. Blelloch, Robert Harper Scheduling Deterministic Parallel Programs
Jeffrey S. Stylos Brad A. Myers Making APIs More Usable with Improved API Designs, Documentation and Tools
Tiankai Tu David R. O'Hallaron A Scalable Database Approach to Computing Delaunay Triangulations
Virginia Vassilevska Guy Blelloch Efficient Algorithms for Path Problems in Weighted Graphs
Shobha Venkataraman Avrim Blum, Dawn Song Traffic Analysis for Network Security using Learning Theory and Streaming Algorithms
Noam Zeilberger Peter Lee, Frank Pfenning The Logical Basis of Evaluation Order and Pattern-Matching
Academic Year: 2007-2008
Name Thesis Advisor(s) Thesis Title
Jernej Barbič Doug James Real-time Reduced Large-deformation Models and Distributed Contact for Computer Graphics and Haptics
Sofia C.F.M. Cavaco Michael Lewicki Statistical Modeling and Synthesis of Intrinsic Structures in Impact Sounds
T.-H. Hubert Chan Anupam Gupta Approximation Algorithms for Bounded Dimensional Metric Spaces
Jana Clara Dunfield Frank Pfenning A Unified System of Type Refinements
Benoît Hudson Gary L. Miller Dynamic Mesh Refinement
Yan Karklin Michael Lewicki Hierarchical Statistical Models of Computation in the Visual System
Yan Ke Martial Hebert, Rahul Sukthankar Volumetric Features for Video Event Detection
Amit Manjhi Bruce M. Maggs, Todd C. Mowry, Christopher Olston Increasing the Scalability of Dynamic Web Applications
Tom Murphy VII Robert W. Harper, Karl Crary Modal Types for Mobile Code
Sandeep Pandey Christopher Olston Information Mediation in the Presence of Constraints and Uncertainties
Francisco Pereira Tom Mitchell Beyond Brain Blobs: Machine Learning Classifiers as Instruments for Analyzing Functional Magnetic Resonance Imaging Data
Vahe V. Poladyan Mary Shaw, David Garlan Tailoring Configuration to User’s Tasks under Uncertainty
Brian Potetz Tai Sing Lee Efficient Statistical Methods for 3D Shape Inference
Minglong Shao Anastasia Ailamaki Efficient Data Organization and Management on Heterogeneous Storage Hierarchies
Srinath Sridhar Guy E. Blelloch, Russell Schwartz Algorithms for Analyzing Intraspecific Sequence Variation
Matthew Streeter Stephen F. Smith Using Online Algorithms to Solve NP-Hard Problems More Efficiently in Practice
Jimeng Sun Christos Faloutsos Incremental Pattern Discovery on Streams, Graphs and Tensors
Christopher D. Twigg Doug L. James Controlling Multibody Dynamics via Browsing and Time Reversal
Douglas L. Vail John D. Lafferty, Manuela M. Veloso Conditional Random Fields for Activity Recognition
R. Ryan Williams Manuel Blum Algorithms and Resource Requirements for Fundamental Problems
Elly Zoe Winner Manuela M. Veloso Learning Domain-Specific Planners From Example Plans
Hua Zhong Takeo Kanade Image Guided Navigation for Minimally Invasive Surgery
Academic Year: 2006-2007
Name Thesis Advisor(s) Thesis Title
Rajesh Krishna Balan Mahadev Satyanarayanan Simplifying Cyber Foraging
Dan Bohus Alexander Rudnicky, Roni Rosenfeld Error Awareness and Recovery in Conversational Spoken Language Interfaces
James Robert Bruce Manuela Veloso Real-Time Motion Planning and Safe Navigation in Dynamic Multi-Robot Environments
Kaustuv Chaudhuri Frank Pfenning The Focused Inverse Method for Linear Logic
Pankaj P. Chauhan Edmund Clarke Verification of Large Industrial Circuits Using SAT Based Reparameterization and Automated Abstraction-Refinement
Vincent Conitzer Tuomas Sandholm Computational Aspects of Preference Aggregation
Carol Frieze Lenore Blum The Critical Role of Culture and Environment as Determinants of Women's Participation in Computer Science
Mark C. Fuhs David Touretzky Space and Context in the Rodent Hippocampal Region
Anubhav Gupta Edmund Clarke Learning Abstractions for Model Checking
Rose Hoberman Dannie Durand A Statistical Framework for Spatial Comparative Genomics
Glenn Judd Peter Steenkiste Using Physical Layer Emulation to Understand and Improve Wireless Networks
Caitlin Kelleher Randy Pausch Motivating Programming: Using Storytelling to make Computer Programming Attractive to Middle School Girls
Lea Kissner Dawn Song Privacy-Preserving Distributed Information Sharing
Ioannis Koutis Gary Miller Combinatorial and Algebraic Tools for Optimal Multilevel Algorithms
Lucian Vlad Lita Jaime Carbonell Instance-Based Question Answering
Hugh Brendan McMahan Geoffrey Gordon, Avrim Blum Robust Planning in Domains with Stochastic Outcomes, Adversaries, and Partial Observability
Daniel B. Neill Andrew Moore Detection of Spatial and Spatio-Temporal Clusters
Alina Mihaela Oprea Michael Reiter Efficient Cryptographic Techniques for Securing Storage Systems
Paul S. A. Reitsma Nancy Pollard Evaluating Data Driven Character Animation
Liu Ren Jessica Hodgins Statistical Analysis of Natural Human Motion for Animation
Alla Safonova Jessica Hodgins Reducing the Search Space for Physically Realistic Human Motion Synthesis
Craig Soules Gregory Ganger Using Context to Assist in Personal File Retrieval
Muralidhar Talupur Edmund Clarke Abstraction Techniques for Parameterized Verification
C. Joseph Vanderwaart Karl Crary Static Enforcement of Timing Policies Using Code Certification
Chengwen Chris Wang Daniel Sleator Multi-Splay Trees
Adam Wierman Mor Harchol-Balter Scheduling for Today's Computer Systems: Bridging Theory and Practice
Academic Year: 2005-2006
Name Thesis Advisor(s) Thesis Title
Aditya Akella Srinivasan Seshan Endpoint-Based Routing Strategies for Improving Internet Performance and Resilience
Paul N. Bennett Jaime Carbonell, John Lafferty Building Reliable Metaclassifiers for Text Learning
Daniel K. Blandford Guy Blelloch Compact Data Structures with Fast Queries
Shuchi Chawla Avrim Blum Graph Algorithms for Planning and Partitioning
Shimin Chen Anastassia Ailamaki, Todd Mowry Redesigning Database Systems in Light of CPU Cache Prefetching
Christopher B. Colohan Todd Mowry, Anastassia Ailamaki Applying Thread Level Speculation to Database Transactions
Kedar Dhamdhere Guy Blelloch, R. Ravi Approximation Algorithms for Metric Embedding Problems
Stavros Harizopoulos Anastassia Ailamaki Staged Database Systems
Urs Hengartner Peter Steenkiste Access Control to Information in Pervasive Computing Environments