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

CMU-CS-25-100
New Techniques for Parallelism and Concurrency in Nearest Neighbor Search
Magdalen Dobson Manohar, Ph.D. Thesis
Abstract, .pdf

CMU-CS-25-101
Towards Scalable Automated Program Verification for System Software
Yi Zhou, Ph.D. Thesis
Abstract, .pdf

CMU-CS-25-102
Uncertainty-Aware AI for Clinical Decision Support
Rohini Banerjee, M.S. Thesis
Abstract, .pdf

CMU-CS-25-103
Event Monitoring in Modern Public Health Data Streams
Ananya Joshi, Ph.D. Thesis
Abstract, .pdf

CMU-CS-25-104
Contextures: The Mechanism of Representation Learning
Runtian Zhai, Ph.D. Thesis
Abstract, .pdf

CMU-CS-25-105
Computationally Reconstructing the Evolution of Cancer Risk Evolution
Kefan Cao, M.S. Thesis
Abstract, .pdf

CMU-CS-25-106
Automating Real-to-Sim Traffic Scene Generation with Large Language Models
Alex Tianyi Xu, M.S. Thesis
Abstract, .pdf

CMU-CS-25-107
Quantum Approaches to Verifiable Deletion
Justin Raizes, Ph.D. Thesis
Abstract, .pdf

CMU-CS-25-108
Pinwheels and Polygons: Symmetric Realizations of Polygon-Free Point Placements via SAT
Ethan Mackey, M.S. Thesis
Abstract, .pdf

CMU-CS-25-109
Enhancing GNNs with Encoding, Rewiring, and Attention
Tongzhou Liao, M.S. Thesis
Abstract, .pdf

CMU-CS-25-110
Action Diversity for Reliable Policy Learning: Assessing Treatment Variation in Healthcare
Unnseo (Grace) Park, M.S. Thesis
Abstract, .pdf

CMU-CS-25-111
Towards Fully-Autonomous Ultralight Drones
Mihir Bala, Ph.D. Thesis
Abstract, .pdf

CMU-CS-25-112
Democratizing On-Device LLM Inference with Machine Learning Compilers and Web Technologies
Charlie F. Ruan, M.S. Thesis
Abstract, .pdf

CMU-CS-25-113
Survival-Critical Machine Learning
Eric Mark Sturzinger, Ph.D. Thesis
Abstract, .pdf

CMU-CS-25-114
Mimetic Initialization for Deep Neural Networks
Asher James Trockman, Ph.D. Thesis
Abstract, .pdf

CMU-CS-25-115
Private Information Retrieval and Searching with Sublinear Costs
Mingxun Zhou, Ph.D. Thesis
Abstract, .pdf

CMU-CS-25-116
Hidden Properties of Large Language Models
Mingjie Sun, Ph.D. Thesis
Abstract, .pdf

CMU-CS-25-117
Two Simple Algorithmics Applications of Convex Optimization
Tianwei Owen Li, M.S. Thesis
Abstract, .pdf

CMU-CS-25-118
Holographic Illumination for Computer Vision
Dorian Chan, Ph.D. Thesis
Abstract, .pdf

CMU-CS-25-119
Explainable Mining of Graphs and Time Series: Algorithms and Applications
Meng-Chieh Lee, Ph.D. Thesis
Abstract, .pdf

CMU-CS-25-120
Towards Unified Interfaces for Generalist Agent In Diverse Environments
Yueqi Song, M.S. Thesis
Abstract, .pdf

CMU-CS-25-121
New Solution Concepts and Algorithms for Equilibrium Computation and Learning in Extensive-Form Games and Beyond
Brian Hu Zhang, Ph.D. Thesis
Abstract, .pdf

CMU-CS-25-122
Hybrid Resource-Bound Analyses of Program
Long Pham, Ph.D. Thesis
Abstract, .pdf

CMU-CS-25-123
Safe Kernel Extensibility and Instrumentation With WebAssembly
Faisal Abdelmonem, M.S. Thesis
Abstract, .pdf

CMU-CS-25-124
Analyzing Debugging Behavior Using Programming Process Data
Archan Das, M.S. Thesis
Abstract, .pdf

CMU-CS-25-125
Mechanism Design and Integer Programming in the Data Age
Siddharth Prasad, Ph.D. Thesis
Abstract, .pdf

CMU-CS-25-126
Toward Sustainable Datacenters through Efficient Data Retrieval
Sara McAllister, Ph.D. Thesis
Abstract, .pdf

CMU-CS-25-127
Multiplexed Expansion Microscopy for Drug Response Prediction in MIBC
Nouha Tiyal, M.S. Thesis
Abstract, .pdf

CMU-CS-25-128
Towards Agentic LLMs for Hardware-Aware Kernel Generation
Aksara Bayyapu, M.S. Thesis
Abstract, .pdf

CMU-CS-25-129
Simulating Voting Systems
Russell Emerine, M.S. Thesis
Abstract, .pdf

CMU-CS-25-130
Towards Effortless High-Performance Kernel Development for LLM Workloads
Jinqi (Kathryn) Chen, M.S. Thesis
Abstract, .pdf

CMU-CS-25-131
Algorithms and Explicit Constructions via Spectral Techniques
Jun-Ting Hsieh, Ph.D. Thesis
Abstract, .pdf

CMU-CS-25-132
Decomposing Complexity: An LLM-Based Approach to Supporting Software Engineering Tasks
Zhijie Xu, M.S. Thesis
Abstract, .pdf

CMU-CS-25-133
Cost-Efficient Storage and Caching in Public Clouds
Hojin Park, Ph.D. Thesis
Abstract, .pdf Pending

CMU-CS-25-134
Typed Closure Conversion with Sum Types for Analyzing Higher Order Functions in Resource Aware ML
Lauren Sands, M.S. Thesis
Abstract, .pdf

CMU-CS-25-135
Fairness, Diversity, Explainability, and Robustness for Algorithmic Decision-Making
Madhusudhan Reddy Pittu, Ph.D. Thesis
Abstract, .pdf

CMU-CS-25-136
Efficient and responsive job-resource co-adaptivity for deep learning workloads in large heterogeneous GPU clusters
Suhas Jayaram Subramanya, Ph.D. Thesis
Abstract, .pdf

CMU-CS-25-137
Spectral Techniques for Average-Case Complexity
Jeff (Sichao) Xu, Ph.D. Thesis
Abstract, .pdf
Currently Unavailable Electronically

CMU-CS-25-138
Accurately Parameterizing Internet Performance Testing for Realistic Evaluations
Adithya Abraham Philip, Ph.D. Thesis
Abstract, .pdf

Return to: SCS Technical Report Collection