[PLT logo] Utah PLT Publications

Published Papers

SLE 2017 Li and Flatt.
Debugging with Domain-Specific Events via Macros
PDF

POPL 2016 Flatt.
Binding as Sets of Scopes
PDF extended version, model, and artifact

FPW 2015 Li and Flatt.
Medic: Metaprogramming and Trace-Oriented Debugging
PDF

GPCE 2013 Flatt.
Submodules in Racket: You Want it When, Again?
PDF [non-color] model and sources

OOPSLA 2012 Strickland, Tobin-Hochstadt, Findler, and Flatt.
Chaperones and Impersonators: Run-time Support for Reasonable Interposition
PDF model and sources

GPCE 2012 Rafkind and Flatt.
Honu: Syntactic Extension for Algebraic Notation through Enforestation
PDF

JFP 2012 Flatt, Culpepper, Darais, and Findler.
Macros that Work Together: Compile-Time Bindings, Partial Expansion, and Definition Contexts
Draft and Model

DLS 2011 Tew, Swaine, Flatt, Findler, and Dinda.
Places: Adding Message-Passing Parallelism to Racket
PDF

PLDI 2011 Tobin-Hochstadt, St-Amour, Culpepper, Flatt, and Felleisen.
Languages as Libraries
PDF

OOPSLA 2010 Swaine, Tew, Dinda, Findler, and Flatt.
Back to the Futures: Incremental Parallelization of Existing Sequential Runtime Systems
PDF

GPCE 2010 Atkinson, Flatt, and Lindstrom.
ABI Compatibility Through a Customizable Language
PDF

ICFP 2009 Flatt, Barzilay, and Findler.
Scribble: Closing the Book on Ad Hoc Documentation Tools
PDF

Scheme 2009 Flatt and Barzilay.
Keyword and Optional Arguments in PLT Scheme
PDF

ISMM 2009 Rafkind, Wick, Regehr, and Flatt.
Precise Garbage Collection for C
PDF

ICFP 2007 Flatt, Yu, Finlder and Felleisen.
Adding Delimited and Composable Control to a Production Programming Environment
PDF

APLAS 2006 Flatt, Finlder and Felleisen.
Scheme with Classes, Mixins, and Traits (invited tutorial)
PDF

ICFP 2006 Owens and Flatt.
From Structures and Functors to Modules and Units
PDF

OOPSLA 2005 Gray, Findler, and Flatt.
Fine-Grained Interoperability through Mirrors and Contracts
PDF

GPCE 2005 Culpepper, Owens, and Flatt.
Syntactic Abstraction in Component Interfaces
PDF

ISMM 2004 Wick and Flatt.
Memory Accounting without Partitions
PDF
See also addendum

OOPSLA 2004 Goldberg, Findler, and Flatt.
Super and Inner — Together at Last!
PDF model

Scheme 2004 Gray and Flatt.
Compiling Java to PLT Scheme
PDF

Scheme 2004 Owens, Flatt, Shivers, and McMullan.
Lexer and Parser Generators in Scheme
PDF

ICFP 2004 Findler and Flatt.
Slideshow: Functional Presentations
PDF software

PLDI 2004 Flatt and Findler.
Kill-Safe Synchronization Abstractions
PDF code

RTA 2004 Matthews, Findler, Flatt, and Felleisen.
A Visual Environment for Developing Context-Sensitive Term Rewriting Systems
PDF

ECOOP 2004 Findler, Flatt, and Felleisen.
Semantic Casts: Contracts and Structural Subtyping in a Nominal World
PDF

Felleisen, Findler, Flatt, and Krishnamurthi.
( Dr Dobb's Journal, April 2004 )
Building Little Languages with Macros
www.ddj.org

Clements, Felleisen, Findler, Flatt, and Krishnamurthi.
( Dr Dobb's Journal, March 2004 )
Fostering Little Languages
www.ddj.org

OOPSLA Educators' Symposium 2003 Gray and Flatt.
ProfessorJ: A Gradual Intro to Java through Language Levels
PDF

UITP 2003 Owens and Slind.
Proving as Programming with DrHOL: A Preliminary Design
PDF

Scheme 2002 Wick, Flatt, and Hsieh.
Reachability-based Memory Accounting
PDF

ICFP 2002 Flatt.
Composable and Compilable Macros: You Want it When?
PDF

OOPSLA 2001 McDirmid, Flatt, Hsieh.
Jiazzi: New-Age Components for Old-Fashioned Java
PDF

Dissertations

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.