Technical Reports by Author
All Theses by Author
MS Theses by Author

CMU-CS-21-100
Higher Inductive Types and Internal Parametricity for Cubical Type Theory
Evan Cavallo, Ph.D. Thesis
Abstract, .pdf

CMU-CS-21-101
An Evaluation of Compilation-Based PL/PGSQL Execution
Tanuj Nayak, M.S. Thesis
Abstract, .pdf

CMU-CS-21-102
Unavailable to Date

CMU-CS-21-103
Distributed Metadata and Streaming Data Indexing as Scalable Filesystem Services
Qing Zheng, Ph.D. Thesis
Abstract, .pdf

CMU-CS-21-104
On Automatic Database Management System Tuning Using Machine Learning
Dana Van Aken, Ph.D. Thesis
Abstract, .pdf

CMU-CS-21-105
Modeling early visual cortex using neural network models with recurrentt circuits
Yimeng Zhang, Ph.D. Thesis
Abstract, .pdf

CMU-CS-21-106
On Building Robustness into Compilation-Based Main-Memory Database Query Engines
Prashanth Menon, Ph.D. Thesis
Abstract, .pdf

CMU-CS-21-107
Unavailable to Date

CMU-CS-21-108
The SDP value of random 2CSPs
Amulya Musipatla, M.S. Thesis
Abstract, .pdf

CMU-CS-21-109
Modernizing Models and Management of the Memory Hierarchy for Non-Volatile Memory
Charles John McGuffey, Ph.D. Thesis
Abstract, .pdf

CMU-CS-21-110
The Nonlinearity Coefficient - A Practical Guide to Neural Architecture Design
Georg P. Schoenherr (George Philipp), Ph.D. Thesis
Abstract, .pdf

CMU-CS-21-111
Designing Investing Apps to Promote Healthier Trading Habits in Retail Investors
Sayan Chaudhry, M.S. Thesis
Abstract, .pdf (Pending)

CMU-CS-21-112
Resource-Aware Session Types for Digital Contracts
Ankush Das, Ph.D. Thesis
Abstract, .pdf

CMU-CS-21-113
Mitigating Memory-Safety Bugs with Efficient Out-of-Process Integrity Checking
Daming Dominic Chen, Ph.D. Thesis
Abstract, .pdf

CMU-CS-21-114
Optimized Quantum Circuit Generation with SPIRAL
Scott Mionis, M.S. Thesis
Abstract, .pdf

CMU-CS-21-115
Practical End-to-End Verification of Cyber-Physical Systems
Brandon Bohrer, Ph.D. Thesis
Abstract, .pdf

CMU-CS-21-116
Score: A Rule Engine for the Scone Knowledge Base System
Jeffrey Chen, M.S. Thesis
Abstract, .pdf

CMU-CS-21-117
Reducing Poaching Risk through Land Use and Patrol Routes Planning using Data Drive Optimization
Yiwen Yuan, M.S. Thesis
Abstract, .pdf

CMU-CS-21-118
Sketching and Sampling Algorithms for High-Dimensional Data
Rajesh Jayaram, Ph.D. Thesis
Abstract, .pdf

CMU-CS-21-119
Preconditioning and Locality in Algorithm Design
Jason Li, Ph.D. Thesis
Abstract, .pdf

CMU-CS-21-120
Human-efficient Discovery of Edge-based Training Data for Visual Machine Learning
Ziqiang Feng, Ph.D. Thesis
Abstract, .pdf

CMU-CS-21-121
Black-Box Approaches to Fair Machine Learning
Samuel Yeom, Ph.D. Thesis
Abstract, .pdf

CMU-CS-21-122
Unavailable to Date

CMU-CS-21-123
Repulsive Energies and their Applications
Christopher Yu, Ph.D. Thesis
Abstract, .pdf (Pending)

CMU-CS-21-124
Improved Mapping of Information Processing in the Brain During Naturalistic Experiments
Anand Bollu, M.S. Thesis
Abstract, .pdf

CMU-CS-21-125
Automated algorithm and mechanism configuration
Ellen Vitercik, Ph.D. Thesis
Abstract, .pdf

CMU-CS-21-126
Computational Perspectives on Democracy
Anson Kahng, Ph.D. Thesis
Abstract, .pdf

CMU-CS-21-127
Calibration with Privacy in Peer Review: A Theoretical Study
Wenxin Ding, M.S. Thesis
Abstract, .pdf

CMU-CS-21-128
Dynamic Model Specialization for Efficient Inference, Training and Supervision
Ravi Teja Mullapudi, Ph.D. Thesis
Abstract, .pdf (Pending)

CMU-CS-21-129
Deep Learning Based Data Augmentation for Breast Lesion Detection
Zhendong Yuan, M.S. Thesis
Abstract, .pdf

CMU-CS-21-130
Unavailable to Date

CMU-CS-21-131
Unavailable to Date

CMU-CS-21-132
Intrinsic Triangulations in Geometry Processing
Nicholas Sharp, Ph.D. Thesis
Abstract, .pdf

CMU-CS-21-133
Applications and Extensions of Parallel Self-adjusting Computation
Anubhav Baweja, M.S. Thesis
Abstract, .pdf

CMU-CS-21-134
Self-Driving Database Management Systems: Forecasting, Modeling, and Planning
Lin Ma, Ph.D. Thesis
Abstract, .pdf

CMU-CS-21-135
Elastic Machine Learning Systems with Co-adaptation
Aurick Qiao, Ph.D. Thesis
Abstract, .pdf

CMU-CS-21-136
Towards More Efficient and Data-Driven Domain Adaptation
Petar Stojanov, Ph.D. Thesis
Abstract, .pdf

CMU-CS-21-137
Generalizations and Applications of Hypercontractivity and Small-Set Expansion
Yu Zhao, Ph.D. Thesis
Abstract, .pdf

CMU-CS-21-138
Training Deep Networks with Material-Aware Supervision
Tiancheng Zhi, Ph.D. Thesis
Abstract, .pdf (Pending)

CMU-CS-21-139
Unavailable to Date

CMU-CS-21-140
Foundations for 3D Machine Knitting
Vidya Narayanan, Ph.D. Thesis
Abstract, .pdf Pending

CMU-CS-21-141
Communication-Based Semantics for Recursive Session-Typed Processes
Ryan Kavanagh, Ph.D. Thesis
Abstract, .pdf

CMU-CS-21-142
First Steps in Synthetic Tait Computability: The Objective Metatheory of Cubical Type Theory
Jonathan Sterling, Ph.D. Thesis
Abstract, .pdf

CMU-CS-21-143
Towards Elastic and Resilient In-Network Computing
Daehyeok Kim, Ph.D. Thesis
Abstract, .pdf Pending

Return to: SCS Technical Report Collection