Publications
All publications (1981–)
2012[top]
2011[top]
A Theory of Substructural Types and Control [download]
Proc 26th ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'11) pp. 625-642
Practical Affine Types [download]
Proc. 38th Symposium on Principles of Programming Languages (POPL'11) pp. 447-458
Pushdown Flow Analysis of First-Class Control [PDF] [slides]
International Conference on Functional Programming (ICFP)
CFA2: a Context-Free Approach to Control-Flow Analysis [PDF]
Logical Methods in Computer Science (LMCS), 7(2:3):1-39
Ordering Multiple Continuations on the Stack [PDF] [slides]
Partial Evaluation and Program Manipulation (PEPM)
A Family of Abstract Interpretations for Static Analysis of Concurrent Higher-Order Programs [PDF]
The 18th International Static Analysis Symposium
2010[top]
Stateful Contracts for Affine Types [download]
Proc. 19th European Symposium on Programming (ESOP'10) vol. 6012 pp. 550-569
CFA2: a Context-Free Approach to Control-Flow Analysis [PDF] [slides]
European Symposium on Programming (ESOP)
A Functional Approach to Generic Programming using Adaptive Traversals [PDF]
Higher-Order and Symbolic Computation. Festschrift for Mitch Wand.
Pushdown Control-Flow Analysis of Higher-Order Programs [PDF]
Scheme and Functional Programming Workshop
2009[top]
The Higher-Order Aggregate Update Problem [PDF]
Verification, Model Checking, and Abstract Interpretation, 10th International Conference vol. 5403 pp. 44-58
The Complexity of Flow Analysis in Higher-Order Languages [PDF]
PhD dissertation, Brandeis University
2008[top]
A Compositional Trace Semantics for Orc [PDF]
Coordination Models and Languages: 10th International Conference, COORDINATION 2008, Oslo, Norway, June 4-6, 2008 vol. 5052 pp. 331-346
Variable-Arity Generic Interfaces [PDF]
(tech report) Northeastern University College of Computer and Information Science no. NU-CCIS-08-01
Haskell Session Types with (Almost) No Class [download]
Proc. 1st ACM SIGPLAN Symposium on Haskell (Haskell'08) pp. 25-36
A Theory of Hygienic Macros [PDF]
Programming Languages and Systems 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. vol. 4960 pp. 48-62
Caml-Shcaml: An OCaml Library for Unix Shell Programming [download]
Proc. 2008 ACM SIGPLAN workshop on ML (ML'08) pp. 79-90
Much Ado about Nothing: Putting Java's Null in its Place [PDF]
(PhD. thesis) at Northeastern University
2007[top]
On the Correctness of the Krivine Machine [PS]
Higher-Order and Symbolic Computation no. 3 vol. 20 pp. 231-236
Status Report: Specifying JavaScript with ML [PDF]
ML '07: Proceedings of the 2007 Workshop on ML pp. 47--52
Functional Pearl: The Great Escape. Or, How to Jump the Border Without Getting Caught [PDF]
ICFP '07: Proceedings of the Twelfth ACM SIGPLAN International Conference on Functional Programming pp. 157--164
Space-Efficient Gradual Typing [PDF]
TFP '07: The Eighth Symposium on Trends in Functional Programming pp. 404--419
Adding Delimited and Composable Control to a Production Programming Environment [PDF]
International Conference on Functional Programming
Implementation and Use of the PLT Scheme Web Server [PDF]
Journal of Higher-Order and Symbolic Computing
Relating Complexity and Precision in Control Flow Analysis [PDF] [ACM]
International Conference on Functional Programming
2006[top]
Small Bisimulations for Reasoning About Higher-Order Imperative Programs [PDF]
Proceedings 33rd ACM Symposium on Programming Languages pp. 141-152
Environmental Acquisition Revisited [PDF]
(tech report) Northeastern University College of Computer and Information Science no. NU-CCIS-06-10
Design of Class Hierarchies: An Introduction to OO Program Design [PDF]
ACM Special Interest Group on Computer Science Education
2005[top]
Bottom-up beta-reduction: uplinks and lambda-DAGs [PDF]
Programming Languages and Systems: 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings vol. 3444
Selectors Make Analyzing Case-Lambda Too Hard [PDF]
Higher-Order and Symbolic Computation no. 3-4 vol. 18 pp. 245-269
TeachScheme! Proceedings of the TeachScheme! Anniversary Workshop [PDF]
(proceedings) Northeastern University
Environmental acquisition revisited [PDF]
POPL '05: Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages pp. 14--25
Continuations from Generalized Stack Inspection [PDF]
International Conference on Functional Programming
Common Larceny [PDF] [HTML slides] [MP3 of the conference presentation]
Proc. International Lisp Conference, June 2005, pages 101-107.
2004[top]
Relating Models of Backtracking [PDF]
Proc. ACM SIGPLAN International Conference on Functional Programming pp. 54--65
A Semantics for Advice and Dynamic Join Points in Aspect-Oriented Programming [PS]
TOPLAS no. 5 vol. 26 pp. 890-910
Improving the Static Analysis of Embedded Languages via Partial Evaluation [PDF] [PS]
International Conference on Functional Programming
The Essence of Compiling with Continuations (Retrospective) [PDF] [PS]
20 years of the ACM SIGPLAN Conference on Programming Language Design and Implementation: 1979 - 1999. A Selection.
Fostering Little Languages
DrDobb's
Building Little Languages with Macros
DrDobb's
A Tail-Recursive Machine with Stack Inspection [PDF]
Transactions on Programming Languages and Systems
Automatically Restructuring Software for the Web [PS] [PDF]
Journal of Automated Software Engineering
How to Read Floating Point Numbers Accurately (Retrospective) [PDF]
20 years of the ACM SIGPLAN Conference on Programming Language Design and Implementation: 1979 - 1999. A Selection., April 2004
2003[top]
Understanding Aspects (Extended Abstract) [PS]
Proc. ACM SIGPLAN International Conference on Functional Programming
CPS Transformation of Flow Information [PDF]
Journal of Functional Programming no. 5 vol. 13 pp. 905-923
Web Interactions [PDF (1.2MB)] [PS.gz (0.9 MB)]
2002[top]
A Modular, Extensible Proof Method for Small-step Flow Analyses [PS]
Programming Languages and Systems, 11th European Symposium on Programming, ESOP 2002, held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings vol. 2305 pp. 213-227
The SIGCSE 2001 Maze Demonstration Program [PDF] [DOC]
ACM Special Interest Group on Computer Science Education
An experimental study of renewal-older-first garbage collection [PDF]
Proceedings of the 2002 ACM International Conference on Functional Programming
2001[top]
Set Constraints for Destructive Array Update Optimization [PS]
Journal of Functional Programming no. 3 vol. 11 pp. 319-346
A Semantics for Advice and Dynamic Join Points in Aspect-Oriented Programming [PS]
Proceedings of SAIG '01
Java Power Tools:Model Software for Teaching Object-Oriented Design [PDF] [DOC]
ACM Special Interest Group on Computer Science Education
older publications