CS Theses and Dissertations
Browse by
This collection contains theses and dissertations of the UW-Madison Department of Computer Sciences. For assistance adding a thesis or dissertation to this collection, please contact Gigi Mitchell. When submitting a thesis or dissertation to this collection, please fill out the Proxy Form.
Recent Submissions
-
Specializing C and x86 Machine-Code Software with OS Assistance
(2024-01-16)There is an intrinsic tension between the incentives for developers of commodity software and the desires of users of commodity software. Developers of commodity software must support a multitude of users and use cases, ... -
Mutation Testing: Algorithms and Applications
(2020)Software continues to be vital to the modern world, and as its ubiquity increases, its correctness becomes ever more valuable. Unfortunately, fundamental mathematical constraints on static analysis preclude the possibility ... -
Enhancing Algebraic Program Analysis
(2020-08-20)Many programs have important functional-correctness properties that involve sophisticated mathematical relationships between numerical variables. Additionally, many programs have important numerical properties that ... -
Understanding Representation Learning Paradigms with Applications to Low Resource Text Classification
(2020-05-21)A crucial component of modern machine learning systems is learning input representations which can be used for prediction tasks. The expensive cost of labelling and easy availability of unlabelled data has led to the ... -
On the Geometric and Statistical Interpretation of Data Augmentation
(2019-05-10)Data augmentation (DA) is a common technique in training machine learning models. For example in image classifications, people augment image datasets by random cropping, rotating, and adding random noises. Another trending ... -
Improving Regulatory Network Reconstruction Through Topological Priors, Robust Hyperparameter Exploration, and Multi-Task Learning
(2019-05-10)Regulatory network reconstruction is an ongoing field of research that biologists have been pressing with considerable effort. Although several computational methods have been investigated, inferred networks still severely ...