Doctoral Degrees Conferred Search Academic Year: 2007-2008 Name Thesis Advisor(s) Thesis Title 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 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 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 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 Degrees Conferred Other SCS Doctoral Programs Student Resources Thesis Repositories SCS Technical Reports Kilthub Proquest (requires CMU login)
