Sam Bayless

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 13

Top Topics

Stochastic Local Search Algorithms

Top Venues

Publications

Nick Feng, Alan J. Hu, Sam Bayless, Syed M. Iqbal, Patrick Trentin, Mike Whalen, Lee Pike, John Backes
DRAT Proofs of Unsatisfiability for SAT Modulo Monotonic Theories. CoRR (2024)
Nick Feng, Alan J. Hu, Sam Bayless, Syed M. Iqbal, Patrick Trentin, Mike Whalen, Lee Pike, John Backes
DRAT Proofs of Unsatisfiability for SAT Modulo Monotonic Theories. TACAS (1) (2024)
Andrew Apicelli, Sam Bayless, Ankush Das, Andrew Gacek, Dhiva Jaganathan, Saswat Padhi, Vaibhav Sharma, Michael W. Whalen, Raveesh Yadav
Automated Analyses of IOT Event Monitoring Systems. CAV (1) (2023)
Sam Bayless, John D. Backes, D. DaCosta, B. F. Jones, N. Launchbury, P. Trentin, K. Jewell, S. Joshi, M. Q. Zeng, N. Mathews
Debugging Network Reachability with Blocked Paths. CAV (2) (2021)
Sam Bayless, Nodir Kodirov, Syed M. Iqbal, Ivan Beschastnikh, Holger H. Hoos, Alan J. Hu
Scalable constraint-based virtual data center allocation. Artif. Intell. 278 (2020)
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
Reachability Analysis for AWS-Based Networks. CAV (2) (2019)
Nodir Kodirov, Sam Bayless, Fabian Ruffy, Ivan Beschastnikh, Holger H. Hoos, Alan J. Hu
VNF chain allocation and management at data center scale. ANCS (2018)
Nodir Kodirov, Sam Bayless, Fabian Ruffy, Ivan Beschastnikh, Holger H. Hoos, Alan J. Hu
VNF chain abstraction for cloud service providers. ANCS (2018)
Sam Bayless, Nodir Kodirov, Ivan Beschastnikh, Holger H. Hoos, Alan J. Hu
Scalable Constraint-based Virtual Data Center Allocation. IJCAI (2017)
Frank Hutter, Marius Lindauer, Adrian Balint, Sam Bayless, Holger H. Hoos, Kevin Leyton-Brown
The Configurable SAT Solver Challenge (CSSC). Artif. Intell. 243 (2017)
Sam Bayless, Holger H. Hoos, Alan J. Hu
Scalable, high-quality, SAT-based multi-layer escape routing. ICCAD (2016)
Tobias Klenze, Sam Bayless, Alan J. Hu
Fast, Flexible, and Minimal CTL Synthesis via SMT. CAV (1) (2016)
Celina G. Val, Michael A. Enescu, Sam Bayless, William Aiello, Alan J. Hu
Precisely Measuring Quantitative Information Flow: 10K Lines of Code and Beyond. EuroS&P (2016)
Sam Bayless, Noah Bayless, Holger H. Hoos, Alan J. Hu
SAT Modulo Monotonic Theories. AAAI (2015)
Frank Hutter, Marius Lindauer, Adrian Balint, Sam Bayless, Holger H. Hoos, Kevin Leyton-Brown
The Configurable SAT Solver Challenge (CSSC). CoRR (2015)
Sam Bayless, Dave A. D. Tompkins, Holger H. Hoos
Evaluating Instance Generators by Configuration. LION (2014)
Sam Bayless, Noah Bayless, Holger H. Hoos, Alan J. Hu
SAT Modulo Monotonic Theories. CoRR (2014)
An-Che Cheng, Chia-Chih Jack Yen, Celina G. Val, Sam Bayless, Alan J. Hu, Iris Hui-Ru Jiang, Jing-Yang Jou
Efficient Coverage-Driven Stimulus Generation Using Simultaneous SAT Solving, with Application to SystemVerilog. ACM Trans. Design Autom. Electr. Syst. 20 (1) (2014)
Sam Bayless, Celina G. Val, Thomas Ball, Holger H. Hoos, Alan J. Hu
Efficient modular SAT solving for IC3. FMCAD (2013)
Ian Obermiller, Sam Bayless
Legends of descent: analytics in an ad-supported windows phone game. MobiGames@SIGCOMM (2012)
Sam Bayless, Alan J. Hu
Single-Solver Algorithms for 2QBF - (Poster Presentation). SAT (2012)