Doctoral Degrees Conferred Search Academic Year: 2010-2011 Name Thesis Advisor(s) Thesis Title Stephen Magill Peter Lee Instrumentation Analysis: An Automated Method for Producing Numeric Abstractions of Heap-Manipulating Programs James Lewis McCann Nancy S. Pollard Image Editing and Creation with Perception-Motivated Local Features Aaron Roth Avrim Blum New Algorithms for Preserving Differential Privacy Vyas Sekar Michael K. Reiter, Hui Zhang Effective Network Management via System-Wide Coordination and Optimization Shafeeq Sinnamohideen Gregory R. Ganger Reusing Migration to Simply and Efficiently Implement Multi-server Operations in Transparently Scalable Storage Systems Yi Wu Ryan O’Donnell The Approximability of Learning and Constraint Satisfaction Problems Hong Yan Hui Zhang A Practical System for Centralized Network Control Academic Year: 2009-2010 Name Thesis Advisor(s) Thesis Title David John Abraham R. Ravi Matching Markets: Design and Analysis Doru Cristian Balcan Michael S. Lewicki Efficient and Robust Signal Approximations Haowen Chan Adrian Perrig Authenticated Communication and Computation in Known-Topology Networks with a Trusted Authority Michael De Rosa Seth Goldstein, Peter Chan Locally Distributed Predicates: A Technique for Distributed Programming Jonathan Carlyle Derryberry Daniel Sleator, Chengwen Chris Wang Adaptive Binary Search Trees Deepak Garg Frank Pfenning Proof Theory for Authorization Logic and Its Application to a Practical File System Lie Gu Takeo Kanade Robust Object Alignment Nikolaos Hardavellas Babak Falsafi, Anastasia Ailamaki Chip Multiprocessors for Server Workloads James Hays Alexei A. Efros Large Scale Scene Matching for Graphics and Vision James Hendricks Gregory R. Ganger, Michael K. Reiter Efficient Byzantine Fault Tolerance for Scalable Storage and Services Laura M. Hiatt Reid Simmons Probabilistic Plan Management Rebecca A. Hutchinson Tom M. Mitchell Hidden Process Models Ryan Christopher Kelly Tai Sing Lee Statistical Modeling of Spiking Activity in Large Scale Neuronal Networks 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 Pagination First page « First Previous page ‹ Previous … Page 3 Page 4 Current page 5 Page 6 Page 7 … 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)
