Doctoral Degrees Conferred Search Academic Year: 2013-2014 Name Thesis Advisor(s) Thesis Title Gunhee Kim Eric Xing Reconstruction and Applications of Collective Storylines from Web Photo Collections William Klieber Ed Clarke Formal Verification Using Quantified Boolean Formulas (QBF) Aapo Kyrola Guy Blelloch, Carlos Guestrin Large-scale Graph Computation on Just a PC Nan Li William Cohen, Kenneth Koedinger Integrating Representation Learning and Skill Learning in a Human-Like Intelligent Agent Jialiu Lin Jason Hong, Norman Sadeh Understanding and Capturing People's Mobile App Privacy Preferences Iulian Moraru David Andersen Egalitarian Distributed Consensus Richard Peng Gary Miller Algorithm Design Using Spectral Graph Theory Pongsin Poosankam Dawn Song Scaling Dynamic Symbolic Execution of Binary Programs for Security Applications Or Sheffet Avrim Blum Beyond Worst-Case Analysis in Privacy and Clustering: Exploiting Explicit and Implicit Assumptions Harsha Vardhan Simhadri Guy Blelloch Program-Centric Cost Models For Locality and Parallelism Jiří Šimša Randal Bryant, Garth Gibson Systematic and Scalable Testing of Concurrent Programs Academic Year: 2012-2013 Name Thesis Advisor(s) Thesis Title Leman Akoglu Christos Faloutsos Mining and Modeling Real-world Networks: Patterns, Anomalies, and Tools Khalid El-Arini Carlos Guestrin Beyond Keyword Search: Representations and Models for Personalization Dongsu Han Srinivasan Seshan Supporting Long Term Evolution in an Internet Architecture Sue Ann Hong Geoffrey Gordon Distributed Market-Based Algorithms for Multi-Agent Planning with Shared Resources Neelakantan R. Krishnaswami Stephen Brookes, John Reynolds Verifying Higher-Order Imperative Programs with Higher-Order Separation Logic Steven Okamoto Katia Sycara Allocating Virtual and Physical Flows for Multiagent Teams in Mutable, Networked Environments Swapnil Patil Garth Gibson Scale and Concurrency of Massive File System Directories Amar Phanishayee David Andersen Chaining For Flexible And High-Performance Key-Value Systems B. Aditya Prakash Christos Faloutsos Understanding and Managing Propagation on Large Neworks-Theory, Algorithms, and Models Olatunji O. Ruwase Todd Mowry Improving Device Driver Reliability through Decoupled Dynamic Binary Analysis Dafna Shahaf Carlos Guestrin Automatic Generation of Issue Maps: Structured, Interactive Outputs for Complex Information Needs Robert J. Simmons Frank Pfenning Substructural Logical Specifications Kami Vaniea Lorrie Cranor, Lujo Bauer Proximity Displays for Access Control Academic Year: 2011-2012 Name Thesis Advisor(s) Thesis Title Eric Blais Ryan O'Donnell Testing Properties of Boolean Functions Jason Douglas Franklin Anupam Datta Abstractions for Model Checking System Security Anthony Gitter Ziv Bar-Joseph Identifying the Signaling Cascades and Regulatory Mechanisms that Control Stress Responses Fan Guo Christos Faloutsos Mining and Querying Multimedia Data U Kang Christos Faloutsos Mining Tera-Scale Graphs: Theory, Engineering and Discoveries Kevin S. Killourhy Roy Maxion A Scientific Understanding of Keystroke Dynamics Ravishankar Krishnaswamy Anupam Gupta Approximation Techniques for Stochastic Combinatorial Optimization Problems Lei Li Christos Faloutsos Fast Algorithms for Mining Co-evolving Time Series Abraham Othman Tuomas Sandholm Automated Market Making: Theory and Practice Stephanie L. Rosenthal Anind Dey, Manuela M. Veloso Human-Centered Planning for Effective Task Autonomy Donald R. Sheehy Gary Miller Mesh Generation and Geometric Persistent Homology Ali Kemal Sinop Venkatesan Guruswami, Ryan O'Donnell Graph Partitioning and Semi-definite Programming Hierarchies Ronit Slyper Jessica Hodgins Sensing Through Structure Kyung-Ah Sohn Eric P. Xing Learning Ancestral Genetic Processes using Nonparametric Bayesian Models Kanat Tangwongsan Guy Blelloch, Anupam Gupta Efficient Parallel Approximation Algorithms Michael Carl Tschantz Anupam Datta, Jeannette Wing Formalizing and Enforcing Purpose Restrictions Vijay R. Vasudevan David Andersen Energy-efficient Data-intensive Computing with a Fast Array of Wimpy Nodes Matthew Wachs Greg Ganger Performance Insulation: more predictable shared storage Xin Zhang Hui Zhang, Adrian Perrig Secure and Efficient Network Fault Localization Academic Year: 2010-2011 Name Thesis Advisor(s) Thesis Title Sarah Aboutalib Manuela Veloso Multiple-Cue Object Recognition for Interactionable Objects Mukesh Agrawal Srinivasan Seshan Spare a Little Change? Towards a 5-Nines Internet in 250 Lines of Code Debabrata Dash Anastasia Ailamaki Automated Physical Design: A Combinatorial Optimization Approach Michael Dinitz Anupam Gupta Algorithms and Models for Problems in Networking Varun Gupta Mor Harchol-Balter Stochastic Models and Analysis for Resource Management in Server Farms Sumit Kumar Jha Chrisopher J. Langmead Model Validation and Discovery for Complex Stochastic Systems Hetunandan Kamichetty Chris J. Langmead, Eric P. Xing Structured Probabilistic Models of Proteins across Spatial and Fitness Landscapes Hyang-Ah Kim David R. O’Hallaron, Peter Steenkiste Privacy-Preserving Distributed, Automated Signature-Based Detection of New Internet Worms Ruy Ley-Wild Guy Blelloch Programmable Self-Adjusting Computation Daniel R. Licata Robert Harper Dependently Typed Programming with Domain-Specific Logics Xi Liu Srinivasan Seshan, Peter Steenkiste Maximizing Spatial Reuse in Indoor Environments William Lovas Frank Pfenning Refinement Types for Logical Frameworks 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 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 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)
