Kevin Laeufer
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
4
Active years
2018–2025
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | CAV | Surfer - An Extensible Waveform Viewer. | Frans Skarman, Lucas Klemmer, Daniel Groe, Oscar Gustafsson, Kevin Laeufer |
| 2024 | ASPLOS | RTL-Repair: Fast Symbolic Repair of Hardware Design Code. | Kevin Laeufer, Brandon Fajardo, Abhik Ahuja, Vighnesh Iyer, Borivoje Nikolic, Koushik Sen |
| 2024 | ASPLOS | Zoomie: A Software-like Debugging Tool for FPGAs. | Tianrui Wei, Kevin Laeufer, Katie Lim, Jerry Zhao, Koushik Sen, Jonathan Balkind, Krste Asanovic |
| 2023 | ASPLOS | Simulator Independent Coverage for RTL Hardware Languages. | Kevin Laeufer, Vighnesh Iyer, David Biancolin, Jonathan Bachrach, Borivoje Nikolic, Koushik Sen |
| 2022 | CAV | 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 |
| 2018 | ICCAD | RFUZZ: coverage-directed fuzz testing of RTL on FPGAs. | Kevin Laeufer, Jack Koenig, Donggyu Kim, Jonathan Bachrach, Koushik Sen |
| 2018 | ICSE | Efficient sampling of SAT solutions for testing. | Rafael Dutra, Kevin Laeufer, Jonathan Bachrach, Koushik Sen |