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
Unpublished

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
Unpublished

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

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
Rose 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

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

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

CMU-CS-21-130
6 DoF Visual Post Estimation with Occlusion Handling in Simulated Space Environment
Zheng Xu, M.S. Thesis
Abstract, .pdf

CMU-CS-21-131
Code Generation Recovery Log Replay for In-Memory Database Management Systems
Tianlei Pan, M.S. Thesis
Abstract, .pdf

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

CMU-CS-21-139
Improving Edge Elasticity via Decode Offload
Ziqiang Feng, Shilpa George, Haithem Turki, Roger Iyengar, Padmanabhan Pillai*, Jan Harkes, Mahadev Satyanarayanan
Abstract, .pdf

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

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

CMU-CS-21-144
Towards a mixed inductive and coninductive logical framework
Zhibo Chen, M.S. Thesis
Abstract, .pdf

CMU-CS-21-145
Why not just do all hackathons online? A comparative study between online and in-person events
Mengchen Sam Yong, M.S. Thesis
Abstract, .pdf

CMU-CS-21-146
Crowd-Sourced Evaluation of Explainable AI Techniques with Games
Mayank Jain, M.S. Thesis
Abstract, .pdf

CMU-CS-21-147
Machine Learning: Metrics and Embeddings
Timothy Chu, Ph.D. Thesis
Abstract, .pdf

CMU-CS-21-148
Natural-Language Input for the Scone Knowledge-Base System
Yang Yang, M.S. Thesis
Abstract, .pdf

CMU-CS-21-149
IOT Security with Parametric Signal Temporal Logic
Yifei Yang, M.S. Thesis
Abstract, .pdf

Return to: SCS Technical Report Collection