Doctoral Degrees Conferred Search Academic Year: 2015-2016 Name Thesis Advisor(s) Thesis Title Dana Movshovitz-Attias William Cohen Grounded Knowledge Bases for Scientific Domains Yair Movshovitz-Attias Takeo Kanade, Yaser Sheikh Dataset Curation through Renders and Ontology Matching Jakub Pachocki Gary Miller Graphs and Beyond: Faster Algorithms for High Dimensional Convex Optimization Michael K. Papamichael James Hoe Pandora: Facilitating IP Development for Hardware Specialization Wolfgang Richter Mahadev Satyanarayanan Agentless Cloud-wide Monitoring of Virtual Disk State Mehdi Samadi Manuel Blum, Manuela Veloso Facts and Reasons: Web Information Querying to Support Agents and Human Decision Making Vivek Seshadri Todd Mowry, Onur Mutlu Simple DRAM and Virtual Memory Abstractions to Enable Highly Efficient Memory Subsystems Carol Wang Venkat Guruswami, Anupam Gupta Beyond unique decoding: topics in error-correcting codes Richard Wang Srinivasan Seshan, Manuela Veloso Collecting, Analyzing, and Using Fine-Grain Sensor Data with Mobile Platforms Gabriel Leonard Weisz James Hoe CoRAM++: Supporting Data-Structure-Specific Memory Interface in FPGA Computing John Wright Ryan O'Donnell How to Learn a Quantum State Academic Year: 2014-2015 Name Thesis Advisor(s) Thesis Title Athula Balachandran Srinivasan Seshan, Vyas Sekar Large Scale Data Analytics of User Behavior for Improving Content Delivery Jeremiah Blocki Manuel Blum, Anupam Datta Usable Human Authentication: A Quantitative Treatment James Cipar Greg Ganger Trading Freshness for Performance in Distributed Systems Sam Ganzfried Tuomas Sandholm Computing Strong Game-Theoretic Strategies and Exploiting Suboptimal Opponents in Large Games Michelle Leah Goodstein Todd Mowry Dataflow Analysis-Based Dynamic Parallel Monitoring Jennifer Hyde Jessica Hodgins, Sara Kiesler Designing Animated Human Characters as Conversational Partners: The Effect of Facial Expressiveness on Social Outcomes Anvesh Komuravelli Edmund Clarke Compositional Verification with Abstraction, Learning, and SAT Solving Jayant Krishnamurthy Tom Mitchell Learning to Understand Natural Languages with Less Human Effort Seunghak Lee Eric Xing Structured Sparse Models and Algorithms for Genetic Analysis Brendan Meeder Manuel Blum, Luis Von Ahn Network Structure and its Influence on User Behavior Jamie Morgenstern Avrim Blum, Frank Pfenning Market Algorithms: Incentives, Learning, and Privacy Ankit Sharma Avrim Blum, Anupam Gupta Resource Allocation under Incentive, Information, and Complexity Constraints Julian Shun Guy Blelloch Shared Memory Parallelism Can Be Simple, Fast, and Scalable Matthew Luchak Stanton Adrien Treuille, Kayvon Fatahalian Data-Driven Methods for Interactive Simulation of Complex Phenomena Leigh Ann Sudol-DeLyser Mark Stehlik, Sharon Carver AbstractTutor: Increasing Algorithm Implementation Expertise for Novices Through Algorithmic Feedback Ekaterina Taralova Martial Hebert, Fernando De la Torre Feature Quantization and Pooling for Videos Bernardo Parente Coutinho Fernandes Toninho Frank Pfenning, Luis Caires A Logical Foundation for Session-based Concurrent Computation Yuan Zhou Venkatesan Guruswami, Ryan O'Donnell New Directions in Approximation Algorithms and Hardness of Approximation Academic Year: 2013-2014 Name Thesis Advisor(s) Thesis Title Bin Fan David G. Andersen Algorithmic Engineering Towards More Efficient Key-Value Systems Bin Fu Jaime Carbonell, Eugene Fink Algorithms for Large-Scale Astronomical Problems Anshul Gandhi Mor Harchol-Balter Dynamic Server Provisioning for Data Center Power Management Alexander Grubb J. Andrew Bagnell Anytime Prediction: Efficient Ensemble Methods for Any Computational Budget Severin Benedict Hans Hacker Roger Dannenberg Duolingo: Learning a Language While Translating the Web Ning Hu Roger Dannenberg Automatic Construction of Synthetic Musical Instruments and Performers 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 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 Current Semester Courses Upcoming Semester Courses Fall 2025 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 Core CSD Advisors Degrees Conferred Other SCS Doctoral Programs Student Resources Thesis Repositories SCS Technical Reports Kilthub Proquest (requires CMU login)
