Published Papers
OOPSLA 2023
Rhombus: A New Spin on Macros without All the Parentheses
PDF
DLS 2021
Runtime and Compiler Support for HAMTs
PDF
BRM 2021
(Behavioral Research Methods, August 2021)
SweetPea: A Standard Language for Factorial Experimental Design
DOI
PLDI 2020
Compiler and Runtime Support for Continuation Marks
PDF
ICFP 2019
Rebuilding Racket on Chez Scheme (Experience Report)
PDF
supplementary material
GPCE 2018
Rash: From Reckless Interactions to Reliable Programs
DL
SLE 2017
Debugging with Domain-Specific Events via Macros
PDF
POPL 2016
Binding as Sets of Scopes
PDF
extended version, model, and artifact
FPW 2015
Medic: Metaprogramming and Trace-Oriented Debugging
PDF
GPCE 2013
Submodules in Racket: You Want it When, Again?
PDF
[non-color]
model and sources
OOPSLA 2012
Chaperones and Impersonators: Run-time Support for Reasonable Interposition
PDF
model and sources
GPCE 2012
Honu: Syntactic Extension for Algebraic Notation through Enforestation
PDF
JFP 2012
Macros that Work Together: Compile-Time Bindings, Partial Expansion, and Definition Contexts
Draft and Model
DLS 2011
Places: Adding Message-Passing Parallelism to Racket
PDF
PLDI 2011
Languages as Libraries
PDF
OOPSLA 2010
Back to the Futures: Incremental Parallelization of Existing Sequential Runtime Systems
PDF
GPCE 2010
ABI Compatibility Through a Customizable Language
PDF
ICFP 2009
Scribble: Closing the Book on Ad Hoc Documentation Tools
PDF
Scheme 2009
Keyword and Optional Arguments in PLT Scheme
PDF
ISMM 2009
Precise Garbage Collection for C
PDF
ICFP 2007
Adding Delimited and Composable Control to a Production Programming Environment
PDF
APLAS 2006
Scheme with Classes, Mixins, and Traits (invited tutorial)
PDF
ICFP 2006
From Structures and Functors to Modules and Units
PDF
OOPSLA 2005
Fine-Grained Interoperability through Mirrors and Contracts
PDF
GPCE 2005
Syntactic Abstraction in Component Interfaces
PDF
ISMM 2004
Memory Accounting without Partitions
PDF
See also addendum
OOPSLA 2004
Super and Inner — Together at Last!
PDF model
Scheme 2004
Compiling Java to PLT Scheme
PDF
Scheme 2004
Lexer and Parser Generators in Scheme
PDF
ICFP 2004
Slideshow: Functional Presentations
PDF software
PLDI 2004
Kill-Safe Synchronization Abstractions
PDF code
RTA 2004
A Visual Environment for Developing Context-Sensitive Term Rewriting Systems
PDF
ECOOP 2004
Semantic Casts: Contracts and Structural Subtyping in a Nominal World
PDF
DDJ 2004
(Dr Dobb's Journal, April 2004)
Building Little Languages with Macros
www.ddj.org
DDJ 2004
(Dr Dobb's Journal, March 2004)
Fostering Little Languages
www.ddj.org
OOPSLA Educators' Symposium 2003
ProfessorJ: A Gradual Intro to Java through Language Levels
PDF
UITP 2003
Proving as Programming with DrHOL: A Preliminary Design
PDF
Scheme 2002
Reachability-based Memory Accounting
PDF
ICFP 2002
Composable and Compilable Macros: You Want it When?
PDF
OOPSLA 2001
Jiazzi: New-Age Components for Old-Fashioned Java
PDF
Dissertations
2021 William Gallard Hatch.
Implementation, Integration, and Application of Embedded Domain-Specific Languages
PDF
2017 Xiangqi Li.
Debugging with Domain-Specific Events Via Macros
PDF
2013 Jon Rafkind.
Syntactic Extension for Languages with Implicitly Delimited and Infix Syntax
PDF
2013 Kevin Tew.
Places: Parallelism for Racket
PDF
2011 Kevin Atkinson.
ABI Compatibility Through a Customizable Language
PDF
2006 Kathryn E. Gray.
Towards Customizable Pedagogic Programming Languages
PDF
2006 Scott Owens.
Compile-Time Information in Software Components
PDF
2006 Adam Wick.
Magpie: Precise Garbage Collection For C
PDF
The above publications are based upon work supported by the National Science Foundation.
See also publications at Northeastern.