Doctoral Degrees Conferred Search 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 Optimzation 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 Optimzation 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 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 Pagination First page « First Previous page ‹ Previous … Page 2 Page 3 Current page 4 Page 5 Page 6 … Next page Next › Last page Last » Academics Bachelor's Programs Master's Programs Doctoral Programs Ph.D. in Computer Science Ph.D. in ACO Doctoral - How to Apply Degrees Conferred Other SCS Doctoral Programs Student Resources Thesis Repositories SCS Technical Reports Kilthub Proquest (requires CMU login)