David Van Horn 350 West Village H dvanhorn at ccs dot neu dot edu 617 373 5119 Northeastern University College of Computer and Information Science Programming Research Lab

Structures don't march in the streets.

Research interests

Programming languages, analysis of functional programming languages, type theory, and language based approaches to security.

Teaching

CSU211: Introduction to Programming and Computing I (with Olin Shivers).

CSU213: Introduction to Programming and Computing II (with Viera Proulx).

Calendar: HTML, XML, iCAL.

Papers

Deciding kCFA is complete for EXPTIME. With Harry G. Mairson.
The 13th ACM SIGPLAN International Conference on Functional Programming (ICFP'08), Victoria, British Columbia, Canada, September 2008.
[ PDF | Abstract ]

A Few Principles of Macro Design. With David Herman.
The ACM Workshop on Scheme and Functional Programming, Victoria, British Columbia, Canada, September 2008.
[ PDF | Abstract ]

Flow analysis, linearity, and PTIME. With Harry G. Mairson.
The 15th International Static Analysis Symposium (SAS 2008), Valencia, Spain, July 2008.
[ PDF | Abstract ]

Types and Trace Effects of Higher Order Programs. With Christian Skalka and Scott Smith.
Journal of Functional Programming, 18(2), March 2008.
[ PDF | Abstract ]

Relating Complexity and Precision in Control Flow Analysis. With Harry G. Mairson.
The Twelth ACM SIGPLAN International Conference on Functional Programming (ICFP'07), Freiburg, Germany, October 2007.
[ PDF | Abstract ]

Algorithmic Trace Effect Analysis.
MS thesis, University of Vermont, 2006.
[ PDF | Abstract ]

A Type and Effect System for Flexible Abstract Interpretation of Java. With Christian Skalka and Scott Smith.
The ACM Workshop on Abstract Interpretations of Object-Oriented Programs, Electronic Notes in Theoretical Computer Science, Volume 131. January 2005.
[ PDF | Abstract ]

Recent talks

• Complexity of Flow Analysis, New England Programming Language Symposium, Harvard University, Boston, November 2008.
• Deciding kCFA is complete for EXPTIME, The 13th ACM SIGPLAN International Conference on Functional Programming (ICFP 2008), Victoria, British Columbia, Canada, September, 2008.
• Flow analysis, Linearity, and PTIME, The 15th International Static Analysis Symposium (SAS 2008), Valencia, Spain, July, 2008.
• Linear Logic and the Complexity of Control Flow Analysis, CMU Principles of Programming Seminar, January 2008 (presented by Harry Mairson).
• Relating Complexity and Precision in Control Flow Analysis, The 12th ACM SIGPLAN International Conference on Functional Programming (ICFP 2007), Freiburg, Germany, October, 2007.
• Relating Complexity and Precision in Control Flow Analysis, Northeastern Programming Languages Seminar, Boston, May, 2007.
• Relating Complexity and Precision in Control Flow Analysis, IBM PL Day, Hawthorne, New York, May, 2007.
• From Syntactic Sugar to the Syntactic Meth Lab: Using Macros to Cook the Language You Want, Brandeis University, CoSci 21b, December, 2006.
• Linearity and Program Analysis, and Relating complexity and precision of approximation in control flow analysis, Northeastern University PL Seminar, Jr., October, 2006.
• Proofnets and Paths in Constructive Classical Logic: Too Old, Too New, (presented by Harry Mairson) Geometry of Interaction Workshops, Marseille, February 2006.
• Algorithmic Trace Effect Analysis, MS thesis defense, University of Vermont, March 2006.
• Abstract Machines for the Multi-return λ-calculus, presented to Northeastern University G711 ("Principles of Programming Languages"), December 2005.
• Algorithmic Trace Effect Analysis, presented to the University of Vermont Computer Science Research Day, August 2005. Research poster.
• Context Based Security in Programming Languages, presented to Vermont EPSCoR annual conference. August 2005.