Joseph Scott
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
2017–2024
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | AAAI | BertRLFuzzer: A BERT and Reinforcement Learning Based Fuzzer (Student Abstract). | Piyush Jha, Joseph Scott, Jaya Sriram Ganeshna, Mudit Singh, Vijay Ganesh |
| 2021 | AAAI | Logic Guided Genetic Algorithms (Student Abstract). | Dhananjay Ashok, Joseph Scott, Sebastian Johann Wetzel, Maysum Panju, Vijay Ganesh |
| 2021 | FM | BanditFuzz: Fuzzing SMT Solvers with Multi-agent Reinforcement Learning. | Joseph Scott, Trishal Sudula, Hammad Rehman, Federico Mora, Vijay Ganesh |
| 2021 | TACAS | MachSMT: A Machine Learning-based Algorithm Selector for SMT Solvers. | Joseph Scott, Aina Niemetz, Mathias Preiner, Saeed Nejati, Vijay Ganesh |
| 2020 | AAAI | LGML: Logic Guided Machine Learning (Student Abstract). | Joseph Scott, Maysum Panju, Vijay Ganesh |
| 2017 | SAT | A Propagation Rate Based Splitting Heuristic for Divide-and-Conquer Solvers. | Saeed Nejati, Zack Newsham, Joseph Scott, Jia Hui Liang, Catherine H. Gebotys, Pascal Poupart, Vijay Ganesh |