Doctoral Degrees Conferred Search Academic Year: 2006-2007 Name Thesis Advisor(s) Thesis Title 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 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 Pagination First page « First Previous page ‹ Previous … Page 5 Page 6 Current page 7 Page 8 Page 9 … Next page Next › Last page Last » Academics 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 Ph.D. Advisors Doctoral Degrees Conferred Other SCS Doctoral Programs Student Resources Thesis Repositories SCS Technical Reports Kilthub Proquest (requires CMU login)
