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

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

Program Units as Higher-Order Modules. - Matthew Flatt; Matthias Felleisen (HOOTS, 1997)

Modular Object-Oriented Programming with Units and Mixins. - Robert Bruce Findler; Matthew Flatt (ICFP, 1998)

Units: Cool Modules for HOT Languages. - Matthew Flatt; Matthias Felleisen (PLDI, 1998)

Classes and Mixins. - Matthew Flatt; Shriram Krishnamurthi; Matthias Felleisen (POPL, 1998)

The DrScheme Project: An Overview. - Matthias Felleisen; Robert Bruce Findler; Matthew Flatt; Shriram Krishnamurthi (ACM SIGPLAN Notices, 1998)

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

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

Knit: Component Composition for Systems Software. - Alastair Reid 001; Matthew Flatt; Leigh Stoller; Jay Lepreau; Eric Eide (OSDI, 2000)

Modeling an Algebraic Stepper. - John Clements; Matthew Flatt; Matthias Felleisen (ESOP, 2001)

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

Composable and compilable macros: : you want it when? - Matthew Flatt (ICFP, 2002)

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

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

The role of language paradigms in teaching programming. - Peter Van Roy; Joe Armstrong; Matthew Flatt; Boris Magnusson (SIGCSE, 2003)

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

Memory accounting without partitions. - Adam Wick; Matthew Flatt (ISMM, 2004)

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

Kill-safe synchronization abstractions. - Matthew Flatt; Robert Bruce Findler (PLDI, 2004)

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

The TeachScheme! Project: Computing and Programming for Every Student. - Matthias Felleisen; Robert Bruce Findler; Matthew Flatt; Shriram Krishnamurthi (Comput. Sci. Educ., 2004)

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

Syntactic Abstraction in Component Interfaces. - Ryan Culpepper; Scott Owens; Matthew Flatt (GPCE, 2005)

Fine-grained interoperability through mirrors and contracts. - Kathryn E. Gray; Robert Bruce Findler; Matthew Flatt (OOPSLA, 2005)

Scheme with Classes, Mixins, and Traits. - Matthew Flatt; Robert Bruce Findler; Matthias Felleisen (APLAS, 2006)

From structures and functors to modules and units. - Scott Owens; Matthew Flatt (ICFP, 2006)

A Framework for Modular Linking in OO Languages. - Sean McDirmid; Wilson C. Hsieh; Matthew Flatt (JMLC, 2006)

Slideshow: functional presentations. - Robert Bruce Findler; Matthew Flatt (J. Funct. Program., 2006)

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

Preface. - Matthew Flatt; Benjamin C. Pierce (J. Funct. Program., 2007)

Semantics Engineering with PLT Redex. - Matthias Felleisen; Robert Bruce Findler; Matthew Flatt (MIT Press, 2009)

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

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

Precise garbage collection for C. - Jon Rafkind; Adam Wick; John Regehr; Matthew Flatt (ISMM, 2009)

Revised6 Report on the Algorithmic Language Scheme. - Michael Sperber; R. Kent Dybvig; Matthew Flatt; Anton van Straaten; Robert Bruce Findler; Jacob Matthews (Cambridge University Press, 2010)

ABI compatibility through a customizable language. - Kevin Atkinson; Matthew Flatt; Gary Lindstrom (GPCE, 2010)

Random testing for higher-order, stateful programs. - Casey Klein; Matthew Flatt; Robert Bruce Findler (OOPSLA, 2010)

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

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

Languages as libraries. - Sam Tobin-Hochstadt; Vincent St-Amour; Ryan Culpepper; Matthew Flatt; Matthias Felleisen (PLDI, 2011)

Honu: syntactic extension for algebraic notation through enforestation. - Jon Rafkind; Matthew Flatt (GPCE, 2012)

Seeing the futures: profiling shared-memory parallel racket. - James Swaine; Burke Fetscher; Vincent St-Amour; Robert Bruce Findler; Matthew Flatt (FHPC@ICFP, 2012)

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

Typing the Numeric Tower. - Vincent St-Amour; Sam Tobin-Hochstadt; Matthew Flatt; Matthias Felleisen (PADL, 2012)

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

Creating languages in Racket. - Matthew Flatt (Commun. ACM, 2012)

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

The Racket virtual machine and randomized testing. - Casey Klein; Matthew Flatt; Robert Bruce Findler (High. Order Symb. Comput., 2012)

Submodules in racket: you want it when, again? - Matthew Flatt (GPCE, 2013)

Distributed Places. - Kevin Tew; James Swaine; Matthew Flatt; Robert Bruce Findler; Peter A. Dinda (Trends in Functional Programming, 2013)

Towards Practical Gradual Typing. - Asumu Takikawa; Daniel Feltey; Earl Dean; Matthew Flatt; Robert Bruce Findler; Sam Tobin-Hochstadt; Matthias Felleisen (ECOOP, 2015)

POP-PL: a patient-oriented prescription programming language. - Spencer P. Florence; Burke Fetscher; Matthew Flatt; William H. Temps; Tina Kiguradze; Dennis P. West; Charlotte Niznik; Paul R. Yarnold; Robert Bruce Findler; Steven M. Belknap (GPCE, 2015)

Medic: metaprogramming and trace-oriented debugging. - Xiangqi Li; Matthew Flatt (FPW@SPLASH, 2015)

The Racket Manifesto. - Matthias Felleisen; Robert Bruce Findler; Matthew Flatt; Shriram Krishnamurthi; Eli Barzilay; Jay A. McCarthy; Sam Tobin-Hochstadt (SNAPL, 2015)

Front Matter, Table of Contents. - Camil Demetrescu; Matthew Flatt (Dagstuhl Artifacts Ser., 2015)

Source-to-Source Compilation via Submodules. - Tero Hasu; Matthew Flatt (ELS, 2016)

Extensible access control with authorization contracts. - Scott Moore 001; Christos Dimoulas; Robert Bruce Findler; Matthew Flatt; Stephen Chong (OOPSLA, 2016)

Binding as sets of scopes. - Matthew Flatt (POPL, 2016)

Front Matter, Table of Contents, Preface, Artifact Evaluation Committee. - Matthew Flatt; Tijs van der Storm (Dagstuhl Artifacts Ser., 2016)

Debugging with domain-specific events via macros. - Xiangqi Li; Matthew Flatt (SLE, 2017)

Migratory Typing: Ten Years Later. - Sam Tobin-Hochstadt; Matthias Felleisen; Robert Bruce Findler; Matthew Flatt; Ben Greenman; Andrew M. Kent; Vincent St-Amour; T. Stephen Strickland; Asumu Takikawa (SNAPL, 2017)

Rash: from reckless interactions to reliable programs. - William Gallard Hatch; Matthew Flatt (GPCE, 2018)

A programmable programming language. - Matthias Felleisen; Robert Bruce Findler; Matthew Flatt; Shriram Krishnamurthi; Eli Barzilay; Jay A. McCarthy; Sam Tobin-Hochstadt (Commun. ACM, 2018)

POP-PL: A Patient-Oriented Prescription Programming Language. - Spencer P. Florence; Burke Fetscher; Matthew Flatt; William H. Temps; Vincent St-Amour; Tina Kiguradze; Dennis P. West; Charlotte Niznik; Paul R. Yarnold; Robert Bruce Findler; Steven M. Belknap (ACM Trans. Program. Lang. Syst., 2018)

From Macros to DSLs: The Evolution of Racket. - Ryan Culpepper; Matthias Felleisen; Matthew Flatt; Shriram Krishnamurthi (SNAPL, 2019)

Rebuilding racket on chez scheme (experience report). - Matthew Flatt; Caner Derici; R. Kent Dybvig; Andrew W. Keep; Gustavo E. Massaccesi; Sarah Spall; Sam Tobin-Hochstadt; Jon Zeppieri (Proc. ACM Program. Lang., 2019)

Racket's intermediate language for control (invited talk). - Matthew Flatt (VMIL@SPLASH, 2020)

Compiler and runtime support for continuation marks. - Matthew Flatt; R. Kent Dybvig (PLDI, 2020)

Runtime and compiler support for HAMTs. - Sona Torosyan; Jon Zeppieri; Matthew Flatt (DLS, 2021)

Rhombus: A New Spin on Macros without All the Parentheses. - Matthew Flatt; Taylor Allred; Nia Angle; Stephen De Gabrielle; Robert Bruce Findler; Jack Firth; Kiran Gopinathan; Ben Greenman; Siddhartha Kasivajhula; Alex Knauth; Jay A. McCarthy; Sam Phillips; et al. (Proc. ACM Program. Lang., 2023)

DSLs in Racket: You Want It How, Now? - Yunjeong Lee; Kiran Gopinathan; Ziyi Yang; Matthew Flatt; Ilya Sergey (SLE, 2024)

A Calculus for Unreachable Code. - Peter Zhong; Shu-Hung You; Simone Campanoni; Robert Bruce Findler; Matthew Flatt; Christos Dimoulas (CoRR, 2024)