COMPUTER SCIENCE TECHNICAL REPORTS 2023
Computer Science Department
School of Computer Science, Carnegie Mellon University
Pittsburgh PA 15213-3890
412.268.8525 . 412.268.5576 (fax)


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

CMU-CS-23-100
StaRRNIC: Enabling Runtime Reconfigurable FPGA NICs
Anup Agarwal, Daehyeok Kim, Srinivasan Seshan
Abstract, .pdf

CMU-CS-23-101
Deploying Edge-based Virtual Desktop Infrastructure
James Blakley, Scott Haas, Victor Firoiu, Mahadevan Iyer, Daniel Beveridge, Girish Narkhede, Shilpa George, Thomas Eiszler, Jan Harkes, J. Ray Scott, Mahadev Satyanarayanan
Abstract, .pdf

CMU-CS-23-102
Split Computing and Early Exit Done Right
Roger Iyengar, Qifei Dong, Chanh Nguyen, Padmanabhan Pillai, Mahadev Satyanarayanan
Abstract, .pdf

CMU-CS-23-103
Stable Models and Temporal Difference Learning
Guarav Manek, Ph.D. Thesis
Abstract, .pdf

CMU-CS-23-104
Low-Bandwidth Remote Sensing of Rare Events
Shilpa Anna George, Ph.D. Thesis
Abstract, .pdf

CMU-CS-23-105
ATLAS: Automatically Detecting Discrepancies Between Privacy Policies and Privacy Labels
Akshath Jain, M.S. Thesis
Abstract, .pdf

CMU-CS-23-106
Towards Efficient Near-Optimal Agenda Scheduling using Human-Centered Heuristics
Peerat Vichivanives, M.S. Thesis
Abstract, .pdf

CMU-CS-23-107
Online Representation Learning on the Open Web
Ellis L. Brown, II, M.S. Thesis
Abstract, .pdf

CMU-CS-23-108
Methods for robust training and evaluation of deep neural networks
Leslie Rice, Ph.D. Thesis
Abstract, .pdf

CMU-CS-23-109
Design principles for replicated storage systems built on emerging storage technologies
Thomas Kim, Ph.D. Thesis
Abstract, .pdf

CMU-CS-23-110
Practical Coding-Theoretic Tools for Machine Learning Systems and by Machine Learning Systems
Jack Kosaian, Ph.D. Thesis
Abstract, .pdf

CMU-CS-23-111
Using Computer Vision and Machine Learning to Unlock Historical Data
Jun Tao Luo, M.S. Thesis
Abstract, .pdf

CMU-CS-23-112
Scaling Up Wearable Cognitive Assistance for Assembly Tasks
Roger Iyengar, Ph.D. Thesis
Abstract, .pdf

CMU-CS-23-113
Testing for Reviewer Anchoring in the Conference Rebuttal Process
Ryan Liu, M.S. Thesis
Abstract, .pdf

CMU-CS-23-114
Efficient Delta-decision Procedure
Soonho Kong, Ph.D. Thesis
Abstract, .pdf

CMU-CS-23-115
On Algorithms for Weighted Low Rank Approximation
Yucheng Dai, M.S. Thesis
Abstract, .pdf

CMU-CS-23-116
Designing and Analyzing Machine Learning Algorithms in the Presence of Strategic Behavior
Hanrui Zhang, Ph.D. Thesis
Abstract, .pdf

CMU-CS-23-117
Game-Theoretic Decision Making in Imperfect-Information Games: Learning Dynamics, Equilibrium Computation, and Complexity
Gabriele Farina, Ph.D. Thesis
Abstract, .pdf

CMU-CS-23-118
Efficient loss recovery for videoconferencing via streaming codes and machine learning
Michael Rudow, Ph.D. Thesis
Abstract, .pdf

40 CMU-CS-23-119
Beyond Model Efficiency: Data Optimizations for Machine Learning Systems
Michael Roman Kuchnik, Ph.D. Thesis
Abstract, .pdf

CMU-CS-23-120
Parallel Batch-Dynamic Algorithms: Dynamic Trees, Graphs, and Self-Adjusting Computation
Daniel Anderson, Ph.D. Thesis
Abstract, .pdf

CMU-CS-23-121
Scalable Learning and Solving of Extensive-Form Games
Chun Kai Ling, Ph.D. Thesis
Abstract, .pdf

CMU-CS-23-122
Exploring Access to Cooking Information for People with Vision Impairments
Ashley Wang, M.S. Thesis
Abstract, .pdf

CMU-CS-23-123
Multi-Agent Task Allocation for Temporally Located Tasks in a Dynamic, Distributed Environment
Gialon Kasha, M.S. Thesis
Abstract, .pdf

CMU-CS-23-124
Learning from Human Videos for Robotic Manipulation
Aditya Kannan, M.S. Thesis
Abstract, .pdf

CMU-CS-23-125
General Techniques for Efficient Concurrent Data Structures
Yuanhao Wei, Ph.D. Thesis
Abstract, .pdf

CMU-CS-23-126
VeriISLE: Verifying Instruction Selection in Cranelift
Monica Pardeshi, M.S. Thesis
Abstract, .pdf

CMU-CS-23-127
Scalable and Trustworthy Learning in Heterogeneous Networks
Tian Li, Ph.D. Thesis
Abstract, .pdf

CMU-CS-23-128
Optimal Scheduling in Multiserver Queues
Isaac Grosof, Ph.D. Thesis
Abstract, .pdf

CMU-CS-23-129
Secure and Practical Splitting of IoT Device Functionalities
Han Zhang, Ph.D. Thesis
Abstract, .pdf

CMU-CS-23-130
Formally Verifying Algorithms for Real Quantifier Elimination
Katherine Kosaian, Ph.D. Thesis
Abstract, .pdf

CMU-CS-23-131
Evolutionary Topology in Truss Robot Optimization via Dissolvable Beams
Ziwen Ye, M.S. Thesis
Abstract, .pdf

CMU-CS-23-132
Perry: A What-If Analysis Platform for Deception Evaluation
Yusuf Bin Saquib, M.S. Thesis
Abstract, .pdf

CMU-CS-23-133
Automatic Amortized Resource Analysis for Exception Handling
Yiyang Guo, M.S. Thesis
Abstract, .pdf

CMU-CS-23-134
Designing storage codes for heterogeneity: theory and practice
Francisco Maturana, Ph.D. Thesis
Abstract, .pdf

CMU-CS-23-135
Hypergraph Rank and Expansion
Kevin Pratt, Ph.D. Thesis
Abstract, .pdf

CMU-CS-23-136
Leveraging ChatGPT for Domain Transfer within Natural Language Inference
Meghna Iyengar, M.S. Thesis
Abstract, .pdf Pending

CMU-CS-23-137
Interactive Machine Learning from Humans: Knowledge Sharing via Mutual Feedback
Pallavi Koppol, Ph.D. Thesis
Abstract, .pdf

CMU-CS-23-138
The Just-In-Time Cloudlet
James Blakley, Marc Meunier, Thomas Eiszler, Jan Harkes, Mahadev Satyanarayanan
Abstract, .pdf

CMU-CS-23-139
Practical Methods for Automated Algorithm Design in Machine Learning and Computational Biology
Quang Minh Hoang, Ph.D. Thesis
Abstract, .pdf

CMU-CS-23-140
The Theory and Implementation of Resource Aware ML 2
Ethan Chu, M.S. Thesis
Abstract, .pdf

CMU-CS-23-141
Accessible Descriptions for Surprising Clusters in Scatterplots
Ihita Mandal, M.S. Thesis
Abstract, .pdf

CMU-CS-23-142
Preserving privacy and proving reputation in decentralized token systems
Sarayu Namineni, M.S. Thesis
Abstract, .pdf

CMU-CS-23-143
Encouraging Expressions of Gratitude in Open-Source Software
Olivia Xu, M.S. Thesis
Abstract, .pdf

CMU-CS-23-144
Survey and Evaluation of Database Management System Extensibility
Abigale Kim, M.S. Thesis
Abstract, .pdf

CMU-CS-23-145
Efficient Mass Spectrometry Searching andClustering of Untargeted Metabolomics Data
Yudong Liu, M.S. Thesis
Abstract, .pdf

CMU-CS-23-146
Robust Mean Estimation Against Oblivious Adversaries
Shuchen Li, M.S. Thesis
Abstract, .pdf


Return to: SCS Technical Report Collection