COMPUTER SCIENCE TECHNICAL REPORTS 2026
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-26-100
On Holistic Database Optimization via Leveraging Similarity Across Actions, Workloads, Configurations, and Scenarios
William Zhang, Ph.D. Thesis
Abstract, .pdf

CMU-CS-26-101
Improving Security and Safety of Generative Models
Andy Zou, Ph.D. Thesis
Abstract, .pdf

CMU-CS-26-102
Database Gyms: Towards Autonomous Database Tuning
Wan Shen Lim, Ph.D. Thesis
Abstract, .pdf

CMU-CS-26-103
New foundational ideas in cooperative AI
Caspar Oesterheld, Ph.D. Thesis
Abstract, .pdf

CMU-CS-26-104
Algorithms for Generalized Signed Distance and Winding Numbers
Nicole Feng, Ph.D. Thesis
Abstract, .pdf

CMU-CS-26-105
The Structure of Deception: How LLM Agents Lie, Break Promises, and Exploit Trust in Multi-Agent Settings
Jerick Shi, M.S. Thesis
Abstract, .pdf

CMU-CS-26-106
Training Mixture-of-Experts Language Models
Hao Kang, M.S. Thesis
Abstract, .pdf

CMU-CS-26-107
Dissecting Reinforcement Learning: Mechanisms Behind Compositional Reasoning in LLMs
Gyeongwon James Kim, M.S. Thesis
Abstract, .pdf

CMU-CS-26-108
Oracular Programming: A Modular Foundation for Building LLM-Enabled Software
Jonathan Laurent, Ph.D. Thesis
Abstract, .pdf

CMU-CS-26-109
From Scores to Workflows: An Interactive Framework for Data Attribution in Foundation Models
Weizhen (Gary) Gao, M.S. Thesis
Abstract, .pdf

CMU-CS-26-110
Contact Areas for Dexterous Manipulation and Beyond
Arjun Sriram Lakshmikpathy, Ph.D. Thesis
Abstract, .pdf

CMU-CS-26-111
Optimization and Simulation of Quantum Circuits
Mingkuan Xu, Ph.D. Thesis
Abstract, .pdf

CMU-CS-26-112
Towards Faster Parallel Algorithms for Tree Decompositions
Taekseung Kim, M.S. Thesis
Abstract, .pdf

CMU-CS-26-113
Detection and Visualization of Human Sex Trafficking in Online Escort Advertisements
Catalina Vajiac, Ph.D. Thesis
Abstract, .pdf

CMU-CS-26-114
Attention Over The Past for Data Efficieny in RL
Allen Zheng, M.S. Thesis
Abstract, .pdf

CMU-CS-26-115
A Unified Framework for Paper Assignment
Michael Cui, M.S. Thesis
Abstract, .pdf

CMU-CS-26-116
Virtual Reality for Drones: Assessing Physical Actuation via Idealized Sensor Feedback
Hunter Rhoades, M.S. Thesis
Abstract, .pdf

CMU-CS-26-117
Improving Decision-Making from Distributed Human Evaluations
Alexander Koujianos Goldberg, Ph.D. Thesis
Abstract, .pdf

CMU-CS-26-118
Verified Control Envelope Synthesis
Aditi Kabra, Ph.D. Thesis
Abstract, .pdf

CMU-CS-26-119
Structural Methods for Large Stochastic Systems
Yige Hong, Ph.D. Thesis
Abstract, .pdf

CMU-CS-26-120
From Causal Structure to Conditional Generation
Yuan Guan, M.S. Thesis
Abstract, .pdf

CMU-CS-26-121
Architecting Memory Efficiency in Modern Data Centers
Kaiyang Zhao, Ph.D. Thesis
Abstract, .pdf

CMU-CS-26-122
Motion-Guided Streaming Updates for Dynamic 3D Gaussian Splatting Scenes
Ziwen Yuan, M.S. Thesis
Abstract, .pdf

CMU-CS-26-123
Structure from Sequence: Mechanisms of Tabular Retrieval
Siddharth Parekh, M.S. Thesis
Abstract, .pdf

CMU-CS-26-124
Reshaping Data Center Networks with Reconfigurability
Shawn Shuoshuo Chen, Ph.D. Thesis
Abstract, .pdf

CMU-CS-26-125
Progressive Inverse Dynamics for Artist-Directed Cloth Simulation
Trey DuBose, M.S. Thesis
Abstract, .pdf

CMU-CS-26-126
Inductive Logical Relations
Rui Li, M.S. Thesis
Abstract, .pdf

CMU-CS-26-127
Causal AI for Transferable, Interpretable, and Controllable Machine Learning
Lingjing Hong, Ph.D. Thesis
Abstract, .pdf

CMU-CS-26-128
Dual-Endpoint Congestion Control
Christopher Canel, Ph.D. Thesis
Abstract, .pdf

CMU-CS-26-129
Monte Carlo Methods for Linear Elliptic Boundary Value Problems
Bailey Mark Miller, Ph.D. Thesis
Abstract, .pdf

CMU-CS-26-130
Logical Foundations of Intermittent Computing
Myra Dotzel, Ph.D. Thesis
Abstract, .pdf

CMU-CS-26-131
Towards Wearable Mishap Avoidance
Qifei Dong, Mihir Bala, Jingao Xu, Padmanabhan Pillai, Roberta Klatzky, Mahadev Satyanarayanan
Abstract, .pdf

CMU-CS-26-132
Generalizing Device Interfaces
Hugo Sadok, Ph.D. Thesis
Abstract, .pdf Pending

CMU-CS-26-133
Formalization of Scott's Measurement Structures and Linear Inequalities in Lean 4
Lars Warren Ericson, Dana S. Scott, Vijay D'Silva, Brian Milnes
Abstract, .pdf

CMU-CS-26-134
Federated Spatial Intelligence Infrastructure for Spatial Applications
Sagar Bharadwaj K.S., Ph.D. Thesis
Abstract, .pdf Pending


Return to: SCS Technical Report Collection