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

CMU-CS-19-100
Verifying Concurrent Randomized Algorithms
Joseph Tassarotti, Ph.D. Thesis
Abstract, .pdf

CMU-CS-19-101
Mining Large Dynamic Graphs and Tensors
Kijung Shin, Ph.D. Thesis
Abstract, .pdf

CMU-CS-19-102
Unavailable to Date

CMU-CS-19-103
Incorporating Structural Bias into Neural Networks for Natural Language Processing
Zichao Yang, Ph.D. Thesis
Abstract, .pdf

CMU-CS-19-104
Non-blocking Lazy Schema Changes in Multi-Version Database Management Systems
Yangjun Sheng, M.S. Thesis
Abstract, .pdf

CMU-CS-19-105
Nominal Wyvern: Employing Semantic Separation for Usability
Yu Xiang Zhu, M.S. Thesis
Abstract, .pdf

CMU-CS-19-106
An Extensible Scalable, and Continuously Adaptive Machine Learning Layer for the Internet-of-Things
Prahaladha Mallela, M.S. Thesis
Abstract, .pdf

CMU-CS-19-107
Distribution-based cluster scheduling
Jun Woo Park, Ph.D. Thesis
Abstract, .pdf

CMU-CS-19-108
Approximate Continuous Belief Distributions for Exploration
Wennie Tabib, Ph.D. Thesis
Abstract, .pdf

CMU-CS-19-109
Differentiable Optimization-Based Modeling for Machine Learning
Brandon Amos, Ph.D. Thesis
Abstract, .pdf

CMU-CS-19-110
Integrating Human and Machine Intelligence for Enhanced Curriculum Design
Shayan Doroudi, Ph.D. Thesis
Abstract, .pdf

CMU-CS-19-111
dL_ι: Definite Descriptions in Differential Dynamic Logic
Brandon Bohrer, Manuel Fernández, André Platzer
Abstract, .pdf

CMU-CS-19-112
Supporting Hybrid Workloads for In-Memory Database Management Systems via a Universal Columnar Storage Format
Tianyu Li, M.S. Thesis
Abstract, .pdf

CMU-CS-19-113
Machine Learning: Social Values, Data Efficiency, and Beyond Prediction
Travis Dick, Ph.D. Thesis
Abstract, .pdf

CMU-CS-19-114
Using Drone Cameras and Computer Vision Toward Improved Stabilization and Landing Algorithms
Gaurav Lahiry, M.S. Thesis
Abstract, .pdf

CMU-CS-19-115
On the Approximability of Injective Tensor Norm
Vijay Bhattiprolu, Ph.D. Thesis
Abstract, .pdf

CMU-CS-19-116
A Sound Calculus for a Logic of Belief-Aware Cyber-Physical Systems
João G. Martins, André Platzer, João Leite
Abstract, .pdf

CMU-CS-19-117
Towards a Low-Memory-Footprint, Container-Based IoT Security Gateway
Sanjay Chandrasekaran, M.S. Thesis
Abstract, .pdf

CMU-CS-19-118
In Search of Degree-4 Sum-of-Squares Lower Bounds for MaxCut
Corwin de Boor, M.S. Thesis
Abstract, .pdf

CMU-CS-19-119
Session-Typed Concurrent Contracts
Hannah Gommerstadt, Ph.D. Thesis
Abstract, .pdf

CMU-CS-19-120
Learning Generative Models from Incomplete Data
Yao Chong Lim, M.S. Thesis
Abstract, .pdf

CMU-CS-19-121
DetectorShop: Democratizing Deep Learning Object Detectors
Tan Li, M.S. Thesis
Abstract, .pdf

CMU-CS-19-122
Data Structure Engineering for High Performance Software Packet Processing
Dong Zhou, Ph.D. Thesis
Abstract, .pdf

CMU-CS-19-123
Periodic Conformal Parameterization
Connor Zhizhen Lin, M.S. Thesis
Abstract, .pdf

CMU-CS-19-124
Spontaneous Human Emotion Recognition from Video
Mounira Tlili, M.S. Thesis
Abstract, .pdf

CMU-CS-19-125
Representation Learning for Voice Profiling
Daanish Ali Khan, M.S. Thesis
Abstract, .pdf

CMU-CS-19-126
Efficient Remote Procedure Calls for Datacenters
Anuj Kalia, Ph.D. Thesis
Abstract, .pdf

CMU-CS-19-127
Computational Semantics of Cartesian Cubical Type Theory
Carlo Angiuli, Ph.D. Thesis
Abstract, .pdf

CMU-CS-19-128
Join-based Parallel Balanced Binary Trees
Yihan Sun, Ph.D. Thesis
Abstract, .pdf

CMU-CS-19-129
Replicated Training in Self-Driving Database Management Systems
Gustavo E. Angulo Mezerhane, M.S. Thesis
Abstract, .pdf

CMU-CS-19-130
Work Efficient Schedulers
Yue Yao, M.S. Thesis
Abstract, .pdf

CMU-CS-19-131
Improving the Accuracy and Runtime of Probablistic and Deep Learning-Based Pose Estimation
Mengyun Xu, M.S. Thesis
Abstract, .pdf

CMU-CS-19-132
Uncertainty and Diversity in Deep Active Image Classification
Hariank Muthakana, M.S. Thesis
Abstract, .pdf

CMU-CS-19-133
On Session Typed Contracts for Imperative Languages
Chuta Sano, M.S. Thesis
Abstract, .pdf

CMU-CS-19-134
Generalized Byzantine Agreement with Incomplete Views
Hanjun Li, M.S. Thesis
Abstract, .pdf

CMU-CS-19-135
Scheduling for Efficient Large-Scale Machine Learning Training
Jinliang Wei, Ph.D. Thesis
Abstract, .pdf

Return to: SCS Technical Report Collection