• Sign in
  • Sign up
conf.researchr.org / Kevin Hamlen
  • ICFP 2019 profile
  • PLDI 2020 profile
  • POPL 2019 profile
No Photo

Registered user since Mon 1 Jul 2019

Name:Kevin Hamlen
Affiliation:University of Texas at Dallas, USA

Contributions

2020

LCTES

  • Author of Exploiting the Trust Between Boundaries: Discovering Memory Corruptions in Printers via Driver Assisted Testing within the LCTES 2020-track

2019

miniKanren

  • Author of Relational Processing for Fun and Diversity: Simulating a CPU relationally with miniKanren within the miniKanren 2019-track

Symposium on Practical Aspects of Declarative Languages

  • Committee Member in Program Committee within the PADL 2019-track
Share
xFri 23 May 03:43
using conf.researchr.org (v1.69.0)
Support page
Sign Up