Single-Solver Algorithms for 2QBF - (Poster Presentation). - Sam Bayless; Alan J. Hu (SAT, 2012)

Legends of descent: analytics in an ad-supported windows phone game. - Ian Obermiller; Sam Bayless (MobiGames@SIGCOMM, 2012)

Efficient modular SAT solving for IC3. - Sam Bayless; Celina G. Val; Thomas Ball 001; Holger H. Hoos; Alan J. Hu (FMCAD, 2013)

Evaluating Instance Generators by Configuration. - Sam Bayless; Dave A. D. Tompkins; Holger H. Hoos (LION, 2014)

Efficient Coverage-Driven Stimulus Generation Using Simultaneous SAT Solving, with Application to SystemVerilog. - An-Che Cheng; Chia-Chih Jack Yen; Celina G. Val; Sam Bayless; Alan J. Hu; Iris Hui-Ru Jiang; Jing-Yang Jou (ACM Trans. Design Autom. Electr. Syst., 2014)

SAT Modulo Monotonic Theories. - Sam Bayless; Noah Bayless; Holger H. Hoos; Alan J. Hu (AAAI, 2015)

Fast, Flexible, and Minimal CTL Synthesis via SMT. - Tobias Klenze; Sam Bayless; Alan J. Hu (CAV (1), 2016)

Precisely Measuring Quantitative Information Flow: 10K Lines of Code and Beyond. - Celina G. Val; Michael A. Enescu; Sam Bayless; William Aiello; Alan J. Hu (EuroS&P, 2016)

Scalable, high-quality, SAT-based multi-layer escape routing. - Sam Bayless; Holger H. Hoos; Alan J. Hu (ICCAD, 2016)

Scalable Constraint-based Virtual Data Center Allocation. - Sam Bayless; Nodir Kodirov; Ivan Beschastnikh; Holger H. Hoos; Alan J. Hu (IJCAI, 2017)

The Configurable SAT Solver Challenge (CSSC). - Frank Hutter; Marius Lindauer; Adrian Balint; Sam Bayless; Holger H. Hoos; Kevin Leyton-Brown (Artif. Intell., 2017)

VNF chain allocation and management at data center scale. - Nodir Kodirov; Sam Bayless; Fabian Ruffy; Ivan Beschastnikh; Holger H. Hoos; Alan J. Hu (ANCS, 2018)

VNF chain abstraction for cloud service providers. - Nodir Kodirov; Sam Bayless; Fabian Ruffy; Ivan Beschastnikh; Holger H. Hoos; Alan J. Hu (ANCS, 2018)

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 004; et al. (CAV (2), 2019)

Scalable constraint-based virtual data center allocation. - Sam Bayless; Nodir Kodirov; Syed M. Iqbal; Ivan Beschastnikh; Holger H. Hoos; Alan J. Hu (Artif. Intell., 2020)

Debugging Network Reachability with Blocked Paths. - Sam Bayless; John D. Backes; Dan DaCosta; Benjamin F. Jones 002; Nate Launchbury; Patrick Trentin; Kelsey Jewell; Sagar Joshi; Michael Q. Zeng; Nandita Mathews (CAV (2), 2021)

Automated Analyses of IOT Event Monitoring Systems. - Andrew Apicelli; Sam Bayless; Ankush Das; Andrew Gacek; Dhiva Jaganathan; Saswat Padhi; Vaibhav Sharma 001; Michael W. Whalen; Raveesh Yadav (CAV (1), 2023)

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 (TACAS (1), 2024)