
Registered user since Wed 17 Jan 2018
Name: Kevin Laeufer
Bio: Follow my open source contributions: https://github.com/ekiwi
Country: United States
Affiliation: University of California, Berkeley
Personal website: https://people.eecs.berkeley.edu/~laeufer/
Research interests: Programming Languages and Tools for Hardware and Systems Design
Contributions
* ICSE 2018 * | Efficient Sampling of SAT Solutions for Testing | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
* ICSE 2018 *-profile
View general profile
View general profile