Makai Mann

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 34

Top Topics

Partial Order Reduction

Top Venues

Publications

Andrew Schoer, Helena Teixeira-Dasilva, Christian So, Makai Mann, Roberto Tron
Control Barrier Function Toolbox: An Extensible Framework for Provable Safety. NFM (2024)
Oswin So, Zachary Serlin, Makai Mann, Jake Gonzales, Kwesi Rutledge, Nicholas Roy, Chuchu Fan
How to Train Your Neural Control Barrier Function: Learning Safety Filters for Complex Input-Constrained Systems. ICRA (2024)
Max H. Cohen, Makai Mann, Kevin Leahy, Calin Belta
Uncertainty Quantification for Recursive Estimation in Adaptive Safety-Critical Control. CoRR (2023)
Haoze Wu, Christopher Hahn, Florian Lonsing, Makai Mann, Raghuram Ramanujan, Clark W. Barrett
Lightweight Online Learning for Sets of Related Problems in Automated Reasoning. CoRR (2023)
Kevin Leahy, Makai Mann, Zachary Serlin
Safety-Aware Task Composition for Discrete and Continuous Reinforcement Learning. CoRR (2023)
Haoze Wu, Christopher Hahn, Florian Lonsing, Makai Mann, Raghuram Ramanujan, Clark W. Barrett
Lightweight Online Learning for Sets of Related Problems in Automated Reasoning. FMCAD (2023)
Gustavo A. Cardona, Kevin Leahy, Makai Mann, Cristian-Ioan Vasile
A Flexible and Efficient Temporal Logic Tool for Python: PyTeLo. CoRR (2023)
Ho Chit Siu, Kevin Leahy, Makai Mann
STL: Surprisingly Tricky Logic (for System Validation). CoRR (2023)
Ho Chit Siu, Kevin Leahy, Makai Mann
STL: Surprisingly Tricky Logic (for System Validation). IROS (2023)
Mingyu Cai, Makai Mann, Zachary Serlin, Kevin Leahy, Cristian-Ioan Vasile
Learning Minimally-Violating Continuous Control for Infeasible Linear Temporal Logic Specifications. ACC (2023)
Kevin Leahy, Makai Mann, Cristian-Ioan Vasile
Rewrite-Based Decomposition of Signal Temporal Logic Specifications. NFM (2023)
Ankita Nayak, Keyi Zhang, Rajsekhar Setaluri, Alex Carsello, Makai Mann, Christopher Torng, Stephen Richardson, Rick Bahr, Pat Hanrahan, Mark Horowitz, Priyanka Raina
Improving Energy Efficiency of CGRAs with Low-Overhead Fine-Grained Power Domains. ACM Trans. Reconfigurable Technol. Syst. 16 (2) (2023)
Oswin So, Zachary Serlin, Makai Mann, Jake Gonzales, Kwesi Rutledge, Nicholas Roy, Chuchu Fan
How to Train Your Neural Control Barrier Function: Learning Safety Filters for Complex Input-Constrained Systems. CoRR (2023)
Yoni Zohar, Ahmed Irfan, Makai Mann, Aina Niemetz, Andres Nötzli, Mathias Preiner, Andrew Reynolds, Clark W. Barrett, Cesare Tinelli
Bit-Precise Reasoning via Int-Blasting. VMCAI (2022)
Makai Mann, Ahmed Irfan, Alberto Griggio, Oded Padon, Clark W. Barrett
Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays. Log. Methods Comput. Sci. 18 (3) (2022)
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, Andrew Reynolds, Ying Sheng, Cesare Tinelli, Yoni Zohar
cvc5: A Versatile and Industrial-Strength SMT Solver. TACAS (1) (2022)
Mingyu Cai, Makai Mann, Zachary Serlin, Kevin Leahy, Cristian-Ioan Vasile
Learning Minimally-Violating Continuous Control for Infeasible Linear Temporal Logic Specifications. CoRR (2022)
Makai Mann, Ahmed Irfan, Alberto Griggio, Oded Padon, Clark W. Barrett
Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays. CoRR (2021)
Nestan Tsiskaridze, Maxwell Strange, Makai Mann, Kavya Sreedhar, Qiaoyi Liu, Mark Horowitz, Clark W. Barrett
Automating System Configuration. FMCAD (2021)
Nestan Tsiskaridze, Maxwell Strange, Makai Mann, Kavya Sreedhar, Qiaoyi Liu, Mark Horowitz, Clark W. Barrett
Automating System Configuration. CoRR (2021)
Yoni Zohar, Ahmed Irfan, Makai Mann, Andres Nötzli, Andrew Reynolds, Clark W. Barrett
lazybvtoint at the SMT Competition 2020. CoRR (2021)
Makai Mann, Ahmed Irfan, Alberto Griggio, Oded Padon, Clark W. Barrett
Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays. TACAS (1) (2021)
Makai Mann, Ahmed Irfan, Florian Lonsing, Yahan Yang, Hongce Zhang, Kristopher Brown, Aarti Gupta, Clark W. Barrett
Pono: A Flexible and Extensible SMT-Based Model Checker. CAV (2) (2021)
Makai Mann, Amalee Wilson, Yoni Zohar, Lindsey Stuntz, Ahmed Irfan, Kristopher Brown, Caleb Donovick, Allison Guman, Cesare Tinelli, Clark W. Barrett
Smt-Switch: A Solver-Agnostic C++ API for SMT Solving. SAT (2021)
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, Dillon Huff, Fredrik Kjolstad, Taeyoung Kong, Qiaoyi Liu, Makai Mann, Jackson Melchert, Ankita Nayak, Aina Niemetz, Gedeon Nyengele, Priyanka Raina, Stephen Richardson, Rajsekhar Setaluri, Jeff Setter, Kavya Sreedhar, Maxwell Strange, James J. Thomas, Christopher Torng, Leonard Truong, Nestan Tsiskaridze, Keyi Zhang
Creating an Agile Hardware Design Flow. DAC (2020)
Makai Mann, Clark W. Barrett
Partial Order Reduction for Deep Bug Finding in Synchronous Hardware. TACAS (1) (2020)
Makai Mann, Amalee Wilson, Cesare Tinelli, Clark W. Barrett
Smt-Switch: a solver-agnostic C++ API for SMT Solving. CoRR (2020)
Lenny Truong, Steven Herbst, Rajsekhar Setaluri, Makai Mann, Ross G. Daly, Keyi Zhang, Caleb Donovick, Daniel Stanley, Mark Horowitz, Clark W. Barrett, Pat Hanrahan
fault: A Python Embedded Domain-Specific Language for Metaprogramming Portable Hardware Verification Components. CAV (1) (2020)
Lenny Truong, Steven Herbst, Rajsekhar Setaluri, Makai Mann, Ross G. Daly, Keyi Zhang, Caleb Donovick, Daniel Stanley, Mark Horowitz, Clark W. Barrett, Pat Hanrahan
fault: A Python Embedded Domain-Specific Language For Metaprogramming Portable Hardware Verification Components. CoRR (2020)
Makai Mann, Amalee Wilson, Cesare Tinelli, Clark W. Barrett
Smt-Switch: A Solver-agnostic C++ API for SMT Solving. SMT (2020)
Ankita Nayak, Keyi Zhang, Rajsekhar Setaluri, Alex Carsello, Makai Mann, Stephen Richardson, Rick Bahr, Pat Hanrahan, Mark Horowitz, Priyanka Raina
A Framework for Adding Low-Overhead, Fine-Grained Power Domains to CGRAs. DATE (2020)
Caleb Donovick, Makai Mann, Clark W. Barrett, Pat Hanrahan
Agile SMT-Based Mapping for CGRAs with Restricted Routing Networks. ReConFig (2019)
Florian Lonsing, Karthik Ganesan, Makai Mann, Srinivasa Shashank Nuthakki, Eshan Singh, Mario Srouji, Yahan Yang, Subhasish Mitra, Clark W. Barrett
Unlocking the Power of Formal Hardware Verification with CoSA and Symbolic QED: Invited Paper. ICCAD (2019)
Cristian Mattarei, Makai Mann, Clark W. Barrett, Ross G. Daly, Dillon Huff, Pat Hanrahan
CoSA: Integrated Verification for Agile Hardware Design. FMCAD (2018)