Concepedia

Makai Mann

MM

Statistics

Publications

5

Citations

105

H-Index

5

Active since

2018

Affiliations

Stanford University(Current)

Makai Mann is an author at Stanford University specializing in computer science, computer architecture, and computer engineering.

Publications per year

2018–2024

5

Publications

5

CoSA: Integrated Verification for Agile Hardware Design

Cristian Mattarei, Makai Mann, Clark Barrett et al. · 2018 · 33 citations

Computing, Computer Engineering, Computer Science +16

Creating an Agile Hardware Design Flow

Rick Bahr, Clark Barrett, Nikhil Bhagdikar et al. · 2020 · 27 citations

Engineering, Computer Engineering, Computer Science +17

How to Train Your Neural Control Barrier Function: Learning Safety Filters for Complex Input-Constrained Systems

Oswin So, Zachary Serlin, Makai Mann et al. · 2024 · 21 citations

Engineering, Computer Science, Systems Engineering +12

Agile SMT-Based Mapping for CGRAs with Restricted Routing Networks

Caleb Donovick, Makai Mann, Clark Barrett et al. · 2019 · 13 citations

Engineering, Computer Engineering, Computer Science +17

A Framework for Adding Low-Overhead, Fine-Grained Power Domains to CGRAs

Ankita Nayak, Keyi Zhang, Raj Setaluri et al. · 2020 · 11 citations

Engineering, Computer Engineering, Computer Science +17

1–5 of 5