Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Kevin Hamlen
conf.researchr.org general profile
ICFP 2019 profile
PLDI 2020 profile
POPL 2019 profile
Registered user since Mon 1 Jul 2019
Name:
Kevin Hamlen
Affiliation:
University of Texas at Dallas, USA
Contributions
LCTES 2020
Author of Exploiting the Trust Between Boundaries: Discovering Memory Corruptions in Printers via Driver Assisted Testing within the LCTES 2020-track
miniKanren 2019
Author of Relational Processing for Fun and Diversity: Simulating a CPU relationally with miniKanren within the miniKanren 2019-track
PADL 2019
Committee Member in Program Committee within the PADL 2019-track
Share
x
Tue 7 Feb 00:04