Follow
Sam Bayless
Sam Bayless
University of British Columbia, Amazon Web Services
Verified email at cs.ubc.ca - Homepage
Title
Cited by
Cited by
Year
The configurable SAT solver challenge (CSSC)
F Hutter, M Lindauer, A Balint, S Bayless, H Hoos, K Leyton-Brown
Artificial Intelligence 243, 1-25, 2017
762017
Reachability analysis for AWS-based networks
J Backes, S Bayless, B Cook, C Dodge, A Gacek, AJ Hu, T Kahsai, ...
Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019
702019
SAT Modulo Monotonic Theories
S Bayless, N Bayless, HH Hoos, AJ Hu
Proceedings of the 29th AAAI Conference on Artificial Intelligence (AAAI-15 …, 2015
632015
Efficient modular SAT solving for IC3
S Bayless, CG Val, T Ball, HH Hoos, AJ Hu
2013 Formal Methods in Computer-Aided Design, 149-156, 2013
272013
Precisely measuring quantitative information flow: 10k lines of code and beyond
CG Val, MA Enescu, S Bayless, W Aiello, AJ Hu
2016 IEEE European Symposium on Security and Privacy (EuroS&P), 31-46, 2016
262016
Scalable Constraint-Based Virtual Data Center Allocation
S Bayless, N Kodirov, I Beschastnikh, HH Hoos, AJ Hu
International Joint Conference on Artificial Intelligence, 2017
242017
Fast, flexible, and minimal CTL synthesis via SMT
T Klenze, S Bayless, AJ Hu
Computer Aided Verification: 28th International Conference, CAV 2016 …, 2016
122016
VNF chain allocation and management at data center scale
N Kodirov, S Bayless, F Ruffy, I Beschastnikh, HH Hoos, AJ Hu
Proceedings of the 2018 Symposium on Architectures for Networking and …, 2018
102018
Evaluating instance generators by configuration
S Bayless, DAD Tompkins, HH Hoos
International Conference on Learning and Intelligent Optimization, 47-61, 2014
62014
Theories
S Bayless, N Bayless, HH Hoos, AJHSATM Monotonic
Proceedings of the 29th AAAI Conference on Artificial Intelligence, 2015
52015
Debugging network reachability with blocked paths
S Bayless, J Backes, D DaCosta, BF Jones, N Launchbury, P Trentin, ...
Computer Aided Verification: 33rd International Conference, CAV 2021 …, 2021
42021
Scalable, high-quality, sat-based multi-layer escape routing
S Bayless, HH Hoos, AJ Hu
2016 IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 1-8, 2016
42016
Efficient Coverage-Driven Stimulus Generation Using Simultaneous SAT Solving, with Application to SystemVerilog
AC Cheng, CC Yen, CG Val, S Bayless, AJ Hu, IHR Jiang, JY Jou
ACM Transactions on Design Automation of Electronic Systems (TODAES) 20 (1 …, 2014
32014
Results of the configurable SAT solver challenge 2014
F Hutter, M Lindauer, S Bayless, H Hoos, K Leyton-Brown
Technical report, University of Freiburg, Department of Computer Science, 2014
32014
Single-solver algorithms for 2QBF
S Bayless, AJ Hu
International Conference on Theory and Applications of Satisfiability …, 2012
32012
SAT modulo monotonic theories
S Bayless
University of British Columbia, 2017
22017
Managing network configuration through network path analysis
JD Backes, S Bayless, DW Dacosta, A Li
US Patent 11,245,614, 2022
12022
Path analysis service for identifying network configuration settings that block paths in virtual private clouds (VPCs)
S Bayless, JD Backes, DW Dacosta, BF Jones, P Trentin, N Launchbury, ...
US Patent 11,206,175, 2021
12021
Configurable sat solver challenge 2014
F Hutter, M Lindauer, S Bayless, H Hoos, K Leyton-Brown
Technical Report 277, Department of Computer Science, University of Freiburg …, 2014
12014
DRAT Proofs of Unsatisfiability for SAT Modulo Monotonic Theories
N Feng, AJ Hu, S Bayless, SM Iqbal, P Trentin, M Whalen, L Pike, ...
International Conference on Tools and Algorithms for the Construction and …, 2024
2024
The system can't perform the operation now. Try again later.
Articles 1–20