| 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 | 83 | 2019 |
| 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 | 82 | 2017 |
| SAT Modulo Monotonic Theories S Bayless, N Bayless, HH Hoos, AJ Hu Proceedings of the 29th AAAI Conference on Artificial Intelligence (AAAI-15 …, 2015 | 68 | 2015 |
| 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 | 30 | 2016 |
| 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 | 29 | 2013 |
| Scalable Constraint-Based Virtual Data Center Allocation S Bayless, N Kodirov, I Beschastnikh, HH Hoos, AJ Hu International Joint Conference on Artificial Intelligence, 2017 | 25 | 2017 |
| Fast, flexible, and minimal CTL synthesis via SMT T Klenze, S Bayless, AJ Hu Computer Aided Verification: 28th International Conference, CAV 2016 …, 2016 | 13 | 2016 |
| 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 | 11 | 2018 |
| Evaluating instance generators by configuration S Bayless, DAD Tompkins, HH Hoos International Conference on Learning and Intelligent Optimization, 47-61, 2014 | 6 | 2014 |
| 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 | 5 | 2021 |
| Theories S Bayless, N Bayless, HH Hoos, AJHSATM Monotonic Proceedings of the 29th AAAI Conference on Artificial Intelligence, 2015 | 5 | 2015 |
| 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 | 4 | 2016 |
| Managing network configuration through network path analysis JD Backes, S Bayless, DW Dacosta, A Li US Patent 11,245,614, 2022 | 3 | 2022 |
| 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 | 3 | 2014 |
| 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 | 3 | 2014 |
| Single-solver algorithms for 2QBF S Bayless, AJ Hu International Conference on Theory and Applications of Satisfiability …, 2012 | 3 | 2012 |
| SAT modulo monotonic theories S Bayless University of British Columbia, 2017 | 2 | 2017 |
| 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 | 1 | 2024 |
| 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 | 1 | 2021 |
| Configurable sat solver challenge 2014 F Hutter, A Balint | 1 | 2013 |
Alan J. HuProfessor of Computer Science, University of British ColumbiaVerified email at cs.ubc.ca