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 Pending

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

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

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

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

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

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

CMU-CS-25-107
Unavailable to Date

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

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

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 Pending

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 Pending

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

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

Return to: SCS Technical Report Collection