David Van Horn

Associate Professor
5250 Iribe Center
(301) 405-6722
Academic Web Page
Research Group(s): 
Maryland Cybersecurity Center
Education: 
Ph.D., Brandeis University (Computer Science)
Biography: 

David Van Horn is an associate professor of computer science with an appointment in the University of Maryland Institute for Advanced Computer Studies.

His research centers on program analysis and how it is applied to programming languages, software engineering, verification and security. Van Horn specifically works on the design and implementation of programming languages that go towards building secure, reliable, efficient and reusable high-quality software.

Go here to view Van Horn's academic publications on Google Scholar.

Publications

2013


Tobin-Hochstadt S, Van Horn D.  2013.  From Principles to Practice with Class in the First Year. arXiv:1306.4713 [cs].

J. Johnson I, Labich N, Might M, Van Horn D.  2013.  Optimizing Abstract Abstract Machines. arXiv:1211.3722 [cs].

2012


Earl C, Sergey I, Might M, Van Horn D.  2012.  Introspective Pushdown Analysis of Higher-Order Programs. arXiv:1207.1813 [cs].

2011


Tobin-Hochstadt S, Van Horn D.  2011.  Semantic Solutions to Program Analysis Problems. arXiv:1105.0106 [cs].

Van Horn D, Might M.  2011.  Systematic Abstraction of Abstract Machines. arXiv:1107.3539 [cs].

Might M, Van Horn D.  2011.  A family of abstract interpretations for static analysis of concurrent higher-order programs. arXiv:1103.5167 [cs].

Van Horn D, Might M.  2011.  Abstracting Abstract Machines: A Systematic Approach to Higher-Order Program Analysis. arXiv:1105.1743 [cs].

Tobin-Hochstadt S, Van Horn D.  2011.  Higher-Order Symbolic Execution via Contracts. arXiv:1103.1362 [cs].

2010


Might M, Smaragdakis Y, Van Horn D.  2010.  Resolving and Exploiting the k-CFA Paradox: Illuminating Functional vs. Object-oriented Program Analysis. PLDI '10 Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation. :305-315.

Van Horn D, Might M.  2010.  Abstracting Abstract Machines. arXiv:1007.4446 [cs].

Chang S, Van Horn D, Felleisen M.  2010.  Evaluating Call-By-Need on the Control Stack. arXiv:1009.3174 [cs].

Earl C, Might M, Van Horn D.  2010.  Pushdown Control-Flow Analysis of Higher-Order Programs. arXiv:1007.4268 [cs].

2009


Van Horn D.  2009.  The complexity of flow analysis in higher-order languages.

2008


Van Horn D, Mairson HG.  2008.  Deciding kCFA is Complete for EXPTIME. ICFP '08 Proceedings of the 13th ACM SIGPLAN International Conference on Functional Programming. :275-282.

Van Horn D, Mairson HG.  2008.  Flow Analysis, Linearity, and PTIME. Static Analysis. :255-269.

2007


Van Horn D, Mairson HG.  2007.  Relating Complexity and Precision in Control Flow Analysis. ICFP '07 Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming. :85-96.

2005


Skalka C, Smith S, Van Horn D.  2005.  A Type and Effect System for Flexible Abstract Interpretation of Java: (Extended Abstract). Electronic Notes in Theoretical Computer Science. 131:111-124.