default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMatthew Flatt
Person information
- affiliation: University of Utah, Salt Lake City, Utah, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[i1]Peter Zhong, Shu-Hung You, Simone Campanoni, Robert Bruce Findler, Matthew Flatt, Christos Dimoulas:
A Calculus for Unreachable Code. CoRR abs/2407.04917 (2024)- 2023
- [j15]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:
Rhombus: A New Spin on Macros without All the Parentheses. Proc. ACM Program. Lang. 7(OOPSLA2): 574-603 (2023) - 2021
- [c55]Sona Torosyan, Jon Zeppieri, Matthew Flatt:
Runtime and compiler support for HAMTs. DLS 2021: 48-59 - 2020
- [c54]Matthew Flatt:
Racket's intermediate language for control (invited talk). VMIL@SPLASH 2020: 1 - [c53]Matthew Flatt, R. Kent Dybvig:
Compiler and runtime support for continuation marks. PLDI 2020: 45-58
2010 – 2019
- 2019
- [j14]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): 78:1-78:15 (2019) - [c52]Ryan Culpepper, Matthias Felleisen, Matthew Flatt, Shriram Krishnamurthi:
From Macros to DSLs: The Evolution of Racket. SNAPL 2019: 5:1-5:19 - 2018
- [j13]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): 62-71 (2018) - [j12]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): 10:1-10:37 (2018) - [c51]William Gallard Hatch, Matthew Flatt:
Rash: from reckless interactions to reliable programs. GPCE 2018: 28-39 - 2017
- [c50]Xiangqi Li, Matthew Flatt:
Debugging with domain-specific events via macros. SLE 2017: 91-102 - [c49]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: 17:1-17:17 - [e3]Matthew Flatt, Sebastian Erdweg:
Proceedings of the 16th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, GPCE 2017, Vancouver, BC, Canada, October 23-24, 2017. ACM 2017, ISBN 978-1-4503-5524-7 [contents] - 2016
- [j11]Matthew Flatt, Tijs van der Storm:
Front Matter, Table of Contents, Preface, Artifact Evaluation Committee. Dagstuhl Artifacts Ser. 2(1): 00:i-00:x (2016) - [c48]Tero Hasu, Matthew Flatt:
Source-to-Source Compilation via Submodules. ELS 2016: 57-64 - [c47]Scott Moore, Christos Dimoulas, Robert Bruce Findler, Matthew Flatt, Stephen Chong:
Extensible access control with authorization contracts. OOPSLA 2016: 214-233 - [c46]Matthew Flatt:
Binding as sets of scopes. POPL 2016: 705-717 - 2015
- [j10]Camil Demetrescu, Matthew Flatt:
Front Matter, Table of Contents. Dagstuhl Artifacts Ser. 1(1): 00:i-00:vi (2015) - [c45]Asumu Takikawa, Daniel Feltey, Earl Dean, Matthew Flatt, Robert Bruce Findler, Sam Tobin-Hochstadt, Matthias Felleisen:
Towards Practical Gradual Typing. ECOOP 2015: 4-27 - [c44]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: 131-140 - [c43]Xiangqi Li, Matthew Flatt:
Medic: metaprogramming and trace-oriented debugging. FPW@SPLASH 2015: 7-14 - [c42]Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi, Eli Barzilay, Jay A. McCarthy, Sam Tobin-Hochstadt:
The Racket Manifesto. SNAPL 2015: 113-128 - 2014
- [e2]Ulrik Pagh Schultz, Matthew Flatt:
Generative Programming: Concepts and Experiences, GPCE'14, Vasteras, Sweden, September 15-16, 2014. ACM 2014, ISBN 978-1-4503-3161-6 [contents] - [e1]Matthew Flatt, Hai-Feng Guo:
Practical Aspects of Declarative Languages - 16th International Symposium, PADL 2014, San Diego, CA, USA, January 20-21, 2014. Proceedings. Lecture Notes in Computer Science 8324, Springer 2014, ISBN 978-3-319-04131-5 [contents] - 2013
- [c41]Matthew Flatt:
Submodules in racket: you want it when, again? GPCE 2013: 13-22 - [c40]Kevin Tew, James Swaine, Matthew Flatt, Robert Bruce Findler, Peter A. Dinda:
Distributed Places. Trends in Functional Programming 2013: 34-57 - 2012
- [j9]Matthew Flatt:
Creating languages in Racket. Commun. ACM 55(1): 48-56 (2012) - [j8]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) - [j7]Casey Klein, Matthew Flatt, Robert Bruce Findler:
The Racket virtual machine and randomized testing. High. Order Symb. Comput. 25(2-4): 209-253 (2012) - [c39]Jon Rafkind, Matthew Flatt:
Honu: syntactic extension for algebraic notation through enforestation. GPCE 2012: 122-131 - [c38]James Swaine, Burke Fetscher, Vincent St-Amour, Robert Bruce Findler, Matthew Flatt:
Seeing the futures: profiling shared-memory parallel racket. FHPC@ICFP 2012: 73-82 - [c37]T. Stephen Strickland, Sam Tobin-Hochstadt, Robert Bruce Findler, Matthew Flatt:
Chaperones and impersonators: run-time support for reasonable interposition. OOPSLA 2012: 943-962 - [c36]Vincent St-Amour, Sam Tobin-Hochstadt, Matthew Flatt, Matthias Felleisen:
Typing the Numeric Tower. PADL 2012: 289-303 - [c35]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 - 2011
- [c34]Kevin Tew, James Swaine, Matthew Flatt, Robert Bruce Findler, Peter A. Dinda:
Places: adding message-passing parallelism to racket. DLS 2011: 85-96 - [c33]Sam Tobin-Hochstadt, Vincent St-Amour, Ryan Culpepper, Matthew Flatt, Matthias Felleisen:
Languages as libraries. PLDI 2011: 132-141 - 2010
- [b2]Michael Sperber, R. Kent Dybvig, Matthew Flatt, Anton van Straaten, Robert Bruce Findler, Jacob Matthews:
Revised6 Report on the Algorithmic Language Scheme. Cambridge University Press 2010, ISBN 978-0-521-19399-3, pp. 1-301 - [c32]Kevin Atkinson, Matthew Flatt, Gary Lindstrom:
ABI compatibility through a customizable language. GPCE 2010: 147-156 - [c31]Casey Klein, Matthew Flatt, Robert Bruce Findler:
Random testing for higher-order, stateful programs. OOPSLA 2010: 555-566 - [c30]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
2000 – 2009
- 2009
- [b1]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 - [c29]Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi:
A functional I/O system or, fun for freshman kids. ICFP 2009: 47-58 - [c28]Matthew Flatt, Eli Barzilay, Robert Bruce Findler:
Scribble: closing the book on ad hoc documentation tools. ICFP 2009: 109-120 - [c27]Jon Rafkind, Adam Wick, John Regehr, Matthew Flatt:
Precise garbage collection for C. ISMM 2009: 39-48 - 2007
- [j6]Matthew Flatt, Benjamin C. Pierce:
Preface. J. Funct. Program. 17(4-5): 431 (2007) - [c26]Matthew Flatt, Gang Yu, Robert Bruce Findler, Matthias Felleisen:
Adding delimited and composable control to a production programming environment. ICFP 2007: 165-176 - 2006
- [j5]Robert Bruce Findler, Matthew Flatt:
Slideshow: functional presentations. J. Funct. Program. 16(4-5): 583-619 (2006) - [c25]Matthew Flatt, Robert Bruce Findler, Matthias Felleisen:
Scheme with Classes, Mixins, and Traits. APLAS 2006: 270-289 - [c24]Scott Owens, Matthew Flatt:
From structures and functors to modules and units. ICFP 2006: 87-98 - [c23]Sean McDirmid, Wilson C. Hsieh, Matthew Flatt:
A Framework for Modular Linking in OO Languages. JMLC 2006: 116-135 - 2005
- [c22]Ryan Culpepper, Scott Owens, Matthew Flatt:
Syntactic Abstraction in Component Interfaces. GPCE 2005: 373-388 - [c21]Kathryn E. Gray, Robert Bruce Findler, Matthew Flatt:
Fine-grained interoperability through mirrors and contracts. OOPSLA 2005: 231-245 - 2004
- [j4]Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi:
The TeachScheme! Project: Computing and Programming for Every Student. Comput. Sci. Educ. 14(1): 55-77 (2004) - [j3]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) - [c20]Robert Bruce Findler, Matthew Flatt, Matthias Felleisen:
Semantic Casts: Contracts and Structural Subtyping in a Nominal World. ECOOP 2004: 364-388 - [c19]Robert Bruce Findler, Matthew Flatt:
Slideshow: functional presentations. ICFP 2004: 224-235 - [c18]Adam Wick, Matthew Flatt:
Memory accounting without partitions. ISMM 2004: 120-130 - [c17]David S. Goldberg, Robert Bruce Findler, Matthew Flatt:
Super and inner: together at last! OOPSLA 2004: 116-129 - [c16]Matthew Flatt, Robert Bruce Findler:
Kill-safe synchronization abstractions. PLDI 2004: 47-58 - [c15]Jacob Matthews, Robert Bruce Findler, Matthew Flatt, Matthias Felleisen:
A Visual Environment for Developing Context-Sensitive Term Rewriting Systems. RTA 2004: 301-311 - 2003
- [c14]Kathryn E. Gray, Matthew Flatt:
ProfessorJ: a gradual introduction to Java through language levels. OOPSLA Companion 2003: 170-177 - [c13]Peter Van Roy, Joe Armstrong, Matthew Flatt, Boris Magnusson:
The role of language paradigms in teaching programming. SIGCSE 2003: 269-270 - 2002
- [j2]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) - [c12]Matthew Flatt:
Composable and compilable macros: : you want it when? ICFP 2002: 72-83 - 2001
- [c11]John Clements, Matthew Flatt, Matthias Felleisen:
Modeling an Algebraic Stepper. ESOP 2001: 320-334 - [c10]Sean McDirmid, Matthew Flatt, Wilson C. Hsieh:
Jiazzi: New-Age Components for Old-Fashioned Java. OOPSLA 2001: 211-222 - 2000
- [c9]Alastair Reid, Matthew Flatt, Leigh Stoller, Jay Lepreau, Eric Eide:
Knit: Component Composition for Systems Software. OSDI 2000: 347-360
1990 – 1999
- 1999
- [c8]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 - [c7]Matthew Flatt, Shriram Krishnamurthi, Matthias Felleisen:
A Programmer's Reduction Semantics for Classes and Mixins. Formal Syntax and Semantics of Java 1999: 241-269 - 1998
- [j1]Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi:
The DrScheme Project: An Overview. ACM SIGPLAN Notices 33(6): 17-23 (1998) - [c6]Robert Bruce Findler, Matthew Flatt:
Modular Object-Oriented Programming with Units and Mixins. ICFP 1998: 94-104 - [c5]Matthew Flatt, Matthias Felleisen:
Units: Cool Modules for HOT Languages. PLDI 1998: 236-248 - [c4]Matthew Flatt, Shriram Krishnamurthi, Matthias Felleisen:
Classes and Mixins. POPL 1998: 171-183 - 1997
- [c3]Robert Bruce Findler, Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Matthias Felleisen:
DrScheme: A Pedagogic Programming Environment for Scheme. PLILP 1997: 369-388 - [c2]Matthew Flatt, Matthias Felleisen:
Program Units as Higher-Order Modules. HOOTS 1997: 204-229 - 1996
- [c1]Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Stephanie Weirich, Matthias Felleisen:
Static Debugging: Browsing the Web of Program Invariants. PLDI 1996: 23-32
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-21 00:22 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
