Concepedia

Makai Mann

MM

Statistics

Publications

5

Citations

101

H-Index

5

Active since

2018

Affiliations

Stanford University(Current)

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

Top concepts

EngineeringComputer ScienceComputer EngineeringSoftware EngineeringComputer ArchitectureHardware DesignSoftware DesignProgram AnalysisParallel ComputingSystems 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 · 30 citations

Engineering, Hardware Verification Language, Verification +21

Creating an Agile Hardware Design Flow

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

Hardware Modeling, Engineering, Computer Architecture +23

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 · 20 citations

Agile SMT-Based Mapping for CGRAs with Restricted Routing Networks

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

Engineering, Coarse-grained Reconfigurable Architectures, Hardware Algorithm +22

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

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

1–5 of 5