Registered user since Wed 31 Dec 2014
Name: David Van Horn
Bio: 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
Personal website: https://www.cs.umd.edu/~dvanhorn/
Research interests: Programming languages
POPL 2016 Activities
- Author of T1: An Introduction to Redex with Abstracting Abstract Machines within the Tutorials-track in POPL 2016
- ERC member in External Reviewing Committee for POPL 2016
- ERC member in External Reviewing Committee for POPL 2016 Research Papers
- Author of Pushdown Control-flow Analysis for Free within the Research Papers-track in POPL 2016
- Author of T1: An Introduction to Redex with Abstracting Abstract Machines(Advanced Material) within the Tutorials-track in POPL 2016
- Show activities from other conferences
View general profile