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

CMU-CS-20-100
Pancasting: forecasting epidemics from provisional data
Logan Brooks, Ph.D. Thesis
Abstract, .pdf

CMU-CS-20-101
Memory-Efficient Search Trees for Database Management Systems
Huanchen Zhang, Ph.D. Thesis
Abstract, .pdf

CMU-CS-20-102
Edge-Based Wearable Systems for Cognitive Assistance: Design Challenges, Solution Framework, and Application to Emergency Healthcare
Siyan Zhao, Junjue Wang, Hongkun Leng, Yuqi Liu, Haodong Liu, Daniel P. Siewiorek, Mahadev Satyanarayanan, Roberta L. Klatzky
Abstract, .pdf

CMU-CS-20-103
2-Deletion Codes: Beyond Binary
Zhen Zhou, M.S. Thesis
Abstract, .pdf

CMU-CS-20-104
Improving Parameterized Design with Interactive User-Guided Sampling and Parameter Identification Tools
Evan Shimizu, Ph.D. Thesis
Abstract, .pdf

CMU-CS-20-105
Learned Adaptive Accuracy-Cost Optimization for Machine Learning Systems
Conglong Li, Ph.D. Thesis
Abstract, .pdf

CMU-CS-20-106
Automatic Repair of Framework Applications
Zack Coker, Ph.D. Thesis
Abstract, .pdf

CMU-CS-20-107
Scaling Wearable Cognitive Assistance
Junjue Wang, Ph.D. Thesis
Abstract, .pdf

CMU-CS-20-108
Mining Anomalies using Static and Dynamic Graphs
Dhiyva Eswaran, Ph.D. Thesis
Abstract, .pdf

CMU-CS-20-109
Monaural Source Separation in the Wild
Tianjun Ma, M.S. Thesis
Abstract, .pdf

CMU-CS-20-110
Unsupervised Domain Adaptation for Visual Navigation
Shangda (Harry) Li, M.S. Thesis
Abstract, .pdf

CMU-CS-20-111
Injecting output constraints into neural NLP models
Yay Yoon Lee, Ph.D. Thesis
Abstract, .pdf

CMU-CS-20-112
Improving Deep Learning Training and Inference with Dynamic Hyperparameter Optimization
Angela Jiang, Ph.D. Thesis
Abstract, .pdf

CMU-CS-20-113
List-Decodable Codes: (Randomized) Constructions and Applications
Nicolas Resch, Ph.D. Thesis
Abstract, .pdf

CMU-CS-20-114
Meta Strategy Guided Deep Reinforcement Learning in Green Security Games
Tianyu Gu, M.S. Thesis
Abstract, .pdf

CMU-CS-20-115
Deep Multi-view Clustering Using Local Similarity Graphs
Shuli Jiang, M.S. Thesis
Abstract, .pdf

CMU-CS-20-116
An Authoring Tool for Creating Interactive AR User Tutorials by Demonstration
Junhan (Judy) Kong, M.S. Thesis
Abstract, .pdf

CMU-CS-20-117
BoLT: Building on Local Trust to Solve Lending Market Failure
Seth Copen Goldstein, Denizalp Goktas, Miles Conn, Shanmuka Pbani Teja Pitchuka, Mohammed Sameer, Maya Shah, Colin Swett, Hefei Tu, Shrinath Viswanathan, Jessica Xiao
Abstract, .pdf (Pending)

CMU-CS-20-118
Linear Time Addition of Fibonacci Encodings
Maoyuan (Raymond) Song, M.S. Thesis
Abstract, .pdf

CMU-CS-20-119
Automatic Differentiation of Sketched Regression
Hang Liao, M.S. Thesis
Abstract, .pdf

CMU-CS-20-120
Securing Internet-of-Things via Fine-grained Network Detection and Prevention
Tianlong Yu, Ph.D. Thesis
Abstract, .pdf

CMU-CS-20-121
Towards Universal Optimality in Distributed Optimization
Goran Žužić, Ph.D. Thesis
Abstract, .pdf

CMU-CS-20-122
Counterfactual MDPs: Planning Beyond Direct Control
Rui Silva, Ph.D. Thesis
Abstract, .pdf

CMU-CS-20-123
Personalized Knowledge Base Construction via Natural Language Instructions
Nghia T. Le, M.S. Thesis
Abstract, .pdf

CMU-CS-20-124
User Level Page Faults
Qingyang Li, M.S. Thesis
Abstract, .pdf

CMU-CS-20-125
Matching Theory Under Uncertainty
David Wajc, Ph.D. Thesis
Abstract, .pdf

CMU-CS-20-126
Theoretical Foundations for Practical Concurrent and Distributed Computation
Naama Ben-David, Ph.D. Thesis
Abstract, .pdf

CMU-CS-20-127
User-Centered Design of Principled Programming Languages
Michael J. Coblenz, Ph.D. Thesis
Abstract, .pdf

CMU-CS-20-128
Provably Efficient and Scalable Shared-Memory Graph Processing
Laxman Dhulipala, Ph.D. Thesis
Abstract, .pdf

CMU-CS-20-129
Identification of Software Failures in Complex Systems Using Low-Level Execution Data
Deborah Stephanie Surden Katz, Ph.D. Thesis
Abstract, .pdf

CMU-CS-20-130
Adopting Zoned Storage in Distributed Storage Systems
Abutalib Aghayev, Ph.D. Thesis
Abstract, .pdf

CMU-CS-20-131
Coding for Synchronization Errors
Amirbehshad Shahrasbi, Ph.D. Thesis
Abstract, .pdf

CMU-CS-20-132
Equilibrium Finding for Large Adversarial Imperfect-Information Games
Noam Brown, Ph.D. Thesis
Abstract, .pdf

CMU-CS-20-133
Session-Typed Ordered Logical Specifications
Henry DeYoung, Ph.D. Thesis
Abstract, .pdf

CMU-CS-20-134
This Is Your Behavioral Keystroke Biometric on Rubbish Data
Roy Maxion, Vrishab Commuri
Abstract, .pdf

CMU-CS-20-135
Simulating Edge Computing Environments to Optimize Application Experience
James R. Blakley, Roger Iyengar, Michel Roy
Abstract, .pdf

CMU-CS-20-136
Striving for Safety in Deep Reinforcement Learning
Harshit Sushil Sikchi, M.S. Thesis
Abstract, .pdf

CMU-CS-20-137
3D Object Detection with Enriched Point Cloud
Dazhi Cheng, M.S. Thesis
Abstract, .pdf

CMU-CS-20-138
Towards Broader and More Efficient Object Manipulation via Deep Reinforcement Learning
Yufei Wang, M.S. Thesis
Abstract, .pdf

CMU-CS-20-139
Sample-Specific Models for Precision Medicine
Benjamin Lengerich, Ph.D. Thesis
Abstract, .pdf

CMU-CS-20-140
Checkpoint-Free Fault Tolerance for Recommendation System Training
Kaige Liu, M.S. Thesis
Abstract, .pdf

CMU-CS-20-141
Extending Abstract Effects with Bounds and Algebraic Handlers
Anlun Xu, M.S. Thesis
Abstract, .pdf

CMU-CS-20-142
Disk-Adaptive Redundancy: tailoring data redundancy to disk-reliability heterogeneity in cluster storage systems
Saurabh Kadekodi, Ph.D. Thesis
Abstract, .pdf

CMU-CS-20-143
Filter Representation in Vectorized Query Execution
Amadou Latyr Ngom, M.S. Thesis
Abstract, .pdf

Return to: SCS Technical Report Collection