I am a research associate in the Computer Science department at Cornell, and part of the Capra research group.
I obtained my PhD in Computer Science from the University of Caifornia, Berkeley in 2024. During my time at Berkeley I was part of the ADEPT Lab . I was a major contributor to Chisel, an open-source hardware construction language, in particular to the firrtl hardware compile and the chiseltest verification library.
I obtained my PhD in Computer Science from the University of Caifornia, Berkeley in 2024. During my time at Berkeley I was part of the ADEPT Lab . I was a major contributor to Chisel, an open-source hardware construction language, in particular to the firrtl hardware compile and the chiseltest verification library.
News
- Aug'24I submitted my thesis and started work as a Research Associate at Cornell in the Capra Group
- Mar'24Papers on RTL-Repair and Zoomie, a tool for better debugging on FPGAs accepted to ASPLOS 2024
- Feb'24The Surfer Waveform Viewer is now using my wellen library to quickly load VCD and FST files. My library allows Surfer to parse VCDs using multiple-threads and to load much larger VCDs thanks to a compressed in-memory representation. Checkout the Surfer 0.1.0 release announcement and try out Surfer in your browser.
- Mar'23I am giving a talk on our Simulator Independent Coverage work at the CIRCT Weekly Developer Meeting on March 15th.
- Feb'23I am giving a guest lecture on formal verification in CSE 228A - Agile Hardware Design at UC Santa Cruz on February 27th.
- Jan'23Paper on Simulator Independent Coverage accepted to ASPLOS 2023
Publications
-
RTL-Repair: Fast Symbolic Repair of Hardware Design Code
Kevin Laeufer, Brandon Fajardo, Abhik Ahuja, Vighnesh Iyer, Borivoje Nikolic and Koushik Sen
ASPLOS 2024 (Paper PDF / GitHub / Lightning Talk / Lightning Slides / DOI Link) -
Zoomie: A Software-like Debugging Tool for FPGAs
Tianrui Wei, Kevin Laeufer, Katie Lim, Jerry Zhao, Koushik Sen, Jonathan Balkind and Krste Asanovic
ASPLOS 2024 (Paper PDF / GitHub / DOI Link) -
Simulator Independent Coverage for RTL Hardware Languages
Kevin Laeufer, Vighnesh Iyer, David Biancolin, Jonathan Bachrach, Borivoje Nikolic and Koushik Sen
ASPLOS 2023 (Paper PDF / GitHub / Lightning Talk / Lightning Slides / Poster (PDF) / DOI Link) -
Verification of Chisel Hardware Designs with ChiselVerify
Amelia Dobis, Kevin Laeufer, Hans Jakob Damsgaard, Tjark Petersen, Kasper Hesse, Enrico Tolotto, Simon Thye Andersen, Richard Lin and Martin Schoeberl
Microprocessors and Microsystems (Paper PDF / GitHub / DOI Link) -
Open-Source Formal Verification for Chisel
Kevin Laeufer, Jonathan Bachrach and Koushik Sen
WOSET 2021 (Paper PDF / Slides PDF / Talk / GitHub) -
RFUZZ: Coverage-Directed Fuzz Testing of RTL on FPGAs
Kevin Laeufer, Jack Koenig, Donggyu Kim, Jonathan Bachrach and Koushik Sen
ICCAD 2018 (Paper PDF / Slides PDF / GitHub / DOI Link) -
Efficient Sampling of SAT Solutions for Testing
Rafael Dutra, Kevin Laeufer, Jonathan Bachrach and Koushik Sen
ICSE 2018 (Paper PDF / GitHub / DOI Link)