UWSpace will be migrating to a new version of its software from July 29th to August 1st. UWSpace will be offline for all UW community members during this time.
Browsing Computer Science by Type "Preprint"
Now showing items 1-5 of 5
-
BanditFuzz: Fuzzing SMT Solvers with Reinforcement Learning
(2020)Satisfiability Modulo Theories (SMT) solvers are fundamental tools in the broad context of software engineering and security research. If SMT solvers are to continue to have an impact, it is imperative we develop efficient ... -
Does AI Remember? Neural Networks and the Right to be Forgotten
(2020-04-14)The Right to be Forgotten is part of the recently enacted General Data Protection Regulation law that affects any data holder that has data on European Union residents. It gives EU residents the ability to request deletion ... -
How I wasted too long finding a concentration inequality for sums of geometric variables
(2011)I wanted a concentration inequality for sums of iid geometric random variables. This took way too long. -
MachSMT: A Machine Learning-based Algorithm Selector for SMT Solvers
(2020)In this paper, we present MachSMT, an algorithm selection tool for state-of-the-art Satisfiability Modulo Theories (SMT) solvers. MachSMT supports the entirety of the logics within the SMT-LIB initiative. MachSMT uses ... -
Rescuing Historical Climate Observations to Support Hydrological Research: A Case Study of Solar Radiation Data
(ACM, 2021-08-16)The acceleration of climate change and its impact highlight the need for long-term reliable climate data at high spatiotemporal resolution to answer key science questions in cold regions hydrology. Prior to the digital ...