RFUZZ: coverage-directed fuzz testing of RTL on FPGAs. - Kevin Laeufer; Jack Koenig; Donggyu Kim; Jonathan Bachrach; Koushik Sen (ICCAD, 2018)

Efficient sampling of SAT solutions for testing. - Rafael Dutra; Kevin Laeufer; Jonathan Bachrach; Koushik Sen (ICSE, 2018)

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 002; Sanjit A. Seshia (CAV (1), 2022)

Simulator Independent Coverage for RTL Hardware Languages. - Kevin Laeufer; Vighnesh Iyer; David Biancolin; Jonathan Bachrach; Borivoje Nikolic; Koushik Sen (ASPLOS (3), 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, 2023)

RTL-Repair: Fast Symbolic Repair of Hardware Design Code. - Kevin Laeufer; Brandon Fajardo; Abhik Ahuja; Vighnesh Iyer; Borivoje Nikolic; Koushik Sen (ASPLOS (3), 2024)

Zoomie: A Software-like Debugging Tool for FPGAs. - Tianrui Wei; Kevin Laeufer; Katie Lim; Jerry Zhao; Koushik Sen; Jonathan Balkind; Krste Asanovic (ASPLOS (3), 2024)

Automated Testing, Verification and Repair of RTL Hardware Designs - Kevin Laeufer (2024)

Surfer - An Extensible Waveform Viewer. - Frans Skarman; Lucas Klemmer; Daniel Große; Oscar Gustafsson; Kevin Laeufer (CAV (4), 2025)