Write a Blog >>
David Van Horn

Registered user since Wed 31 Dec 2014

Name:David Van Horn

I work toward making the construction of reusable, trusted software components possible and effective. My research has spanned program analysis; semantics; verification and model-checking; security; logic; complexity; and algorithms.

With Jeff Foster and Mike Hicks, I direct the laboratory for Programming Languages at the University of Maryland (PLUM). Previously, I’ve worked with the Programming Research Laboratory (PRL) at Northeastern University.

I currently serve as a steering committee member and the publicity chair for ICFP, as a program committee member for ICFP 2015, Scheme 2015, and ECOOP 2016, and as an external review committee member for POPL 2016.

I co-authored the book Realm of Racket with Matthias Felleisen and undergraduates from Northeastern University, which introduces programming interactive video games.

Affiliation:University of Maryland, College Park
Research interests:Programming languages


POPL 2016 T1: An Introduction to Redex with Abstracting Abstract Machines
ERC member in External Reviewing Committee
ERC member in External Reviewing Committee within the Research Papers-track
Pushdown Control-flow Analysis for Free
T1: An Introduction to Redex with Abstracting Abstract Machines(Advanced Material)
Show activities from other conferences

POPL 2016-profile
View general profile