cvc5: A Versatile and Industrial-Strength SMT Solver H Barbosa, C Barrett, M Brain, G Kremer, H Lachnitt, M Mann, ... Tools and Algorithms for Construction and Analysis of Systems (TACAS …, 2022 | 470 | 2022 |
Pono: A Flexible and Extensible SMT-Based Model Checker M Mann, A Irfan, F Lonsing, Y Yang, H Zhang, K Brown, A Gupta, C Barrett International Conference on Computer Aided Verification, 461-474, 2021 | 45 | 2021 |
CoSA: Integrated verification for agile hardware design C Mattarei, M Mann, C Barrett, RG Daly, D Huff, P Hanrahan 2018 Formal Methods in Computer Aided Design (FMCAD), 1-5, 2018 | 40 | 2018 |
Creating an agile hardware design flow R Bahr, C Barrett, N Bhagdikar, A Carsello, R Daly, C Donovick, D Durst, ... 2020 57th ACM/IEEE Design Automation Conference (DAC), 1-6, 2020 | 32 | 2020 |
SMT-switch: a solver-agnostic C++ api for smt solving M Mann, A Wilson, Y Zohar, L Stuntz, A Irfan, K Brown, C Donovick, ... International Conference on Theory and Applications of Satisfiability …, 2021 | 20 | 2021 |
fault: A Python Embedded Domain-Specific Language for Metaprogramming Portable Hardware Verification Components L Truong, S Herbst, R Setaluri, M Mann, R Daly, K Zhang, C Donovick, ... International Conference on Computer Aided Verification, 403-414, 2020 | 20 | 2020 |
Counterexample-guided prophecy for model checking modulo the theory of arrays M Mann, A Irfan, A Griggio, O Padon, C Barrett Logical Methods in Computer Science 18, 2022 | 19 | 2022 |
How to train your neural control barrier function: Learning safety filters for complex input-constrained systems O So, Z Serlin, M Mann, J Gonzales, K Rutledge, N Roy, C Fan 2024 IEEE International Conference on Robotics and Automation (ICRA), 11532 …, 2024 | 18 | 2024 |
Bit-Precise Reasoning via Int-Blasting Y Zohar, A Irfan, M Mann, A Niemetz, A Nötzli, M Preiner, A Reynolds, ... International Conference on Verification, Model Checking, and Abstract …, 2022 | 16 | 2022 |
Agile SMT-Based Mapping for CGRAs with Restricted Routing Networks C Donovick, M Mann, C Barrett, P Hanrahan 2019 International Conference on ReConFigurable Computing and FPGAs …, 2019 | 14 | 2019 |
CoSA: Integrated Verification for Agile Hardware Design. In 2018 Formal Methods in Computer Aided Design (FMCAD) C Mattarei, M Mann, C Barrett, RG Daly, D Huff, P Hanrahan IEEE, New York, NY, 1ś5, 2018 | 14 | 2018 |
Learning minimally-violating continuous control for infeasible linear temporal logic specifications M Cai, M Mann, Z Serlin, K Leahy, CI Vasile 2023 American Control Conference (ACC), 1446-1452, 2023 | 10 | 2023 |
A framework for adding low-overhead, fine-grained power domains to CGRAs A Nayak, K Zhang, R Setaluri, A Carsello, M Mann, S Richardson, R Bahr, ... 2020 Design, Automation & Test in Europe Conference & Exhibition (DATE), 846-851, 2020 | 10 | 2020 |
Unlocking the Power of Formal Hardware Verification with CoSA and Symbolic QED F Lonsing, K Ganesan, M Mann, SS Nuthakki, E Singh, M Srouji, Y Yang, ... 2019 IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 1-8, 2019 | 10 | 2019 |
Partial Order Reduction for Deep Bug Finding in Synchronous Hardware M Mann, C Barrett International Conference on Tools and Algorithms for the Construction and …, 2020 | 6 | 2020 |
Rewrite-Based Decomposition of Signal Temporal Logic Specifications K Leahy, M Mann, CI Vasile NASA Formal Methods Symposium, 224-240, 2023 | 5 | 2023 |
A Flexible and Efficient Temporal Logic Tool for Python: PyTeLo GA Cardona, K Leahy, M Mann, CI Vasile arXiv preprint arXiv:2310.08714, 2023 | 4 | 2023 |
Improving Energy Efficiency of CGRAs with Low-Overhead Fine-Grained Power Domains A Nayak, K Zhang, R Setaluri, A Carsello, M Mann, C Torng, ... ACM Transactions on Reconfigurable Technology and Systems 16 (2), 1-28, 2023 | 4 | 2023 |
Automating System Configuration N Tsiskaridze, M Strange, M Mann, K Sreedhar, Q Liu, M Horowitz, ... CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN–FMCAD 2021, 102, 2021 | 4 | 2021 |
STL: Surprisingly Tricky Logic (for System Validation) HC Siu, K Leahy, M Mann 2023 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2023 | 3 | 2023 |