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

CMU-CS-18-100
Annotating and Automatically Tagging Constructions of Causal Language
Jesse Dunietz, Ph.D. Thesis
Abstract, .pdf

CMU-CS-18-101
Architectural Techniques for Improving NAND Flash Memory Reliability
Yixin Luo, Ph.D. Thesis
Abstract, .pdf

CMU-CS-18-102
Methods for Reducing Unnecessary Computation on False Mappings in Read Mapping
Hongyi Xin, Ph.D. Thesis
Abstract, .pdf

CMU-CS-18-103
Uncertainty Adaptation in Robot Perception and Learning
Pengju Jin, M.S. Thesis
Abstract, .pdf

CMU-CS-18-104
An Application Platform for Wearable Cognitive Assistance
Zhuo Chen, Ph.D. Thesis
Abstract, .pdf

CMU-CS-18-105
A Hybrid, Dynamic Logic for Hybrid-Dynamic Information Flow
Brandon Bohrer, André Platzer
Abstract, .pdf

CMU-CS-18-106
Eliminating Adverse Control Plane Interactions in Independent Network Systems
Matthew K. Mukerjee, Ph.D. Thesis
Abstract, .pdf

CMU-CS-18-107
Influence-directed Explanations for Machine Learning
Shayak Sen, Ph.D. Thesis
Abstract, .pdf

CMU-CS-18-108
Language-Based Bidirectional Human and Robot Interaction Learning for Mobile Service Robots
Vittorio Perera, Ph.D. Thesis
Abstract, .pdf

CMU-CS-18-109
The Design and Implementation of a Non-Volatile Memory Database Management System
Joy Arulraj, Ph.D. Thesis
Abstract, .pdf

CMU-CS-18-110
Unpublished to Date

CMU-CS-18-111
Combinatorial Optimization Under Uncertainty: Probing and Stopping-Time Algorithms
Sahil Singla, Ph.D. Thesis
Abstract, .pdf

CMU-CS-18-112
Pricing Online Metric Matching Algorithms on Trees
Aditya Krishnan, M.S. Thesis
Abstract, .pdf

CMU-CS-18-113
Write-efficient Algorithms
Yan Gu, Ph.D. Thesis
Abstract, .pdf

CMU-CS-18-114
Foundation of Machine Learning, by the People, for the People
Nika Haghtalab, Ph.D. Thesis
Abstract, .pdf

CMU-CS-18-115
Slang – A Shader Compilation System for Extensible, Real-Time Shading
Yong He, Ph.D. Thesis
Abstract, .pdf

CMU-CS-18-116
Understanding and applying human grasping to artificial manipulators
Yuzuko Nakamura, Ph.D. Thesis
Abstract, .pdf

CMU-CS-18-117
Painting with CaTS: Camera-aided Texture Synthesis
Ticha Sethapakdi, M.S. Thesis
Abstract, .pdf

CMU-CS-18-118
Unavailable to Date

CMU-CS-18-119
Hand Pose Estimation and Prediction for Virtual Reality Applications
Se-Joon Chung, Ph.D. Thesis
Abstract, .pdf

CMU-CS-18-120
Responsive Parallel Computation
Stefan K. Muller, Ph.D. Thesis
Abstract, .pdf

CMU-CS-18-121
Topics in Approximation and Online Algorithms
Guru Guruganesh, Ph.D. Thesis
Abstract, .pdf

CMU-CS-18-122
Formal Verification of Pipelined Y86-64 Microprocessors with UCLID5
Randal E. Bryant
Abstract, .pdf

CMU-CS-18-123
New Aspects of Beyond Worst-Case Analysis
Colin White, Ph.D. Thesis
Abstract, .pdf

CMU-CS-18-124
Hardware Transactional Memory in C++
Mario Dehesa Azuara, Nick Stanley
Abstract, .pdf

CMU-CS-18-125
Verifiably Safe Autonomy for Cyber-Physical Systems
Nathan Fulton, Ph.D. Thesis
Abstract, .pdf

CMU-CS-18-126
Directed Exploration for Improved Sample Efficiency in Reinforcement Learning
Zhaohan Daniel Guo, Ph.D. Thesis
Abstract, .pdf

CMU-CS-18-127
Framework Design for Improving Computational Efficiency and Programming Productivity for Distributed Machine Learning
Jin Kyu Kim, Ph.D. Thesis
Abstract, .pdf

CMU-CS-18-128
Practical Concurrency Testing: or: How I Learned to Stop Worrying and Love the Exponential Explosion
Ben Blum, Ph.D. Thesis
Abstract, .pdf

CMU-CS-18-129
Towards Shape Reconstruction through Differentiable Rendering
Sai Praveen Bangaru, M.S. Thesis
Abstract, .pdf

Return to: SCS Technical Report Collection