[PLT logo] Utah PLT Publications

Published Papers

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


The above publications are based upon work supported by the National Science Foundation.
See also publications at Northeastern.