Browsing Computer Science by Author "Ganesh, Vijay"
Now showing items 1-3 of 3
-
BanditFuzz: Fuzzing SMT Solvers with Reinforcement Learning
Scott, Joseph; Mora, Federico; Ganesh, Vijay (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
Graves, Laura; Nagisetty, Vineel; Ganesh, Vijay (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 ... -
MachSMT: A Machine Learning-based Algorithm Selector for SMT Solvers
Scott, Joseph; Niemetz, Aina; Preiner, Mathias; Ganesh, Vijay (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 ...