COMPUTER SCIENCE TECHNICAL REPORTS 2022
Computer Science Department
School of Computer Science, Carnegie Mellon University
Pittsburgh PA 15213-3890
412.268.8525


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

CMU-CS-22-100
Tackling Challenges in Modern Reinforcement Learning: Long Planning Horizons and Large State Spaces
Ruosong Wang, Ph.D. Thesis
Abstract, .pdf

CMU-CS-22-101
Lightweight Preemptible Functions
Sol Boucher, Ph.D. Thesis
Abstract, .pdf

CMU-CS-22-102
Polar Codes with Near-Optimal Convergence to Channel Capacity
Andrii Riazanov, Ph.D. Thesis
Abstract, .pdf

CMU-CS-22-103
Mining and Learning with Graphs and Tensors
Namyong Park, Ph.D. Thesis
Abstract, .pdf

CMU-CS-22-104
Identifying, Analyzing, and Addressing Weaknesses in Deep Networks: Foundations for Conceptually Sound Neural Networks
Klas Leino, Ph.D. Thesis
Abstract, .pdf

CMU-CS-22-105
An Angular Parameterization for Manifold Connections
Oscar Dadfar, M.S. Thesis
Abstract, .pdf

CMU-CS-22-106
Verifying SAT Encodings in Lean
Cayden Codel, M.S. Thesis
Abstract, .pdf

CMU-CS-22-107
Speeding Up Optimizations via Data Structures: Faster Search, Sample and Maintenance
Lichen Zhang, M.S. Thesis
Abstract, .pdf

CMU-CS-22-108
Food for Thought: Food Preferential Regions in the Human Brain
Nidhi Jain, M.S. Thesis
Abstract, .pdf

CMU-CS-22-109
Static Analysis of Probabilistic Programs: An Algebraic Approach
Di Wang, Ph.D. Thesis
Abstract, .pdf

CMU-CS-22-110
Delayed Gaussian Processes with Time Dependencies and Context
Ari Fiorino, M.S. Thesis
Abstract, .pdf

CMU-CS-22-111
The Language of Sketches
Xiaoyu Zhang, M.S. Thesis
Abstract, .pdf

CMU-CS-22-112
Robotic Perception for Exploring Lunar Poles
Varsha Kumar, M.S. Thesis
Abstract, .pdf

CMU-CS-22-113
Mining Spatio-Temporal Attributes of Anomalies through Large Ego-Vehicle Dataset
Tiffany Ma, M.S. Thesis
Abstract, .pdf

CMU-CS-22-114
Deductive Verification for Ordinary Differential Equations: Safety, Liveness, and Stability
Yong Kiam Tan, Ph.D. Thesis
Abstract, .pdf

CMU-CS-22-115
Segmenting Latency in a Private 4G LTE Network
Sophie Smith, Ishan Darwhekar, James Blakley, Thomas Eiszler, Jan Harkes
Abstract, .pdf

CMU-CS-22-116
On Quadratically Constrained Quadratic Programs and their Semidefinite Program Relaxations
Alex L. Wang, Ph.D. Thesis
Abstract, .pdf

CMU-CS-22-117
Robust Heuristics: Attacks and Defenses for Job Size Estimation in WSJF Systems
Erica Chiang, Nirav Atre, Hugo Sadok, Weina Wang, Justine Sherry
Abstract, .pdf

CMU-CS-22-118
Communication Complexity of Information-Theoretic Multiparty Computation
Yifan Song, Ph.D. Thesis
Abstract, .pdf

CMU-CS-22-119
Using intuitive behavior models to rapidly adapt to and work with human teammates in Hanabi
Arnav Mahajan, M.S. Thesis
Abstract, .pdf

CMU-CS-22-120
Learning Augmented Binary Search Trees
Tian Luo, M.S. Thesis
Abstract, .pdf

CMU-CS-22-121
(Un)Fairness Along the AI Pipleline: Problems and Solutions
Emily Black, Ph.D. Thesis
Abstract, .pdf

CMU-CS-22-122
Formal Verification of the Winning Strategies of Pursuit-Evasion Games
Weihan Li, M.S. Thesis
Abstract, .pdf

CMU-CS-22-123
Elevating Jupyter Notebook Maintenance Tooling by Identifying and Extracting Notebook Structures
Yuan Jiang, M.S. Thesis
Abstract, .pdf

CMU-CS-22-124
Predicting Uncertainty for Self-supervised Depth Estimates Using Multi-scale Decoders
Mayank Mali, M.S. Thesis
Abstract, .pdf

CMU-CS-22-125
Sinfonia: Cross-Tier Orchestration for Edge-Native Applications
Mahadev Satyanarayanan, Jan Harkes, Jim Blakley, Marc Meunier, Govindarajan Mohandoss, Kiel Friedt, Arun Thulasi, Pranav Saxena, Brian Barritt
Abstract, .pdf

CMU-CS-22-126
Tools to facilitate working on Machine Learning in the Industry
Shreya Bali, M.S. Thesis
Abstract, .pdf

CMU-CS-22-127
Statistical Learning Under Adversarial Distribution Shift
Chen Dan, Ph.D. Thesis
Abstract, .pdf

CMU-CS-22-128
Scalable and Deformable Machine-knitted Sensors for Humans and Robots
Tianhong Catherine Yu, M.S. Thesis
Abstract, .pdf

CMU-CS-22-129
Foveated Attention for Neural Nets
Chittesh Thavamani, M.S. Thesis
Abstract, .pdf

CMU-CS-22-130
Low-Latency Metallic Interference Rejection in Electromagnetic Tracking
Alexander Tarng, M.S. Thesis
Abstract, .pdf

CMU-CS-22-131
Representing Mental States in Scone
Krati Jain, M.S. Thesis
Abstract, .pdf

CMU-CS-22-132
A New Toolbox for Scheduling Theory
Ziv Scully, Ph.D. Thesis
Abstract, .pdf

CMU-CS-22-133
Social Choice for Social Good: Proposals for Democratic Innovation from Computer Science
Paul Gölz, Ph.D. Thesis
Abstract, .pdf

CMU-CS-22-134
Compact Representations of Graphs and Their Metrics
D Ellis Hershkowitz, Ph.D. Thesis
Abstract, .pdf

CMU-CS-22-135
An Exploration of Story Understanding Using Mental States in Scone
Shaan Dave, M.S. Thesis
Abstract, .pdf

CMU-CS-22-136
Unpublished

CMU-CS-22-137
Interpretability Approaches for a Breat Lesion Detection Model
Umaymah Imran, M.S. Thesis
Abstract, .pdf

CMU-CS-22-138
A Principled Approach to Parallel Job Scheduling
Benjamin Berg, Ph.D. Thesis
Abstract, .pdf

CMU-CS-22-139
New Directions in Inapproximability: Promise Constraint Satisfaction Problems and Beyond
Sai Sandeep Reddy Pallerla, Ph.D. Thesis
Abstract, .pdf

CMU-CS-22-140
Submodular Optimization Under Uncertainty
Roie Levin, Ph.D. Thesis
Abstract, .pdf

CMU-CS-22-141
Efficient and Scalable Parallel Functional Programming Through Disentanglement
Sam Westrick, Ph.D. Thesis
Abstract, .pdf

CMU-CS-22-142
Bridging Deep Learning and Electric Power Systems
Priya L. Donti, Ph.D. Thesis
Abstract, .pdf

CMU-CS-22-143
Integrating Video Codec Design and Network Transport for Emerging Internet Video Streaming Applications
Devdeep Ray, Ph.D. Thesis
Abstract, .pdf

CMU-CS-22-144
Strategic Behavior Prediction
Kevin G.A. Waugh, Ph.D. Thesis
Abstract, .pdf

CMU-CS-22-145
Programmable, Energy-minimal Computer Architectures
Graham Gobieski, Ph.D. Thesis
Abstract, .pdf

CMU-CS-22-146
Algorithms for Learning Latent Models: Establishing Tractability to Approaching Optimality
Ainesh Bakshi, Ph.D. Thesis
Abstract, .pdf

CMU-CS-22-147
A Self-Supervised Study of Multimodal Interactions in Opinion Videos
Jiaxin Shi, M.S. Thesis
Abstract, .pdf

CMU-CS-22-148
Combining Deep Learning and Physics Models for Efficient and Robust Architectures
Filipe de Avila Belbute Peres, Ph.D. Thesis
Abstract, .pdf

CMU-CS-22-149
Explicit Question Decomposition for Multihop Question Answering Retrieval
Neha Nishikant, M.S. Thesis
Abstract, .pdf

CMU-CS-22-150
Large-scale Machine Learning over Streaming Data
Ellango Jothimurugesan, Ph.D. Thesis
Abstract, .pdf

CMU-CS-22-151
Realizing value in shared compute infrastructures
Andrew Chung, Ph.D. Thesis
Abstract, .pdf

CMU-CS-22-152
Auto-batching Techniques for Dynamic Deep Learning Computations
Pratik Pramod Fegade, Ph.D. Thesis
Abstract, .pdf

CMU-CS-22-153
A Study of Statistical and Music-Theoretical Melody Prediction
Huiran Yu, M.S. Thesis
Abstract, .pdf

CMU-CS-22-154
Building a More Efficient Cache Hierarchy by Taking Advantage of Related Instances of Objects
Ziqi Wang, Ph.D. Thesis
Abstract, .pdf

CMU-CS-22-155
High-Performance Database Management System Design for Efficient Query Scheduling
Deepayan Patra, M.S. Thesis
Abstract, .pdf


Return to: SCS Technical Report Collection