SCS Ph.D. Graduation 2019

Doctoral Degrees Conferred

Academic Year: 2009-2010
Name Thesis Advisor(s) Thesis Title
Todd Phillips Gary L. Miller Efficient Mesh Generation for Piecewise Linear Complexes
Jason Reed Frank Pfenning A Hybrid Logical Framework
Indrayana Rustandi Tom M. Mitchell Predictive fMRI Analysis for Multiple Subjects and Multiple Studies
Jahanzeb Sherwani Roni Rosenfeld, Alexander Rudnicky Speech Interfaces for Information Access by Low Literate Users
Justin D. Weisz Sara Kiesler, Hui Zhang Collaborative Online Video Watching
Shan Leung Woo Guy E. Blelloch, Bruce M. Maggs Heterogeneous Decomposition of Degree-Balanced Search Trees and Its Applications
Stefan Zickler Manuela Veloso Physics-Based Robot Motion Planning in Dynamic Multi-Body Environments
Academic Year: 2008-2009
Name Thesis Advisor(s) Thesis Title
Maria-Florina Balcan Avrim Blum New Theoretical Frameworks for Machine Learning
David Brumley Dawn Song Analysis and Defense of Vulnerabilities in Binary Code
Sonia Chernova Manuela M. Veloso Confidence-Based Robot Policy Learning from Demonstration
Elisabeth Crawford Manuela M. Veloso Learning to Improve Negotiation in Semi-Cooperative Agreement Problems
Charles Garrod Bruce M. Maggs, Christopher Olston Putting the "Scalability" into Database Scalability Services
Bora Cenk Gazen Jaime Carbonell Discovering Web Structure with Multiple Experts in a Clustering Framework
Andrew Gilpin Tuomas Sandholm Algorithms for Abstracting and Solving Imperfect Information Games
Daniel Golovin Guy Blelloch Uniquely Represented Data Structures with Applications to Privacy
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