David Van Horn

Registered user since Wed 31 Dec 2014

Name: David Van Horn

Affiliation: University of Maryland, USA

Personal website: https://www.cs.umd.edu/~dvanhorn/

Research interests: Programming languages

Contributions

SPLASH 2019Committee Member in Review Committee within the OOPSLA-track
PLMW @ ICFP 2018Co-chair in Organizing Committee within the PLMW @ ICFP 2018-track
Haskell 2018Author of Theorem Proving for All: Equational Reasoning in Liquid Haskell (Functional Pearl) within the Haskell 2018-track
Scheme 2018Author of From Scripting to Proving: Gradual Verification with a Scheme within the Scheme 2018-track
SPLASH 2018Author of Gradual Liquid Type Inference within the OOPSLA-track
Author of Gradual Liquid Type Inference within the Artifacts-track
ICFP 2018PLMW Co-Chair in Organizing Committee
Committee Member in External Review Committee within the Research Papers-track
Committee Member in Selection Committee within the Student Research Competition-track
PLDI 2018Committee Member in Student Research Competition Committee
ICFP 2017Author of Abstracting Definitional Interpreters within the Research Papers-track
POPL 2018Author of Soft Contract Verification for Higher-order Stateful Programs within the Artifact Evaluation-track
Author of Soft Contract Verification for Higher-order Stateful Programs within the Research Papers-track
PLMW 2016Committee Member in Speakers within the PLMW-track
Author of Basic Mechanics of Operational Semantics within the PLMW-track
POPL 2017Committee Member in Program Committee within the POPL-track
GPCE 2016Author of A Vision for Online Verification-Validation within the GPCE-track
ICFP 2016Committee Member in External Review Committee within the Research Papers-track
Author of Constructive Galois Connections: Taming the Galois Connection Framework for Mechanized Metatheory within the Research Papers-track
Student Research Competition Chair in Organizing Committee
ECOOP 2016Committee Member in Program Committee within the Research Track-track
SPLASH 2016Committee Member in Program Committee within the Posters-track
POPL 2016Author of T1: An Introduction to Redex with Abstracting Abstract Machines within the Tutorials-track
ERC member in External Reviewing Committee
ERC member in External Reviewing Committee within the Research Papers-track
Author of Pushdown Control-flow Analysis for Free within the Research Papers-track
Author of T1: An Introduction to Redex with Abstracting Abstract Machines(Advanced Material) within the Tutorials-track
ESOP 2015Author of Running Probabilistic Programs Backwards within the ESOP-track
SPLASH 2015Author of Galois Transformers and Modular Abstract Interpreters: Reusable Metatheory for Program Analysis within the OOPSLA-track
Author of Incremental Computation with Names within the OOPSLA Artifacts-track
Author of Incremental Computation with Names within the OOPSLA-track
PLDI 2015Author of Relatively Complete Counterexamples for Higher-Order Programs within the Research Papers-track
DLSPresenter of Abstracting Abstract Control within the DLS-track
SPLASH 2012Author of Higher-order symbolic execution via contracts within the OOPSLA Research Papers-track