Kevin Laeufer

Publication Activity (10 Years)

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

Top Topics

Hardware Description Language

Hardware Designs

Stochastic Local Search Algorithms

Top Venues

Microprocess. Microsystems

Publications

Tianrui Wei, Kevin Laeufer, Katie Lim, Jerry Zhao, Koushik Sen, Jonathan Balkind, Krste Asanovic
Zoomie: A Software-like Debugging Tool for FPGAs. ASPLOS (3) (2024)
Kevin Laeufer, Brandon Fajardo, Abhik Ahuja, Vighnesh Iyer, Borivoje Nikolic, Koushik Sen
RTL-Repair: Fast Symbolic Repair of Hardware Design Code. ASPLOS (3) (2024)
Kevin Laeufer, Vighnesh Iyer, David Biancolin, Jonathan Bachrach, Borivoje Nikolic, Koushik Sen
Simulator Independent Coverage for RTL Hardware Languages. ASPLOS (3) (2023)
Andrew Dobis, Kevin Laeufer, Hans Jakob Damsgaard, Tjark Petersen, Kasper Juul Hesse Rasmussen, Enrico Tolotto, Simon Thye Andersen, Richard Lin, Martin Schoeberl
Verification of Chisel Hardware Designs with ChiselVerify. Microprocess. Microsystems 96 (2023)
Elizabeth Polgreen, Kevin Cheang, Pranav Gaddamadugu, Adwait Godbole, Kevin Laeufer, Shaokai Lin, Yatin A. Manerkar, Federico Mora, Sanjit A. Seshia
UCLID5: Multi-Modal Formal Modeling, Verification, and Synthesis. CoRR (2022)
Elizabeth Polgreen, Kevin Cheang, Pranav Gaddamadugu, Adwait Godbole, Kevin Laeufer, Shaokai Lin, Yatin A. Manerkar, Federico Mora, Sanjit A. Seshia
UCLID5: Multi-modal Formal Modeling, Verification, and Synthesis. CAV (1) (2022)
Rafael Dutra, Kevin Laeufer, Jonathan Bachrach, Koushik Sen
Efficient sampling of SAT solutions for testing. ICSE (2018)
Kevin Laeufer, Jack Koenig, Donggyu Kim, Jonathan Bachrach, Koushik Sen
RFUZZ: coverage-directed fuzz testing of RTL on FPGAs. ICCAD (2018)