Doctoral Degrees Conferred Search Academic Year: 2007-2008 Name Thesis Advisor(s) Thesis Title 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 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 Pagination First page « First Previous page ‹ Previous … Page 4 Page 5 Current page 6 Page 7 Page 8 … Next page Next › Last page Last » Academics Current Semester Courses Upcoming Semester Courses Fall 2025 Courses Schedule of Classes Undergraduate Catalog Bachelor's Programs Master's Programs Doctoral Programs Ph.D. in Computer Science Ph.D. in ACO Ph.D. in PAL CNBC Certificate Program Ph.D. Dual Degree Portugal Doctoral - How to Apply Core CSD Advisors Degrees Conferred Other SCS Doctoral Programs Student Resources Thesis Repositories SCS Technical Reports Kilthub Proquest (requires CMU login)
