Write a Blog >>
LCTES 2017
Wed 21 - Thu 22 June 2017 Barcelona, Spain
co-located with PLDI 2017
Luke Maurer

Registered user since Wed 16 Nov 2016

Name:Luke Maurer
Bio:

Ph.D. student at the University of Oregon Department of Computer & Information Science. Currently working on my dissertation on intermediate languages in optimizing compilers, particularly GHC and other functional languages. Contributed to GHC 8.2.1 by adding join points to its Core intermediate language. Other research interests include parametricity, proof assistants, and category theory.

Country:United States
Affiliation:University of Oregon, USA
Research interests:Compilers, Programming Languages, Proof Assistants

Contributions

Show activities from other conferences

PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM-profile
View general profile