David Van Horn
Associate Professor
Department of Computer Science
& UMIACS
University of Maryland
Associate Professor
Department of Computer Science
& UMIACS
University of Maryland
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
ACM SIGPLAN International Conference on Functional Programming (ICFP), 2013-2015
Workshop on Higher-Order Program Analysis (HOPA), 2014
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
NSF Directorate for Computer & Information Science & Engineering (CISE), 2021, 2020, 2011, 2010
ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2022
ACM SIGPLAN Symposium on Principles of Programming Languages (POPL), 2021, 2017
International Symposium on Practical Aspects of Declarative Languages (PADL), 2018, 2014
Symposium on Trends in Functional Programming (TFP), 2017, 2014, 2012
Static Analysis Symposium (SAS), 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
Workshop on Syntax and Semantics of Low-Level Languages (LOLA), 2014
International Workshop on Trends in Functional Programming in Education (TFPIE), 2014
Workshop on Higher-Order Program Analysis (HOPA), 2013
Scheme and Functional Programming Workshop, 2011, 2009, 2015
ACM SIGPLAN International Conference on Functional Programming (ICFP), 2018
ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), 2016, 2013
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
IEEE Symposium on Logic in Computer Science (LICS), 2007
EACSL Conference on Computer Science and Logic (CSL), 2007