Matthew Flatt

According to our database, Matthew Flatt authored at least 72 papers between 1996 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

A Calculus for Unreachable Code.

Peter Zhong, Shu-Hung You, Simone Campanoni, Robert Bruce Findler, Matthew Flatt, Christos Dimoulas

CoRR, 2024

2023

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, Sorawee Porncharoenwase, Jens Axel Søgaard, Sam Tobin-Hochstadt

Proc. ACM Program. Lang., October, 2023

2021

Runtime and compiler support for HAMTs.

Sona Torosyan, Jon Zeppieri, Matthew Flatt

Proceedings of the DLS 2021: Proceedings of the 17th ACM SIGPLAN International Symposium on Dynamic Languages, 2021

2020

Compiler and runtime support for continuation marks.

Matthew Flatt, R. Kent Dybvig

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

Racket's intermediate language for control (invited talk).

Matthew Flatt

Proceedings of the VMIL@SPLASH 2020: Proceedings of the 12th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages, 2020

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

From Macros to DSLs: The Evolution of Racket.

Ryan Culpepper, Matthias Felleisen, Matthew Flatt, Shriram Krishnamurthi

Proceedings of the 3rd Summit on Advances in Programming Languages, 2019

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

A programmable programming language.

Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi, Eli Barzilay, Jay A. McCarthy, Sam Tobin-Hochstadt

Commun. ACM, 2018

Rash: from reckless interactions to reliable programs.

William Gallard Hatch, Matthew Flatt

Proceedings of the 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2018

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

Proceedings of the 2nd Summit on Advances in Programming Languages, 2017

Debugging with domain-specific events via macros.

Xiangqi Li, Matthew Flatt

Proceedings of the 10th ACM SIGPLAN International Conference on Software Language Engineering, 2017

2016

Front Matter, Table of Contents, Preface, Artifact Evaluation Committee.

Matthew Flatt, Tijs van der Storm

Dagstuhl Artifacts Ser., 2016

Binding as sets of scopes.

Matthew Flatt

Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

Extensible access control with authorization contracts.

Scott Moore, Christos Dimoulas, Robert Bruce Findler, Matthew Flatt, Stephen Chong

Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, 2016

Source-to-Source Compilation via Submodules.

Tero Hasu, Matthew Flatt

Proceedings of the 9th European Lisp Symposium (ELS 2016), Kraków, Poland, May 9-10, 2016., 2016

2015

Front Matter, Table of Contents.

Camil Demetrescu, Matthew Flatt

Dagstuhl Artifacts Ser., 2015

The Racket Manifesto.

Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi, Eli Barzilay, Jay A. McCarthy, Sam Tobin-Hochstadt

Proceedings of the 1st Summit on Advances in Programming Languages, 2015

Medic: metaprogramming and trace-oriented debugging.

Xiangqi Li, Matthew Flatt

Proceedings of the Workshop on Future Programming, 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

Proceedings of the 2015 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2015

Towards Practical Gradual Typing.

Asumu Takikawa, Daniel Feltey, Earl Dean, Matthew Flatt, Robert Bruce Findler, Sam Tobin-Hochstadt, Matthias Felleisen

Proceedings of the 29th European Conference on Object-Oriented Programming, 2015

2013

Distributed Places.

Kevin Tew, James Swaine, Matthew Flatt, Robert Bruce Findler, Peter A. Dinda

Proceedings of the Trends in Functional Programming - 14th International Symposium, 2013

Submodules in racket: you want it when, again?

Matthew Flatt

Proceedings of the Generative Programming: Concepts and Experiences, 2013

2012

The Racket virtual machine and randomized testing.

Casey Klein, Matthew Flatt, Robert Bruce Findler

High. Order Symb. Comput., 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

Creating languages in Racket.

Matthew Flatt

Commun. ACM, 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

Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2012

Typing the Numeric Tower.

Vincent St-Amour, Sam Tobin-Hochstadt, Matthew Flatt, Matthias Felleisen

Proceedings of the Practical Aspects of Declarative Languages, 2012

Chaperones and impersonators: run-time support for reasonable interposition.

T. Stephen Strickland, Sam Tobin-Hochstadt, Robert Bruce Findler, Matthew Flatt

Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2012

Seeing the futures: profiling shared-memory parallel racket.

James Swaine, Burke Fetscher, Vincent St-Amour, Robert Bruce Findler, Matthew Flatt

Proceedings of the 1st ACM SIGPLAN workshop on Functional high-performance computing, 2012

Honu: syntactic extension for algebraic notation through enforestation.

Jon Rafkind, Matthew Flatt

Proceedings of the Generative Programming and Component Engineering, 2012

2011

Languages as libraries.

Sam Tobin-Hochstadt, Vincent St-Amour, Ryan Culpepper, Matthew Flatt, Matthias Felleisen

Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011

Places: adding message-passing parallelism to racket.

Kevin Tew, James Swaine, Matthew Flatt, Robert Bruce Findler, Peter A. Dinda

Proceedings of the 7th Symposium on Dynamic Languages, 2011

2010

Back to the futures: incremental parallelization of existing sequential runtime systems.

James Swaine, Kevin Tew, Peter A. Dinda, Robert Bruce Findler, Matthew Flatt

Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

Random testing for higher-order, stateful programs.

Casey Klein, Matthew Flatt, Robert Bruce Findler

Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

ABI compatibility through a customizable language.

Kevin Atkinson, Matthew Flatt, Gary Lindstrom

Proceedings of the Generative Programming And Component Engineering, 2010

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, ISBN: 978-0-521-19399-3, 2010

2009

Precise garbage collection for C.

Jon Rafkind, Adam Wick, John Regehr, Matthew Flatt

Proceedings of the 8th International Symposium on Memory Management, 2009

Scribble: closing the book on ad hoc documentation tools.

Matthew Flatt, Eli Barzilay, Robert Bruce Findler

Proceedings of the Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, 2009

A functional I/O system or, fun for freshman kids.

Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi

Proceedings of the Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, 2009

Semantics Engineering with PLT Redex.

Matthias Felleisen, Robert Bruce Findler, Matthew Flatt

MIT Press, ISBN: 978-0-262-06275-6, 2009

2007

Preface.

Matthew Flatt, Benjamin C. Pierce

J. Funct. Program., 2007

Adding delimited and composable control to a production programming environment.

Matthew Flatt, Gang Yu, Robert Bruce Findler, Matthias Felleisen

Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, 2007

2006

Slideshow: functional presentations.

Robert Bruce Findler, Matthew Flatt

J. Funct. Program., 2006

A Framework for Modular Linking in OO Languages.

Sean McDirmid, Wilson C. Hsieh, Matthew Flatt

Proceedings of the Modular Programming Languages, 7th Joint Modular Languages Conference, 2006

From structures and functors to modules and units.

Scott Owens, Matthew Flatt

Proceedings of the 11th ACM SIGPLAN International Conference on Functional Programming, 2006

Scheme with Classes, Mixins, and Traits.

Matthew Flatt, Robert Bruce Findler, Matthias Felleisen

Proceedings of the Programming Languages and Systems, 4th Asian Symposium, 2006

2005

Fine-grained interoperability through mirrors and contracts.

Kathryn E. Gray, Robert Bruce Findler, Matthew Flatt

Proceedings of the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2005

Syntactic Abstraction in Component Interfaces.

Ryan Culpepper, Scott Owens, Matthew Flatt

Proceedings of the Generative Programming and Component Engineering, 2005

2004

The structure and interpretation of the computer science curriculum.

Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi

J. Funct. Program., 2004

The TeachScheme! Project: Computing and Programming for Every Student.

Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi

Comput. Sci. Educ., 2004

A Visual Environment for Developing Context-Sensitive Term Rewriting Systems.

Jacob Matthews, Robert Bruce Findler, Matthew Flatt, Matthias Felleisen

Proceedings of the Rewriting Techniques and Applications, 15th International Conference, 2004

Kill-safe synchronization abstractions.

Matthew Flatt, Robert Bruce Findler

Proceedings of the ACM SIGPLAN 2004 Conference on Programming Language Design and Implementation 2004, 2004

Super and inner: together at last!

David S. Goldberg, Robert Bruce Findler, Matthew Flatt

Proceedings of the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2004

Memory accounting without partitions.

Adam Wick, Matthew Flatt

Proceedings of the 4th International Symposium on Memory Management, 2004

Semantic Casts: Contracts and Structural Subtyping in a Nominal World.

Robert Bruce Findler, Matthew Flatt, Matthias Felleisen

Proceedings of the ECOOP 2004, 2004

2003

The role of language paradigms in teaching programming.

Peter Van Roy, Joe Armstrong, Matthew Flatt, Boris Magnusson

Proceedings of the 34th SIGCSE Technical Symposium on Computer Science Education, 2003

ProfessorJ: a gradual introduction to Java through language levels.

Kathryn E. Gray, Matthew Flatt

Proceedings of the Companion of the 18th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2003

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

Composable and compilable macros: : you want it when?

Matthew Flatt

Proceedings of the Seventh ACM SIGPLAN International Conference on Functional Programming (ICFP '02), 2002

2001

Jiazzi: New-Age Components for Old-Fashioned Java.

Sean McDirmid, Matthew Flatt, Wilson C. Hsieh

Proceedings of the 2001 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 2001

Modeling an Algebraic Stepper.

John Clements, Matthew Flatt, Matthias Felleisen

Proceedings of the Programming Languages and Systems, 2001

2000

Knit: Component Composition for Systems Software.

Alastair Reid, Matthew Flatt, Leigh Stoller, Jay Lepreau, Eric Eide

Proceedings of the 4th Symposium on Operating System Design and Implementation (OSDI 2000), 2000

1999

A Programmer's Reduction Semantics for Classes and Mixins.

Matthew Flatt, Shriram Krishnamurthi, Matthias Felleisen

Proceedings of the Formal Syntax and Semantics of Java, 1999

Programming Languages as Operating Systems (or Revenge of the Son of the Lisp Machine).

Matthew Flatt, Robert Bruce Findler, Shriram Krishnamurthi, Matthias Felleisen

Proceedings of the fourth ACM SIGPLAN International Conference on Functional Programming (ICFP '99), 1999

1998

The DrScheme Project: An Overview.

Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi

ACM SIGPLAN Notices, 1998

Classes and Mixins.

Matthew Flatt, Shriram Krishnamurthi, Matthias Felleisen

Proceedings of the POPL '98, 1998

Units: Cool Modules for HOT Languages.

Matthew Flatt, Matthias Felleisen

Proceedings of the ACM SIGPLAN '98 Conference on Programming Language Design and Implementation (PLDI), 1998

Modular Object-Oriented Programming with Units and Mixins.

Robert Bruce Findler, Matthew Flatt

Proceedings of the third ACM SIGPLAN International Conference on Functional Programming (ICFP '98), 1998

1997

Program Units as Higher-Order Modules.

Matthew Flatt, Matthias Felleisen

Proceedings of the Second Workshop on Higher-Order Operational Techniques in Semantics, 1997

DrScheme: A Pedagogic Programming Environment for Scheme.

Robert Bruce Findler, Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Matthias Felleisen

Proceedings of the Programming Languages: Implementations, 1997

1996

Static Debugging: Browsing the Web of Program Invariants.

Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Stephanie Weirich, Matthias Felleisen

Proceedings of the ACM SIGPLAN'96 Conference on Programming Language Design and Implementation (PLDI), 1996