Matthew Flatt
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
44
Venues
13
Active years
1996–2024
Best venue rank
A*
Where they publish
Papers
44 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | SLE | DSLs in Racket: You Want It How, Now? | Yunjeong Lee, Kiran Gopinathan, Ziyi Yang, Matthew Flatt, Ilya Sergey |
| 2021 | DLS | Runtime and compiler support for HAMTs. | Sona Torosyan, Jon Zeppieri, Matthew Flatt |
| 2020 | OOPSLA | Racket's intermediate language for control (invited talk). | Matthew Flatt |
| 2020 | PLDI | Compiler and runtime support for continuation marks. | Matthew Flatt, R. Kent Dybvig |
| 2018 | GPCE | Rash: from reckless interactions to reliable programs. | William Gallard Hatch, Matthew Flatt |
| 2017 | SLE | Debugging with domain-specific events via macros. | Xiangqi Li, Matthew Flatt |
| 2016 | OOPSLA | Extensible access control with authorization contracts. | Scott Moore, Christos Dimoulas, Robert Bruce Findler, Matthew Flatt, Stephen Chong |
| 2016 | POPL | Binding as sets of scopes. | Matthew Flatt |
| 2015 | ECOOP | Towards Practical Gradual Typing. | Asumu Takikawa, Daniel Feltey, Earl Dean, Matthew Flatt, Robert Bruce Findler, Sam Tobin-Hochstadt, Matthias Felleisen |
| 2015 | GPCE | 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 |
| 2015 | OOPSLA | Medic: metaprogramming and trace-oriented debugging. | Xiangqi Li, Matthew Flatt |
| 2013 | GPCE | Submodules in racket: you want it when, again? | Matthew Flatt |
| 2012 | GPCE | Honu: syntactic extension for algebraic notation through enforestation. | Jon Rafkind, Matthew Flatt |
| 2012 | ICFP | Seeing the futures: profiling shared-memory parallel racket. | James Swaine, Burke Fetscher, Vincent St-Amour, Robert Bruce Findler, Matthew Flatt |
| 2012 | OOPSLA | Chaperones and impersonators: run-time support for reasonable interposition. | T. Stephen Strickland, Sam Tobin-Hochstadt, Robert Bruce Findler, Matthew Flatt |
| 2012 | PADL | Typing the Numeric Tower. | Vincent St-Amour, Sam Tobin-Hochstadt, Matthew Flatt, Matthias Felleisen |
| 2012 | POPL | 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 |
| 2011 | DLS | Places: adding message-passing parallelism to racket. | Kevin Tew, James Swaine, Matthew Flatt, Robert Bruce Findler, Peter A. Dinda |
| 2011 | PLDI | Languages as libraries. | Sam Tobin-Hochstadt, Vincent St-Amour, Ryan Culpepper, Matthew Flatt, Matthias Felleisen |
| 2010 | GPCE | ABI compatibility through a customizable language. | Kevin Atkinson, Matthew Flatt, Gary Lindstrom |
| 2010 | OOPSLA | Random testing for higher-order, stateful programs. | Casey Klein, Matthew Flatt, Robert Bruce Findler |
| 2010 | OOPSLA | Back to the futures: incremental parallelization of existing sequential runtime systems. | James Swaine, Kevin Tew, Peter A. Dinda, Robert Bruce Findler, Matthew Flatt |
| 2009 | ICFP | A functional I/O system or, fun for freshman kids. | Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi |
| 2009 | ICFP | Scribble: closing the book on ad hoc documentation tools. | Matthew Flatt, Eli Barzilay, Robert Bruce Findler |
| 2007 | ICFP | Adding delimited and composable control to a production programming environment. | Matthew Flatt, Gang Yu, Robert Bruce Findler, Matthias Felleisen |
| 2006 | APLAS | Scheme with Classes, Mixins, and Traits. | Matthew Flatt, Robert Bruce Findler, Matthias Felleisen |
| 2006 | ICFP | From structures and functors to modules and units. | Scott Owens, Matthew Flatt |
| 2005 | GPCE | Syntactic Abstraction in Component Interfaces. | Ryan Culpepper, Scott Owens, Matthew Flatt |
| 2005 | OOPSLA | Fine-grained interoperability through mirrors and contracts. | Kathryn E. Gray, Robert Bruce Findler, Matthew Flatt |
| 2004 | ECOOP | Semantic Casts: Contracts and Structural Subtyping in a Nominal World. | Robert Bruce Findler, Matthew Flatt, Matthias Felleisen |
| 2004 | ICFP | Slideshow: functional presentations. | Robert Bruce Findler, Matthew Flatt |
| 2004 | OOPSLA | Super and inner: together at last! | David S. Goldberg, Robert Bruce Findler, Matthew Flatt |
| 2004 | PLDI | Kill-safe synchronization abstractions. | Matthew Flatt, Robert Bruce Findler |
| 2003 | OOPSLA | ProfessorJ: a gradual introduction to Java through language levels. | Kathryn E. Gray, Matthew Flatt |
| 2003 | SIGCSE | The role of language paradigms in teaching programming. | Peter Van Roy, Joe Armstrong, Matthew Flatt, Boris Magnusson |
| 2002 | ICFP | Composable and compilable macros: : you want it when? | Matthew Flatt |
| 2001 | ESOP | Modeling an Algebraic Stepper. | John Clements, Matthew Flatt, Matthias Felleisen |
| 2001 | OOPSLA | Jiazzi: New-Age Components for Old-Fashioned Java. | Sean McDirmid, Matthew Flatt, Wilson C. Hsieh |
| 2000 | OSDI | Knit: Component Composition for Systems Software. | Alastair Reid, Matthew Flatt, Leigh Stoller, Jay Lepreau, Eric Eide |
| 1999 | ICFP | Programming Languages as Operating Systems (or Revenge of the Son of the Lisp Machine). | Matthew Flatt, Robert Bruce Findler, Shriram Krishnamurthi, Matthias Felleisen |
| 1998 | ICFP | Modular Object-Oriented Programming with Units and Mixins. | Robert Bruce Findler, Matthew Flatt |
| 1998 | PLDI | Units: Cool Modules for HOT Languages. | Matthew Flatt, Matthias Felleisen |
| 1998 | POPL | Classes and Mixins. | Matthew Flatt, Shriram Krishnamurthi, Matthias Felleisen |
| 1996 | PLDI | Static Debugging: Browsing the Web of Program Invariants. | Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Stephanie Weirich, Matthias Felleisen |