Makai Mann
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
16
Venues
11
Active years
2018–2024
Best venue rank
A*
Where they publish
Papers
16 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | ICML | Run-Time Task Composition with Safety Semantics. | Kevin Leahy, Makai Mann, Zachary Serlin |
| 2024 | ICRA | 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 |
| 2023 | FMCAD | Lightweight Online Learning for Sets of Related Problems in Automated Reasoning. | Haoze Wu, Christopher Hahn, Florian Lonsing, Makai Mann, Raghuram Ramanujan, Clark W. Barrett |
| 2023 | IROS | STL: Surprisingly Tricky Logic (for System Validation). | Ho Chit Siu, Kevin Leahy, Makai Mann |
| 2022 | TACAS | 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 Ntzli, Alex Ozdemir, Mathias Preiner, Andrew Reynolds, Ying Sheng, Cesare Tinelli, Yoni Zohar |
| 2022 | VMCAI | Bit-Precise Reasoning via Int-Blasting. | Yoni Zohar, Ahmed Irfan, Makai Mann, Aina Niemetz, Andres Ntzli, Mathias Preiner, Andrew Reynolds, Clark W. Barrett, Cesare Tinelli |
| 2021 | CAV | 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 |
| 2021 | FMCAD | Automating System Configuration. | Nestan Tsiskaridze, Maxwell Strange, Makai Mann, Kavya Sreedhar, Qiaoyi Liu, Mark Horowitz, Clark W. Barrett |
| 2021 | SAT | 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 |
| 2021 | TACAS | Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays. | Makai Mann, Ahmed Irfan, Alberto Griggio, Oded Padon, Clark W. Barrett |
| 2020 | CAV | 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 |
| 2020 | DAC | 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, 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 Thomas, Christopher Torng, Leonard Truong, Nestan Tsiskaridze, Keyi Zhang |
| 2020 | DATE | 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 |
| 2020 | TACAS | Partial Order Reduction for Deep Bug Finding in Synchronous Hardware. | Makai Mann, Clark W. Barrett |
| 2019 | ICCAD | Unlocking the Power of Formal Hardware Verification with CoSA and Symbolic QED: Invited Paper. | Florian Lonsing, Karthik Ganesan, Makai Mann, Srinivasa Shashank Nuthakki, Eshan Singh, Mario Srouji, Yahan Yang, Subhasish Mitra, Clark W. Barrett |
| 2018 | FMCAD | CoSA: Integrated Verification for Agile Hardware Design. | Cristian Mattarei, Makai Mann, Clark W. Barrett, Ross G. Daly, Dillon Huff, Pat Hanrahan |