Browsing Mathematics (Faculty of) 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 ...