Matthew Flatt

Matthew Flatt: Creating languages in Racket. Commun. ACM 55(1): 48-56 (2012)

Matthew Flatt, Ryan Culpepper, David Darais, Robert Bruce Findler: Macros that Work Together - Compile-time bindings, partial expansion, and definition contexts. J. Funct. Program. 22(2): 181-216 (2012)

Jon Rafkind, Matthew Flatt: Honu: syntactic extension for algebraic notation through enforestation. GPCE 2012: 122-131

T. Stephen Strickland, Sam Tobin-Hochstadt, Robert Bruce Findler, Matthew Flatt: Chaperones and impersonators: run-time support for reasonable interposition. OOPSLA 2012: 943-962

Vincent St-Amour, Sam Tobin-Hochstadt, Matthew Flatt, Matthias Felleisen: Typing the Numeric Tower. PADL 2012: 289-303

Casey Klein, John Clements, Christos Dimoulas, Carl Eastlund, Matthias Felleisen, Matthew Flatt, Jay A. McCarthy, Jon Rafkind, Sam Tobin-Hochstadt, Robert Bruce Findler: Run your research: on the effectiveness of lightweight mechanization. POPL 2012: 285-296

Kevin Tew, James Swaine, Matthew Flatt, Robert Bruce Findler, Peter A. Dinda: Places: adding message-passing parallelism to racket. DLS 2011: 85-96

Sam Tobin-Hochstadt, Vincent St-Amour, Ryan Culpepper, Matthew Flatt, Matthias Felleisen: Languages as libraries. PLDI 2011: 132-141

Kevin Atkinson, Matthew Flatt, Gary Lindstrom: ABI compatibility through a customizable language. GPCE 2010: 147-156

Casey Klein, Matthew Flatt, Robert Bruce Findler: Random testing for higher-order, stateful programs. OOPSLA 2010: 555-566

James Swaine, Kevin Tew, Peter A. Dinda, Robert Bruce Findler, Matthew Flatt: Back to the futures: incremental parallelization of existing sequential runtime systems. OOPSLA 2010: 583-597

Matthias Felleisen, Robert Bruce Findler, Matthew Flatt: Semantics Engineering with PLT Redex. MIT Press 2009, isbn 978-0-262-06275-6, pp. I-XII, 1-502

Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi: A functional I/O system or, fun for freshman kids. ICFP 2009: 47-58

Matthew Flatt, Eli Barzilay, Robert Bruce Findler: Scribble: closing the book on ad hoc documentation tools. ICFP 2009: 109-120

Jon Rafkind, Adam Wick, John Regehr, Matthew Flatt: Precise garbage collection for C. ISMM 2009: 39-48

Matthew Flatt, Benjamin C. Pierce: Preface. J. Funct. Program. 17(4-5): 431 (2007)

Matthew Flatt, Gang Yu, Robert Bruce Findler, Matthias Felleisen: Adding delimited and composable control to a production programming environment. ICFP 2007: 165-176

Robert Bruce Findler, Matthew Flatt: Slideshow: functional presentations. J. Funct. Program. 16(4-5): 583-619 (2006)

Matthew Flatt, Robert Bruce Findler, Matthias Felleisen: Scheme with Classes, Mixins, and Traits. APLAS 2006: 270-289

Scott Owens, Matthew Flatt: From structures and functors to modules and units. ICFP 2006: 87-98

Sean McDirmid, Wilson C. Hsieh, Matthew Flatt: A Framework for Modular Linking in OO Languages. JMLC 2006: 116-135

Ryan Culpepper, Scott Owens, Matthew Flatt: Syntactic Abstraction in Component Interfaces. GPCE 2005: 373-388

Kathryn E. Gray, Robert Bruce Findler, Matthew Flatt: Fine-grained interoperability through mirrors and contracts. OOPSLA 2005: 231-245

Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi: The structure and interpretation of the computer science curriculum. J. Funct. Program. 14(4): 365-378 (2004)

Robert Bruce Findler, Matthew Flatt, Matthias Felleisen: Semantic Casts: Contracts and Structural Subtyping in a Nominal World. ECOOP 2004: 364-388

Robert Bruce Findler, Matthew Flatt: Slideshow: functional presentations. ICFP 2004: 224-235

Adam Wick, Matthew Flatt: Memory accounting without partitions. ISMM 2004: 120-130

David S. Goldberg, Robert Bruce Findler, Matthew Flatt: Super and inner: together at last! OOPSLA 2004: 116-129

Matthew Flatt, Robert Bruce Findler: Kill-safe synchronization abstractions. PLDI 2004: 47-58

Jacob Matthews, Robert Bruce Findler, Matthew Flatt, Matthias Felleisen: A Visual Environment for Developing Context-Sensitive Term Rewriting Systems. RTA 2004: 301-311

Kathryn E. Gray, Matthew Flatt: ProfessorJ: a gradual introduction to Java through language levels. OOPSLA Companion 2003: 170-177

Peter Van Roy, Joe Armstrong, Matthew Flatt, Boris Magnusson: The role of language paradigms in teaching programming. SIGCSE 2003: 269-270

Robert Bruce Findler, John Clements, Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Paul Steckler, Matthias Felleisen: DrScheme: a programming environment for Scheme. J. Funct. Program. 12(2): 159-182 (2002)

Matthew Flatt: Composable and compilable macros: : you want it when? ICFP 2002: 72-83

John Clements, Matthew Flatt, Matthias Felleisen: Modeling an Algebraic Stepper. ESOP 2001: 320-334

Sean McDirmid, Matthew Flatt, Wilson C. Hsieh: Jiazzi: New-Age Components for Old-Fashioned Java. OOPSLA 2001: 211-222

Alastair Reid, Matthew Flatt, Leigh Stoller, Jay Lepreau, Eric Eide: Knit: Component Composition for Systems Software. OSDI 2000: 347-360

Matthew Flatt, Robert Bruce Findler, Shriram Krishnamurthi, Matthias Felleisen: Programming Languages as Operating Systems (or Revenge of the Son of the Lisp Machine). ICFP 1999: 138-147

Matthew Flatt, Shriram Krishnamurthi, Matthias Felleisen: A Programmer's Reduction Semantics for Classes and Mixins. Formal Syntax and Semantics of Java 1999: 241-269

Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi: The DrScheme Project: An Overview. SIGPLAN Notices 33(6): 17-23 (1998)

Robert Bruce Findler, Matthew Flatt: Modular Object-Oriented Programming with Units and Mixins. ICFP 1998: 94-104

Matthew Flatt, Matthias Felleisen: Units: Cool Modules for HOT Languages. PLDI 1998: 236-248

Matthew Flatt, Shriram Krishnamurthi, Matthias Felleisen: Classes and Mixins. POPL 1998: 171-183

Matthew Flatt, Matthias Felleisen: Program Units as Higher-Order Modules. Electr. Notes Theor. Comput. Sci. 10: 204-229 (1997)

Robert Bruce Findler, Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Matthias Felleisen: DrScheme: A Pedagogic Programming Environment for Scheme. PLILP 1997: 369-388

Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Stephanie Weirich, Matthias Felleisen: Static Debugging: Browsing the Web of Program Invariants. PLDI 1996: 23-32