Matthew Flatt

Publication Activity (10 Years)

Years Active: 1996-2024
Publications (10 Years): 21

Top Topics

Database Marketing

Table Of Contents

Programming Language

Programming Tool

Top Venues

Proc. ACM Program. Lang.

Dagstuhl Artifacts Ser.

Publications

Peter Zhong, Shu-Hung You, Simone Campanoni, Robert Bruce Findler, Matthew Flatt, Christos Dimoulas
A Calculus for Unreachable Code. CoRR (2024)
Matthew Flatt, Taylor Allred, Nia Angle, Stephen De Gabrielle, Robert Bruce Findler, Jack Firth, Kiran Gopinathan, Ben Greenman, Siddhartha Kasivajhula, Alex Knauth, Jay McCarthy, Sam Phillips, Sorawee Porncharoenwase, Jens Axel Søgaard, Sam Tobin-Hochstadt
Rhombus: A New Spin on Macros without All the Parentheses. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Sona Torosyan, Jon Zeppieri, Matthew Flatt
Runtime and compiler support for HAMTs. DLS (2021)
Matthew Flatt
Racket's intermediate language for control (invited talk). VMIL@SPLASH (2020)
Matthew Flatt, R. Kent Dybvig
Compiler and runtime support for continuation marks. PLDI (2020)
Ryan Culpepper, Matthias Felleisen, Matthew Flatt, Shriram Krishnamurthi
From Macros to DSLs: The Evolution of Racket. SNAPL (2019)
Matthew Flatt, Caner Derici, R. Kent Dybvig, Andrew W. Keep, Gustavo E. Massaccesi, Sarah Spall, Sam Tobin-Hochstadt, Jon Zeppieri
Rebuilding racket on chez scheme (experience report). Proc. ACM Program. Lang. 3 (ICFP) (2019)
Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi, Eli Barzilay, Jay A. McCarthy, Sam Tobin-Hochstadt
A programmable programming language. Commun. ACM 61 (3) (2018)
William Gallard Hatch, Matthew Flatt
Rash: from reckless interactions to reliable programs. GPCE (2018)
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
POP-PL: A Patient-Oriented Prescription Programming Language. ACM Trans. Program. Lang. Syst. 40 (3) (2018)
Sam Tobin-Hochstadt, Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Ben Greenman, Andrew M. Kent, Vincent St-Amour, T. Stephen Strickland, Asumu Takikawa
Migratory Typing: Ten Years Later. SNAPL (2017)
Xiangqi Li, Matthew Flatt
Debugging with domain-specific events via macros. SLE (2017)
Matthew Flatt, Tijs van der Storm
Front Matter, Table of Contents, Preface, Artifact Evaluation Committee. Dagstuhl Artifacts Ser. 2 (1) (2016)
Tero Hasu, Matthew Flatt
Source-to-Source Compilation via Submodules. ELS (2016)
Matthew Flatt
Binding as sets of scopes. POPL (2016)
Scott Moore, Christos Dimoulas, Robert Bruce Findler, Matthew Flatt, Stephen Chong
Extensible access control with authorization contracts. OOPSLA (2016)
Asumu Takikawa, Daniel Feltey, Earl Dean, Matthew Flatt, Robert Bruce Findler, Sam Tobin-Hochstadt, Matthias Felleisen
Towards Practical Gradual Typing. ECOOP (2015)
Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi, Eli Barzilay, Jay A. McCarthy, Sam Tobin-Hochstadt
The Racket Manifesto. SNAPL (2015)
Camil Demetrescu, Matthew Flatt
Front Matter, Table of Contents. Dagstuhl Artifacts Ser. 1 (1) (2015)
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
POP-PL: a patient-oriented prescription programming language. GPCE (2015)
Xiangqi Li, Matthew Flatt
Medic: metaprogramming and trace-oriented debugging. FPW@SPLASH (2015)
Kevin Tew, James Swaine, Matthew Flatt, Robert Bruce Findler, Peter A. Dinda
Distributed Places. Trends in Functional Programming (2013)
Matthew Flatt
Submodules in racket: you want it when, again? GPCE (2013)
T. Stephen Strickland, Sam Tobin-Hochstadt, Robert Bruce Findler, Matthew Flatt
Chaperones and impersonators: run-time support for reasonable interposition. OOPSLA (2012)
Matthew Flatt
Creating languages in Racket. Commun. ACM 55 (1) (2012)
Casey Klein, Matthew Flatt, Robert Bruce Findler
The Racket virtual machine and randomized testing. High. Order Symb. Comput. 25 (2-4) (2012)
James Swaine, Burke Fetscher, Vincent St-Amour, Robert Bruce Findler, Matthew Flatt
Seeing the futures: profiling shared-memory parallel racket. FHPC@ICFP (2012)
Jon Rafkind, Matthew Flatt
Honu: syntactic extension for algebraic notation through enforestation. GPCE (2012)
Vincent St-Amour, Sam Tobin-Hochstadt, Matthew Flatt, Matthias Felleisen
Typing the Numeric Tower. PADL (2012)
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)
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) (2012)
Kevin Tew, James Swaine, Matthew Flatt, Robert Bruce Findler, Peter A. Dinda
Places: adding message-passing parallelism to racket. DLS (2011)
Sam Tobin-Hochstadt, Vincent St-Amour, Ryan Culpepper, Matthew Flatt, Matthias Felleisen
Languages as libraries. PLDI (2011)
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)
Casey Klein, Matthew Flatt, Robert Bruce Findler
Random testing for higher-order, stateful programs. OOPSLA (2010)
Kevin Atkinson, Matthew Flatt, Gary Lindstrom
ABI compatibility through a customizable language. GPCE (2010)
Jon Rafkind, Adam Wick, John Regehr, Matthew Flatt
Precise garbage collection for C. ISMM (2009)
Matthew Flatt, Eli Barzilay, Robert Bruce Findler
Scribble: closing the book on ad hoc documentation tools. ICFP (2009)
Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi
A functional I/O system or, fun for freshman kids. ICFP (2009)
Matthew Flatt, Benjamin C. Pierce
Preface. J. Funct. Program. 17 (4-5) (2007)
Matthew Flatt, Gang Yu, Robert Bruce Findler, Matthias Felleisen
Adding delimited and composable control to a production programming environment. ICFP (2007)
Robert Bruce Findler, Matthew Flatt
Slideshow: functional presentations. J. Funct. Program. 16 (4-5) (2006)
Sean McDirmid, Wilson C. Hsieh, Matthew Flatt
A Framework for Modular Linking in OO Languages. JMLC (2006)
Matthew Flatt, Robert Bruce Findler, Matthias Felleisen
Scheme with Classes, Mixins, and Traits. APLAS (2006)
Scott Owens, Matthew Flatt
From structures and functors to modules and units. ICFP (2006)
Kathryn E. Gray, Robert Bruce Findler, Matthew Flatt
Fine-grained interoperability through mirrors and contracts. OOPSLA (2005)
Ryan Culpepper, Scott Owens, Matthew Flatt
Syntactic Abstraction in Component Interfaces. GPCE (2005)
Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi
The TeachScheme! Project: Computing and Programming for Every Student. Comput. Sci. Educ. 14 (1) (2004)
Robert Bruce Findler, Matthew Flatt, Matthias Felleisen
Semantic Casts: Contracts and Structural Subtyping in a Nominal World. ECOOP (2004)
Matthew Flatt, Robert Bruce Findler
Kill-safe synchronization abstractions. PLDI (2004)
Adam Wick, Matthew Flatt
Memory accounting without partitions. ISMM (2004)
Jacob Matthews, Robert Bruce Findler, Matthew Flatt, Matthias Felleisen
A Visual Environment for Developing Context-Sensitive Term Rewriting Systems. RTA (2004)
David S. Goldberg, Robert Bruce Findler, Matthew Flatt
Super and inner: together at last! OOPSLA (2004)
Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi
The structure and interpretation of the computer science curriculum. J. Funct. Program. 14 (4) (2004)
Robert Bruce Findler, Matthew Flatt
Slideshow: functional presentations. ICFP (2004)
Kathryn E. Gray, Matthew Flatt
ProfessorJ: a gradual introduction to Java through language levels. OOPSLA Companion (2003)
Peter Van Roy, Joe Armstrong, Matthew Flatt, Boris Magnusson
The role of language paradigms in teaching programming. SIGCSE (2003)
Matthew Flatt
Composable and compilable macros: : you want it when? ICFP (2002)
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) (2002)
Sean McDirmid, Matthew Flatt, Wilson C. Hsieh
Jiazzi: New-Age Components for Old-Fashioned Java. OOPSLA (2001)
John Clements, Matthew Flatt, Matthias Felleisen
Modeling an Algebraic Stepper. ESOP (2001)
Alastair Reid, Matthew Flatt, Leigh Stoller, Jay Lepreau, Eric Eide
Knit: Component Composition for Systems Software. OSDI (2000)
Matthew Flatt, Shriram Krishnamurthi, Matthias Felleisen
A Programmer's Reduction Semantics for Classes and Mixins. Formal Syntax and Semantics of Java (1999)
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)
Matthew Flatt, Shriram Krishnamurthi, Matthias Felleisen
Classes and Mixins. POPL (1998)
Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi
The DrScheme Project: An Overview. ACM SIGPLAN Notices 33 (6) (1998)
Robert Bruce Findler, Matthew Flatt
Modular Object-Oriented Programming with Units and Mixins. ICFP (1998)
Matthew Flatt, Matthias Felleisen
Units: Cool Modules for HOT Languages. PLDI (1998)
Robert Bruce Findler, Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Matthias Felleisen
DrScheme: A Pedagogic Programming Environment for Scheme. PLILP (1997)
Matthew Flatt, Matthias Felleisen
Program Units as Higher-Order Modules. Electron. Notes Theor. Comput. Sci. 10 (1997)
Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Stephanie Weirich, Matthias Felleisen
Static Debugging: Browsing the Web of Program Invariants. PLDI (1996)