conf.researchr.org / Kevin Hamlen

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