CoSA: Integrated Verification for Agile Hardware Design. - Cristian Mattarei; Makai Mann; Clark W. Barrett; Ross G. Daly; Dillon Huff; Pat Hanrahan (FMCAD, 2018)

Unlocking the Power of Formal Hardware Verification with CoSA and Symbolic QED: Invited Paper. - Florian Lonsing; Karthik Ganesan 001; Makai Mann; Srinivasa Shashank Nuthakki; Eshan Singh; Mario Srouji; Yahan Yang; Subhasish Mitra; Clark W. Barrett (ICCAD, 2019)

Agile SMT-Based Mapping for CGRAs with Restricted Routing Networks. - Caleb Donovick; Makai Mann; Clark W. Barrett; Pat Hanrahan (ReConFig, 2019)

fault: A Python Embedded Domain-Specific Language for Metaprogramming Portable Hardware Verification Components. - Lenny Truong; Steven Herbst; Rajsekhar Setaluri; Makai Mann; Ross G. Daly; Keyi Zhang; Caleb Donovick; Daniel Stanley; Mark Horowitz; Clark W. Barrett; Pat Hanrahan (CAV (1), 2020)

Creating an Agile Hardware Design Flow. - Rick Bahr; Clark W. Barrett; Nikhil Bhagdikar; Alex Carsello; Ross Daly; Caleb Donovick; David Durst; Kayvon Fatahalian; Kathleen Feng; Pat Hanrahan; Teguh Hofstee; Mark Horowitz; et al. (DAC, 2020)

A Framework for Adding Low-Overhead, Fine-Grained Power Domains to CGRAs. - Ankita Nayak; Keyi Zhang; Rajsekhar Setaluri; Alex Carsello; Makai Mann; Stephen Richardson; Rick Bahr; Pat Hanrahan; Mark Horowitz; Priyanka Raina (DATE, 2020)

Smt-Switch: A Solver-agnostic C++ API for SMT Solving. - Makai Mann; Amalee Wilson; Cesare Tinelli; Clark W. Barrett (SMT, 2020)

Partial Order Reduction for Deep Bug Finding in Synchronous Hardware. - Makai Mann; Clark W. Barrett (TACAS (1), 2020)

Pono: A Flexible and Extensible SMT-Based Model Checker. - Makai Mann; Ahmed Irfan; Florian Lonsing; Yahan Yang; Hongce Zhang; Kristopher Brown; Aarti Gupta; Clark W. Barrett (CAV (2), 2021)

Automating System Configuration. - Nestan Tsiskaridze; Maxwell Strange; Makai Mann; Kavya Sreedhar; Qiaoyi Liu; Mark Horowitz; Clark W. Barrett (FMCAD, 2021)

Smt-Switch: A Solver-Agnostic C++ API for SMT Solving. - Makai Mann; Amalee Wilson; Yoni Zohar; Lindsey Stuntz; Ahmed Irfan; Kristopher Brown; Caleb Donovick; Allison Guman; Cesare Tinelli; Clark W. Barrett (SAT, 2021)

lazybvtoint at the SMT Competition 2020. - Yoni Zohar; Ahmed Irfan; Makai Mann; Andres Nötzli; Andrew Reynolds 001; Clark W. Barrett (CoRR, 2021)

cvc5: A Versatile and Industrial-Strength SMT Solver. - Haniel Barbosa; Clark W. Barrett; Martin Brain; Gereon Kremer; Hanna Lachnitt; Makai Mann; Abdalrhman Mohamed; Mudathir Mohamed; Aina Niemetz; Andres Nötzli; Alex Ozdemir; Mathias Preiner; et al. (TACAS (1), 2022)

Bit-Precise Reasoning via Int-Blasting. - Yoni Zohar; Ahmed Irfan; Makai Mann; Aina Niemetz; Andres Nötzli; Mathias Preiner; Andrew Reynolds 001; Clark W. Barrett; Cesare Tinelli (VMCAI, 2022)

Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays. - Makai Mann; Ahmed Irfan; Alberto Griggio; Oded Padon; Clark W. Barrett (Log. Methods Comput. Sci., 2022)

Learning Minimally-Violating Continuous Control for Infeasible Linear Temporal Logic Specifications. - Mingyu Cai; Makai Mann; Zachary Serlin; Kevin Leahy 001; Cristian-Ioan Vasile (ACC, 2023)

Lightweight Online Learning for Sets of Related Problems in Automated Reasoning. - Haoze Wu 001; Christopher Hahn; Florian Lonsing; Makai Mann; Raghuram Ramanujan; Clark W. Barrett (FMCAD, 2023)

STL: Surprisingly Tricky Logic (for System Validation). - Ho Chit Siu; Kevin Leahy 001; Makai Mann (IROS, 2023)

Rewrite-Based Decomposition of Signal Temporal Logic Specifications. - Kevin Leahy 001; Makai Mann; Cristian-Ioan Vasile (NFM, 2023)

Safety-Aware Task Composition for Discrete and Continuous Reinforcement Learning. - Kevin Leahy 001; Makai Mann; Zachary Serlin (CoRR, 2023)

A Flexible and Efficient Temporal Logic Tool for Python: PyTeLo. - Gustavo A. Cardona; Kevin Leahy 001; Makai Mann; Cristian-Ioan Vasile (CoRR, 2023)

Improving Energy Efficiency of CGRAs with Low-Overhead Fine-Grained Power Domains. - Ankita Nayak; Keyi Zhang; Rajsekhar Setaluri; Alex Carsello; Makai Mann; Christopher Torng; Stephen Richardson; Rick Bahr; Pat Hanrahan; Mark Horowitz; Priyanka Raina (ACM Trans. Reconfigurable Technol. Syst., 2023)

Uncertainty Quantification for Recursive Estimation in Adaptive Safety-Critical Control. - Max H. Cohen; Makai Mann; Kevin Leahy 001; Calin Belta (ACC, 2024)

Run-Time Task Composition with Safety Semantics. - Kevin Leahy 001; Makai Mann; Zachary Serlin (ICML, 2024)

How to Train Your Neural Control Barrier Function: Learning Safety Filters for Complex Input-Constrained Systems. - Oswin So; Zachary Serlin; Makai Mann; Jake Gonzales; Kwesi Rutledge; Nicholas Roy; Chuchu Fan (ICRA, 2024)

Control Barrier Function Toolbox: An Extensible Framework for Provable Safety. - Andrew Schoer; Helena Teixeira-Dasilva; Christian So; Makai Mann; Roberto Tron (NFM, 2024)

Accelerating Proximal Policy Optimization Learning Using Task Prediction for Solving Environments with Delayed Rewards. - Ahmad Ahmad; Mehdi Kermanshah; Kevin Leahy 001; Zachary Serlin; Ho Chit Siu; Makai Mann; Cristian-Ioan Vasile; Roberto Tron; Calin Belta (L4DC, 2025)

SPLASH! Sample-efficient Preference-based inverse reinforcement learning for Long-horizon Adversarial tasks from Suboptimal Hierarchical demonstrations. - Peter Crowley; Zachary Serlin; Tyler M. Paine; Makai Mann; Michael Benjamin; Calin Belta (CoRR, 2025)