Kevin Laeufer

According to our database, Kevin Laeufer authored at least 7 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Zoomie: A Software-like Debugging Tool for FPGAs.

Tianrui Wei, Kevin Laeufer, Katie Lim, Jerry Zhao, Koushik Sen, Jonathan Balkind, Krste Asanovic

Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2024

RTL-Repair: Fast Symbolic Repair of Hardware Design Code.

Kevin Laeufer, Brandon Fajardo, Abhik Ahuja, Vighnesh Iyer, Borivoje Nikolic, Koushik Sen

Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2024

2023

Verification of Chisel Hardware Designs with ChiselVerify.

Andrew Dobis, Kevin Laeufer, Hans Jakob Damsgaard, Tjark Petersen, Kasper Juul Hesse Rasmussen, Enrico Tolotto, Simon Thye Andersen, Richard Lin, Martin Schoeberl

Microprocess. Microsystems, February, 2023

Simulator Independent Coverage for RTL Hardware Languages.

Kevin Laeufer, Vighnesh Iyer, David Biancolin, Jonathan Bachrach, Borivoje Nikolic, Koushik Sen

Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2023

2022

UCLID5: Multi-modal Formal Modeling, Verification, and Synthesis.

Elizabeth Polgreen, Kevin Cheang, Pranav Gaddamadugu, Adwait Godbole, Kevin Laeufer, Shaokai Lin, Yatin A. Manerkar, Federico Mora, Sanjit A. Seshia

Proceedings of the Computer Aided Verification - 34th International Conference, 2022

2018

Efficient sampling of SAT solutions for testing.

Rafael Dutra, Kevin Laeufer, Jonathan Bachrach, Koushik Sen

Proceedings of the 40th International Conference on Software Engineering, 2018

RFUZZ: coverage-directed fuzz testing of RTL on FPGAs.

Kevin Laeufer, Jack Koenig, Donggyu Kim, Jonathan Bachrach, Koushik Sen

Proceedings of the International Conference on Computer-Aided Design, 2018