COMPUTER SCIENCE TECHNICAL REPORTS 2024
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-24-100
Making Peer Review Robust to Undesirable Behavior
Steven Jecmen, Ph.D. Thesis
Abstract, .pdf

CMU-CS-24-101
On the Alignment, Robustness, and Generalizability of Multimodal Learning
Jielin Qiu, Ph.D. Thesis
Abstract, .pdf

CMU-CS-24-102
3D Reconstruction with Fast Dipole Sums
Hanyu Chen, M.S. Thesis
Abstract, .pdf

CMU-CS-24-103
Adjoint Logic with Applications
Klaas Pruiksma, Ph.D. Thesis
Abstract, .pdf

CMU-CS-24-104
Setup Times in Multiserver Systems
Jalani K. William, Ph.D. Thesis
Abstract, .pdf

CMU-CS-24-105
Large Language Model Aided Modeling of Dyadic Engagement
Cheng Charles Ma, M.S. Thesis
Abstract, .pdf

CMU-CS-24-106
Unpublished

CMU-CS-24-107
On Embedding Database Management System Logic in Operating Systems via Restricted Programming Environments
Matthew Butrovich, Ph.D Thesis
Abstract, .pdf

CMU-CS-24-108
Total Correctness Type Refinements for Communicating Processes
Siva Kamesh Somayyajula, Ph.D Thesis
Abstract, .pdf

CMU-CS-24-109
Building reliable and transparent machine learning systems using structured intermediate representations
Giulio Zhou, Ph.D Thesis
Abstract, .pdf

CMU-CS-24-110
Algorithms for Matrix Approximation: Sketching, Sampling, and Sparse Optimization
Taisuke Yasuda, Ph.D Thesis
Abstract, .pdf

CMU-CS-24-111
Taxonomy for Data Contamination in Large Language Models
Medha Palavalli, M.S. Thesis
Abstract, .pdf

CMU-CS-24-112
Automated Peer-Reviewer Assignment can be Manipulated to Secure Reviews from Colluders
Jhih-Yi Hsieh, M.S. Thesis
Abstract, .pdf

CMU-CS-24-113
Towards an OS for GPUs: Threadblock Scheduling for DL Workloads
Brian E. Zhang, M.S. Thesis
Abstract, .pdf Unavailable Electronically

CMU-CS-24-114
Extraction of Training Data from Fine-Tuned Large Language Models
Mihir Dhamankar, M.S. Thesis
Abstract, .pdf

CMU-CS-24-115
What Can Cryptography Do For Transaction Fee Mechanism Design
Ke Wu, Ph.D. Thesis
Abstract, .pdf

CMU-CS-24-116
Evoling Intrinsic Triangulations
Mark Gillespie, Ph.D. Thesis
Abstract, .pdf

CMU-CS-24-117
Compactness via Pattern Stepping Bisimulation
Matias Scharager
Abstract, .pdf

CMU-CS-24-118
Enhancing Policy Transfer in Action Advising for Reinforcement Learning
Yue (Sophie) Guo, Ph.D Thesis
Abstract, .pdf

CMU-CS-24-119
Exploring Variations of Wythoff Nim
Mirabel Hu, M.S. Thesis
Abstract, .pdf

CMU-CS-24-120
Data-driven algorithm design and principled hyperparameter tuning in machine learning
Dravyansh Sharma, Ph.D Thesis
Abstract, .pdf

CMU-CS-24-121
Fine-tuning Does Not Remove Language Model Capabilities
Suhas Kotha, M.S. Thesis
Abstract, .pdf

CMU-CS-24-122
Automated and Portable Machine Learning Systems
Byungsoo Jeon, Ph.D Thesis
Abstract, .pdf

CMU-CS-24-123
Communication-Efficient LLM Training for Federated Learning
Arian Raje, M.S. Thesis
Abstract, .pdf

CMU-CS-24-124
Unavailable to Date

CMU-CS-24-125
Monte Carlo Geometry Processing: A Grid-Free Approach to Solving Partial Differential Equations on Volumetric Domains
Rohan Sawhney, Ph.D. Thesis
Abstract, .pdf

CMU-CS-24-126
A Theory of Composition for Proofs of Knowledge
Abhiram Kothapalli, Ph.D. Thesis
Abstract, .pdf

CMU-CS-24-127
A Principled Approach towards Unapologetic Security
Jay Bosamiya, Ph.D. Thesis
Abstract, .pdf

CMU-CS-24-128
Benchmarking Drone Video Stream Latency In SteelEagle
Aditya Chanana, Mihir Bala, Thomas Eiszler, James Blakley, Mahadev Satyanarayanan
Abstract, .pdf

CMU-CS-24-129
Cooperative Rate Control for the Internet
Christopher Canel, Zecheng He, Elliot Lockerman, Adithya Abraham Philip, Justine Sherry, Srinivasan Seshan
Abstract, .pdf

CMU-CS-24-130
Supporting Deliberative Minipublics through Computer Science and Social Science
Bailey Flanigan, Ph.D. Thesis
Abstract, .pdf

CMU-CS-24-131
On Efficient Sketching Algorithms
Praneeth Kacham, Ph.D. Thesis
Abstract, .pdf

CMU-CS-24-132
Towards City-Scale Neural Rendering
Haithem Turki, Ph.D. Thesis
Abstract, .pdf

CMU-CS-24-133
Leveraging Linearity to Improve Automatic Amortized Resource Analysis
David M. Kahn, Ph.D. Thesis
Abstract, .pdf

CMU-CS-24-134
Level Aware Bootstrapping Placement for Fully Homomorphic Encryption Using MaxSAT
William Seo, M.S. Thesis
Abstract, .pdf

CMU-CS-24-135
Battle for Bandwidth: On the Deplyability of New Congestion Control Algorithms
Ranysha Ware, Ph.D. Thesis
Abstract, .pdf

CMU-CS-24-136
On Resource Efficient Transfer Learning via End Task Award Training
Lucio Mwinmaarong Dery, Ph.D. Thesis
Abstract, .pdf

CMU-CS-24-137
Classical Improvements to Modern Machine Learning
Shiva Kaul, Ph.D. Thesis
Abstract, .pdf

CMU-CS-24-138
Improvements to the evaluation of ML models in FHE
Trevor Leong, M.S. Thesis
Abstract, .pdf

CMU-CS-24-139
Deep Learning on Graphs: Tackling Scalability, Privacy, and Multimodality
Minji Yoon, Ph.D. Thesis
Abstract, .pdf

CMU-CS-24-140
Spline-FRIDA: Enhancing Robot Painting with Human Brushstroke Trajectories
Lawrence Chen, M.S. Thesis
Abstract, .pdf

CMU-CS-24-141
Provably Efficient Coscheduling of Computation and Memory through Disentanglement
Jatin Arora, Ph.D. Thesis
Abstract, .pdf

CMU-CS-24-142
New Spectral Techniques in Algorithms, Combinatorics, and Coding Theory: The Kikuchi Matrix Method
Peter Manohar, Ph.D. Thesis
Abstract, .pdf

CMU-CS-24-143
Mechanisms for Efficient Cache Access in Near-Cache Accelerators
Piratach Yoovidhya, M.S. Thesis
Abstract, .pdf

CMU-CS-24-144
Low Field Size Constructions of Access-Optimal Convertible Codes
Saransh Chopra, M.S. Thesis
Abstract, .pdf

CMU-CS-24-145
The learning of algorithms and architectures
Mikhail Khodak, Ph.D. Thesis
Abstract, .pdf

CMU-CS-24-146
Verifying Concurrent Systems Code
Travis Hance, Ph.D. Thesis
Abstract, .pdf

CMU-CS-24-147
Efficient Deep Learning
Anders Øland, Ph.D. Thesis
Abstract, .pdf

CMU-CS-24-148
Formalizing Object Equivalence in Machine Knitting
Jenny Lin, Ph.D. Thesis
Abstract, .pdf

CMU-CS-24-149
Designing Efficient and Scalable Key-value Cache Management Systems
Juncheng Yang, Ph.D. Thesis
Abstract, .pdf

CMU-CS-24-150
Towards Artificial Musicians: Empowering Individual Music Expression In Composition, Performance, and Synthesis Through Machine Learning
Shuqi Dai, Ph.D. Thesis
Abstract, .pdf Pending

CMU-CS-24-151
Distributed Cryptography as a Service
Elisaweta Masserova, Ph.D. Thesis
Abstract, .pdf

CMU-CS-24-152
Machine learning for flash caching in bulk storage systems
Daniel Lin-Kit Wong, Ph.D. Thesis
Abstract, .pdf

CMU-CS-24-153
Cost-sensitive programming, verification, and semantics
Yue Niu, Ph.D. Thesis
Abstract, .pdf

CMU-CS-24-154
Learning genome-wide interactions of intrinsically disordered proteins with DNA using U-DisCo
Hongwei Tu, M.S. Thesis
Abstract, .pdf

CMU-CS-24-155
Analyzing Multimodal Machine Learning Model Performance and Evaluation Metrics for Medical Report Generation
Ankit Gupta, M.S. Thesis
Abstract, .pdf

CMU-CS-24-156
WaybackUI: A Dataset to Support the Longitudinal Analysis of User Interfaces
Xin Yue Amanda Li, M.S. Thesis
Abstract, .pdf Pending

CMU-CS-24-157
Quantifying Cutaneous Dermatomyositis: A Novel Image-based Approach
Prakruthi Pradeep, M.S. Thesis
Abstract, .pdf Pending

CMU-CS-24-158
Analyzing the OODA Loop of an Edge-enabled Autonomous Drone System
Aditya Chanana, M.S. Thesis
Abstract, .pdf Pending

CMU-CS-24-159
Modern Martingale Methods: Theory and Applications
Justin Alexander Whitehouse, Ph.D. Thesis
Abstract, .pdf

CMU-CS-24-160
Secure Convertible Codes
Justin Zhang, M.S. Thesis
Abstract, .pdf Pending

CMU-CS-24-161
A Principled Framework for Pliable and Secure Speculation in Operating Systems
Tae Hoon Kim, M.S. Thesis
Abstract, .pdf

CMU-CS-24-162
Linear Sketches for Geometric LP-Type Problems
Nabi Efe Çekirge, M.S. Thesis
Abstract, .pdf


Return to: SCS Technical Report Collection