![[PLT logo]](../logo.gif){kind=logo}
Utah PLT Publications
Utah PLT Publications
DLS 2021
Torosyan, Zeppieri, and Flatt.
Runtime and Compiler Support for HAMTs
PDF
BRM 2021
Musslick, Cherkaev, Draut, Butt, Darragh, Srikumar, Flatt, and Cohen.
(Behavioral Research Methods, August 2021)
SweetPea: A Standard Language for Factorial Experimental Design
DOI
PLDI 2020
Flatt and Dybvig.
Compiler and Runtime Support for Continuation Marks
PDF
ICFP 2019
Flatt, Derici, Dybvig, Keep, Massaccesi, Spall, Tobin-Hochstadt, and Zeppieri.
Rebuilding Racket on Chez Scheme (Experience Report)
PDF
supplementray material
GPCE 2018
Hatch and Flatt.
Rash: From Reckless Interactions to Reliable Programs
DL
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
DDJ 2004
Felleisen, Findler, Flatt, and Krishnamurthi.
( Dr Dobb's Journal, April 2004 )
Building Little Languages with Macros
www.ddj.org
DDJ 2004
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
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