Follow
Makai Mann
Makai Mann
Technical Staff, MIT Lincoln Laboratory
Verified email at ll.mit.edu - Homepage
Title
Cited by
Cited by
Year
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
2982022
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
Computer Aided Verification: 33rd International Conference, CAV 2021 …, 2021
382021
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
362018
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
292020
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
162020
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
152022
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
152021
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
142019
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
92020
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
82022
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
82019
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
arXiv preprint arXiv:2310.15478, 2023
62023
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
62023
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
52020
Rewrite-Based Decomposition of Signal Temporal Logic Specifications
K Leahy, M Mann, CI Vasile
NASA Formal Methods Symposium, 224-240, 2023
32023
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
32023
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
22021
lazybv2int at the SMT Competition 2020
Y Zohar, A Irfan, M Mann, A Nötzli, A Reynolds, C Barrett
22020
Uncertainty Quantification for Recursive Estimation in Adaptive Safety-Critical Control
MH Cohen, M Mann, K Leahy, C Belta
arXiv preprint arXiv:2304.01901, 2023
12023
Lightweight Online Learning for Sets of Related Problems in Automated Reasoning
H Wu, C Hahn, F Lonsing, M Mann, R Ramanujan, C Barrett
2023 Formal Methods in Computer-Aided Design (FMCAD), 1-11, 2023
2023
The system can't perform the operation now. Try again later.
Articles 1–20