Doctoral Degrees Conferred Search Academic Year: 2009-2010 Name Thesis Advisor(s) Thesis Title David Ryan Koes Seth Copen Goldstein Towards a More Principled Compiler: Register Allocation and Instruction Selection Revisited Manfred Chung Man Lau James Kauffner Modeling Behavior and Variation for Crowd Animation Katrina Ligett Avrim Blum A Learning Perspective on Selfish Behavior in Games Donna Malayeri Jonathan Aldrich Coding Without Your Crystal Ball: Unanticipated Object-Oriented Reuse Jeffrey Anson Pang Srinivasan Seshan Quantifying and Mitigating Privacy Threats in Wireless Protocols and Services 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 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 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)
