3
Publications
199
Citations
3
H-Index
2018
Active since
Affiliations
Kevin Laeufer is an author at University of California System specializing in program analysis, computer engineering, and computer science.
Top concepts
EngineeringComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisComputer EngineeringSoftware EngineeringComputer ArchitectureFuzzingStatistics
Publications per year
2018–2022
3
3
Kevin Laeufer, Jack Koenig, Donggyu Kim et al. · 2018 · 113 citations
Engineering, Hardware Verification Language, Verification +16
Efficient sampling of SAT solutions for testing
Rafael Dutra, Kevin Laeufer, Jonathan Bachrach et al. · 2018 · 71 citations · Full text
Engineering, Computer Architecture, Test Data Generation +23
Verification of Chisel Hardware Designs with ChiselVerify
Amelia Dobis, Kevin Laeufer, Hans Jakob Damsgaard et al. · Microprocessors and Microsystems · 2022 · 15 citations · Full text
Rows per page
1–3 of 3