Aug'24 I submitted my thesis and started work as a Research Associate at Cornell in the Capra Group
Mar'24
Feb'24 The Surfer Waveform Viewer is now using my wellenlibrary 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 announcementand try out Surfer in your browser.
Mar'23
Feb'23
Jan'23
Publications
Surfer — An Extensible Waveform Viewer Frans Skarman, Lucas Klemmer, Daniel Große, Oscar Gustafsson and Kevin Laeufer CAV 2025 (Paper PDF /GitLab /DOI Link)
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)
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)