Sam Bayless
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
12
Venues
8
Active years
2012–2026
Best venue rank
A*
Where they publish
Papers
12 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CAV | A Neurosymbolic Approach to Natural Language Formalization and Verification. | Chenyang An, Sam Bayless, Stefano Buliani, Darion Cassel, Byron Cook, Duncan Clough, Rmi Delmas, Nafi Diallo, Ferhat Erata, Nick Feng, Dimitra Giannakopoulou, Aman Goel, Aditya Gokhale, Joe Hendrix, Victor Heorhiadi, Marc Hudak, Dejan Jovanovic, Andrew M. Kent, Benjamin Kiesl-Reiter, Jeffrey J. Kuna, Nadia Labai, Joseph Lilien, Divya Raghunathan, Zvonimir Rakamaric, Niloofar Razavi, Michael Tautschnig, Ali Torkamani, Nathaniel Weir, Michael W. Whalen, Jianan Yao |
| 2024 | TACAS | DRAT Proofs of Unsatisfiability for SAT Modulo Monotonic Theories. | Nick Feng, Alan J. Hu, Sam Bayless, Syed M. Iqbal, Patrick Trentin, Mike Whalen, Lee Pike, John Backes |
| 2023 | CAV | Automated Analyses of IOT Event Monitoring Systems. | Andrew Apicelli, Sam Bayless, Ankush Das, Andrew Gacek, Dhiva Jaganathan, Saswat Padhi, Vaibhav Sharma, Michael W. Whalen, Raveesh Yadav |
| 2021 | CAV | Debugging Network Reachability with Blocked Paths. | Sam Bayless, John D. Backes, Dan DaCosta, Benjamin F. Jones, Nate Launchbury, Patrick Trentin, Kelsey Jewell, Sagar Joshi, Michael Q. Zeng, Nandita Mathews |
| 2019 | CAV | Reachability Analysis for AWS-Based Networks. | John Backes, Sam Bayless, Byron Cook, Catherine Dodge, Andrew Gacek, Alan J. Hu, Temesghen Kahsai, Bill Kocik, Evgenii Kotelnikov, Jure Kukovec, Sean McLaughlin, Jason Reed, Neha Rungta, John Sizemore, Mark A. Stalzer, Preethi Srinivasan, Pavle Subotic, Carsten Varming, Blake Whaley |
| 2017 | IJCAI | Scalable Constraint-based Virtual Data Center Allocation. | Sam Bayless, Nodir Kodirov, Ivan Beschastnikh, Holger H. Hoos, Alan J. Hu |
| 2016 | CAV | Fast, Flexible, and Minimal CTL Synthesis via SMT. | Tobias Klenze, Sam Bayless, Alan J. Hu |
| 2016 | ICCAD | Scalable, high-quality, SAT-based multi-layer escape routing. | Sam Bayless, Holger H. Hoos, Alan J. Hu |
| 2015 | AAAI | SAT Modulo Monotonic Theories. | Sam Bayless, Noah Bayless, Holger H. Hoos, Alan J. Hu |
| 2013 | FMCAD | Efficient modular SAT solving for IC3. | Sam Bayless, Celina G. Val, Thomas Ball, Holger H. Hoos, Alan J. Hu |
| 2012 | SIGCOMM | Legends of descent: analytics in an ad-supported windows phone game. | Ian Obermiller, Sam Bayless |
| 2012 | SAT | Single-Solver Algorithms for 2QBF - (Poster Presentation). | Sam Bayless, Alan J. Hu |