Sam Bayless

According to our database, Sam Bayless authored at least 18 papers between 2012 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

2023

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

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

2021

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

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2020

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

2019

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

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2018

VNF chain abstraction for cloud service providers.

Nodir Kodirov, Sam Bayless, Fabian Ruffy, Ivan Beschastnikh, Holger H. Hoos, Alan J. Hu

Proceedings of the 2018 Symposium on Architectures for Networking and Communications Systems, 2018

VNF chain allocation and management at data center scale.

Nodir Kodirov, Sam Bayless, Fabian Ruffy, Ivan Beschastnikh, Holger H. Hoos, Alan J. Hu

Proceedings of the 2018 Symposium on Architectures for Networking and Communications Systems, 2018

2017

The Configurable SAT Solver Challenge (CSSC).

Frank Hutter, Marius Lindauer, Adrian Balint, Sam Bayless, Holger H. Hoos, Kevin Leyton-Brown

Artif. Intell., 2017

Scalable Constraint-based Virtual Data Center Allocation.

Sam Bayless, Nodir Kodirov, Ivan Beschastnikh, Holger H. Hoos, Alan J. Hu

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

2016

Scalable, high-quality, SAT-based multi-layer escape routing.

Sam Bayless, Holger H. Hoos, Alan J. Hu

Proceedings of the 35th International Conference on Computer-Aided Design, 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

Proceedings of the IEEE European Symposium on Security and Privacy, 2016

Fast, Flexible, and Minimal CTL Synthesis via SMT.

Tobias Klenze, Sam Bayless, Alan J. Hu

Proceedings of the Computer Aided Verification - 28th International Conference, 2016

2015

SAT Modulo Monotonic Theories.

Sam Bayless, Noah Bayless, Holger H. Hoos, Alan J. Hu

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

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

Evaluating Instance Generators by Configuration.

Sam Bayless, Dave A. D. Tompkins, Holger H. Hoos

Proceedings of the Learning and Intelligent Optimization, 2014

2013

Efficient modular SAT solving for IC3.

Sam Bayless, Celina G. Val, Thomas Ball, Holger H. Hoos, Alan J. Hu

Proceedings of the Formal Methods in Computer-Aided Design, 2013

2012

Legends of descent: analytics in an ad-supported windows phone game.

Ian Obermiller, Sam Bayless

Proceedings of the first ACM International Workshop on Mobile Gaming, 2012

Single-Solver Algorithms for 2QBF - (Poster Presentation).

Sam Bayless, Alan J. Hu

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2012, 2012