Doctoral Degrees Conferred Search Academic Year: 2019-2020 Name Thesis Advisor(s) Thesis Title Nicolas Resch Bernard Haeupler, Venkat Guruswami List-Decodable Codes: (Randomized) Constructions and Applications Yihan Sun Guy Blelloch Join-based Parallel Balanced Binary Trees Junjue Wang Mahadev Satyanarayanan Scaling Wearable Cognitive Assistance Jinliang Wei Garth Gibson, Eric Xing Scheduling for Efficient Large-Scale Machine Learning Training Huanchen Zhang David Andersen Memory-Efficient Search Trees for Database Management Systems Dong Zhou David G. Andersen Data Structure Engineering for High Performance Software Packet Processing Academic Year: 2018-2019 Name Thesis Advisor(s) Thesis Title Brandon Amos Zico Kolter Differentiable Optimization-Based Modeling for Machine Learning Joy Arulraj Andy Pavlo The Design and Implementation of a Non-Volatile Memory Database Management System Ben Blum Garth Gibson Practical Concurrency Testing or: How I Learned to Stop Worrying and Love the Exponential Explosion Se-Joon Chung Nancy Pollard Hand Pose Estimation and Prediction for Virtual Reality Applications Travis Dick Nina Balcan Machine Learning: Social Values, Data Efficiency, and Beyond Prediction Shayan Doroudi Emma Brunskill Integrating Human and Machine Intelligence for Enhanced Curriculum Design Nathan Fulton Andre Platzer Verifiably Safe Autonomy for Cyber-Physical Systems Yan Gu Guy Blelloch Write-Efficient Algorithms Zhaohan Daniel Guo Emma Brunskill Directed Exploration for Improved Sample Efficiency in Reinforcement Learning Guru Guruganesh Anupam Gupta Topics in Approximation and Online Algorithms Nika Haghtalab Avrim Blum, Ariel Procaccia Foundation of Machine Learning, by the People, for the People Yong He Kayvon Fatahalian Slang -- A Shader Compilation System for Extensible, Real-Time Shading Jin Kyu Kim Garth Gibson, Eric Xing Framework Design for Improving Computational Efficiency and Programming Productivity for Distributed Machine Learning Christian Kroer Tuomas Sandholm Large-Scale Sequential Imperfect-Information Game Solving: Theoretical Foundations and Practical Algorithms with Guarantees Stefan K. Muller Umut Acar Responsive Parallel Computation Yuzuko Nakamura Nancy Pollard Understanding and applying human grasping to artificial manipulators Jun Woo Park Greg Ganger Distribution-based cluster scheduling Vittorio Perera Manuela Veloso Language-Based Bidirectional Human And Robot Interaction Learning For Mobile Service Robot Kijung Shin Christos Faloutsos Mining Large Dynamic Graphs and Tensors Sahil Singla Manuel Blum, Anupam Gupta Combinatorial Optimization Under Uncertainty: Probing and Stopping-Time Algorithms Wennie Tabib Nathan Michael, Red Whittaker Approximate Continuous Belief Distributions for Exploration Joseph Tassarotti Robert Harper Verifying Concurrent Randomized Algorithms Colin White Maria Florina Balcan New Aspects of Beyond Worst-Case Analysis Zichao Yang Taylor Berg-Kirkpatrick, Eric Xing Incorporating Structural Bias into Neural Networks for Natural Language Processing Academic Year: 2017-2018 Name Thesis Advisor(s) Thesis Title Zhuo Chen Mahadev Satyanarayanan An Application Platform for Wearable Cognitive Assistance Jesse Dunietz Jaime Carbonell, Lori Levin Annotating and Automatically Tagging Constructions of Causal Language Siddhartha Jain Ziv Bar-Joseph Inferring Temporal Signaling Pathways and Regulatory Mechanisms from High-Throughput Data Junchen Jiang Vyas Sekar, Hui Zhang Enabling Data-Driven Optimization of Quality of Experience in Internet Applications Ashiqur Khudabukhsh Jaime Carbonell Distributed Learning in Referral Networks David Kurokawa Ariel Procaccia Algorithms in Fair Division Yixin Luo Onur Mutlu Architectural Techniques for Improving NAND Flash Memory Reliability Matthew K. Mukerjee Srinivasan Seshan Eliminating Adverse Control Plane Interactions in Independent Network Systems David Naylor Peter Steenkiste Architectural Support for Managing Privacy Tradeoffs in the Internet Ligia Nicoleta Nistor Jonathan Aldrich Object Propositions Kai Ren Garth Gibson Fast Storage for File System Metadata Shayak Sen Anupam Datta Influence-directed Explanations for Machine Learning Neil Shah Christos Faloutsos Anomaly Detection in Large Social Graphs Michael J. Sullivan Karl Crary Low-level Concurrent Programming Using the Relaxed Memory Calculus Bruno Vavala Nuno Neves, Peter Steenkiste Secure Large-Scale Outsourced Services Founded on Trustworthy Code Executions Hongyi Xin Carl Kingsford Methods for Reducing Unnecessary Computation on False Mappings in Read Mapping Shen Chen Xu Gary Miller Exponential Start Time Clustering and its Applications in Spectral Graph Theory Danny Zhu Manuela Veloso Augmented Reality Visualization for Autonomous Robots Academic Year: 2016-2017 Name Thesis Advisor(s) Thesis Title Miguel Araújo Christos Faloutsos, Pedro Ribeiro Communities and Anomaly Detection in Large Edge-Labeled Graphs John P. Dickerson Tuomas Sandholm A Unified Approach to Dynamic Matching and Barter Exchange Kristen Gardner Mor Harchol-Balter Modeling and Analyzing Systems with Redundancy Kuen-Bang Hou Robert Harper Higher-Dimensional Types in the Mechanization of Homotopy Theory Euiwoong Lee Venkatesan Guruswami Optimal Approximabilities beyond CSPs Mu Li David G. Andersen, Alexander J. Smola Scaling Distributed Machine Learning with System and Algorithm Co-design Cyrus Omar Jonathan Aldrich Reasonably Programmable Syntax Evangelos E. Papalexakis Christos Faloutsos Mining Large Multi-Aspect Data: Algorithms and Applications Gennady G. Pekhimenko Todd Mowry, Onur Mutlu Practical Data Compression for Modern Memory Hierarchies Nisarg Shah Ariel Procaccia Optimal Social Decision Making Kristina Sojakova Steven Awodey, Frank Pfenning Higher Inductive Types as Homotopy-Initial Algebras Dougal Sutherland Jeff Schneider Scalable, Flexible and Active Learning on Distributions Ameya A. Velingker Venkat Guruswami New Directions in Coding Theory: Capacity and Limitations Qinsi Wang Edmund Clarke Formal Methods for Biological Systems: Languages, Algorithms, and Applications Xuezhi Wang Jeff Schneider Active Transfer Learning David Witmer Anupam Gupta, Ryan O'Donnell Refutation of random constraint satisfaction problems using the sum of squares proof system Timothy Zhu Mor Harchol-Balter Meeting tail latency SLOs in shared networked storage Academic Year: 2015-2016 Name Thesis Advisor(s) Thesis Title Yoshihisa Abe Mahadev Satyanarayanan Liberating Virtual Machines from Physical Boundaries through Execution Knowledge Alex Beutel Christos Faloutsos, Alexander Smola User Behavior Modeling with Large-Scale Graph Analysis Flávio Manuel Fernandes Cruz Seth Goldstein, Frank Pfenning, Ricardo Rocha Linear Logic and Coordination for Parallel Programming Danai Koutra Christos Faloutsos Exploring and Making Sense of Large Graphs Akshay Krishnamurthy Aarti Singh Interactive Algorithms for Unsupervised Learning Hyeontaek Lim David Andersen Resource-Efficient Data-Intensive System Designs for High-Performance and Capacity Sarah M. Loos Andre Platzer Differential Refinement Logic Chris Martens Karl Crary, Frank Pfenning Programming Interactive Worlds with Linear Logic Rui Meireles Peter Steenkiste, João Barros Leveraging Diversity and Spatial Connectivity in Multi-hop Vehicular Networks Filipe David Oliveira Militão Johnathan Aldrich, Luis Caires Rely-Guarantee Protocols for Safe Interference over Shared Memory Pagination First page « First Previous page ‹ Previous Page 1 Page 2 Current page 3 Page 4 Page 5 … 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)
