David Van Horn

Assistant Professor
Department of Computer Science
& UMIACS
University of Maryland

UMD

Structures don’t march in the streets.


Journals refereed

ACM Computing Surveys

ACM Transactions on Computational Logic

ACM Transactions on Programming Languages and Systems

Higher-Order and Symbolic Computation

Journal of Functional Programming

Science of Computer Programming


Steering Committees

ACM SIGPLAN International Conference on Functional Programming (ICFP), 2013-2015

Workshop on Higher-Order Program Analysis (HOPA), 2014


Chair

Symposium on Trends in Functional Programming (TFP), 2016

Workshop on Higher-Order Program Analysis (HOPA), 2014

NII Workshop on Automated Techniques for Higher-Order Program Verification, 2011

New England Programming Languages and Systems Symposium (NEPLS), 2011


Panelist

NSF Directorate for Computer & Information Science & Engineering (CISE), 2011, 2010


Program committees

Static Analysis Symposium (SAS), 2017

ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), 2017

European Conference on Object-Oriented Programming (ECOOP), 2016

ACM SIGPLAN International Conference on Functional Programming (ICFP), 2015, 2011

Off the Beaten Track: New Frontiers for Programming Languages Research, 2015

European Symposium on Programming (ESOP), 2014

International Symposium on Practical Aspects of Declarative Languages (PADL), 2014

Workshop on Syntax and Semantics of Low-Level Languages (LOLA), 2014

Symposium on Trends in Functional Programming (TFP), 2014, 2012

International Workshop on Trends in Functional Programming in Education (TFPIE), 2014

Scala Workshop, 2013

Workshop on Higher-Order Program Analysis (HOPA), 2013

Scheme and Functional Programming Workshop, 2011, 2009, 2015


External review committees

ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), 2016, 2013


Reviewer

ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), 2015, 2014, 2008

International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI), 2016, 2014

ACM SIGPLAN International Conference on Functional Programming (ICFP), 2014, 2010

European Symposium on Programming (ESOP), 2011

ACM SIGPLAN Symposium on Dynamic Languages (DLS), 2014, 2012

ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), 2012

IEEE Symposium on Logic in Computer Science (LICS), 2007

EACSL Conference on Computer Science and Logic (CSL), 2007


Other

Student Research Competition chair, ACM SIGPLAN International Conference on Functional Programming (ICFP), 2016

Student Research Competition committee, ACM SIGPLAN International Conference on Functional Programming (ICFP), 2015

Workshop Chair, ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), 2013-2015