Kevin Laeufer

Registered user since Wed 17 Jan 2018

Name: Kevin Laeufer

Bio: Follow my open source contributions:

Country: United States

Affiliation: University of California, Berkeley

Personal website:

Research interests: Programming Languages and Tools for Hardware and Systems Design


* ICSE 2018 *Author of Efficient Sampling of SAT Solutions for Testing within the Technical Papers -track