Matthew Flatt

Registered user since Sat 14 Nov 2015

Name:Matthew Flatt
Bio:

Matthew Flatt is a professor in the School of Computing at the University of Utah, where he works on extensible programming languages, runtime systems, and applications of functional programming. He is one of the developers of the Racket programming language. He received his PhD from Rice University in 1999.

Country:United States
Affiliation:University of Utah
Research interests:Programming Languages

Contributions

SPLASH 2024 Committee Member in Review Committee within the OOPSLA 2024-track
DLS 2023 Committee Member in Steering Committee within the DLS 2023-track
SPLASH 2023 PC Member in OOPSLA Review Committee within the OOPSLA-track
ICFP 2023 Associate Chair in Program Committee within the ICFP Research Papers-track
‹Programming› 2023 Committee Member in Program Committee within the Research Papers-track
Steering Committee Member in Steering Committee
‹Programming› 2022 Committee Member in Steering Committee
DLS 2021 Author of Runtime and Compiler Support for HAMTs within the DLS 2021-track
GPCE 2021 Committee Member in Program Committee within the GPCE-track
SPLASH 2021 Committee Member in Program Committee within the Onward! Papers-track
VMIL 2021 Committee Member in Program Committee within the VMIL 2021-track
Session Chair of Session 3 (part of VMIL 2021)
PLDI 2021 Committee Member in Program Committee within the PLDI-track
HOPL IV Session Chair of Tuesday Evening (part of Papers)
‹Programming› 2021 Committee Member in Steering Committee
Committee Member in Program Committee within the Research Papers-track
DLS 2020 Program Chair in Program Committee within the DLS 2020-track
GPCE 2020 Committee Member in Steering Committee within the GPCE-track
SAS 2020 Session Chair of 2 (part of SAS)
Session Chair of 2 (part of SAS)
VMIL 2020 Keynote Speaker of Racket’s Intermediate Language for Control within the VMIL 2020-track
ECOOP 2020 Committee Member in External Review Committee within the Research Papers-track
ICFP 2020 Author in Steering Committee
PLDI 2020 Committee Member in SRC Committee within the Student Research Competition-track
Committee Member in External Review Committee within the PLDI Research Papers-track
Author of Compiler and Runtime Support for Continuation Marks within the PLDI Research Papers-track
‹Programming› 2020 Committee Member in Program Committee within the Research Papers-track
Committee Member in Jury within the Student Research Competition-track
Committee Member in Steering Committee
Session Chair of Thinking Concurrently (part of Research Papers)
SPLASH 2019 Committee Member in External Review Committee within the OOPSLA-track
GPCE 2019 Committee Member in Program Committee within the GPCE 2019-track
ICFP 2019 ICFP'18 Program Chair in Steering Committee
Author of Rebuilding Racket on Chez Scheme (Experience Report) within the Research Papers-track
ELS 2019 Special Guest of Rebooting Racket within the ELS 2019-track
‹Programming› 2019 Program Chair in Organizing Committee
Program Chair in Program Committee within the Research Papers-track
META'18 Committee Member in Program Committee within the Meta-track
GPCE 2018 Author of Rash: From Reckless Interactions to Reliable Programs within the GPCE 2018-track
ICFP 2018 Program Chair in Organizing Committee
ICFP'18 Program Chair in Steering Committee
Session Chair of Tuesday Keynote (part of Keynotes and Reports)
Program Chair in Program Committee within the Research Papers-track
Author of Program Chair's Report within the Keynotes and Reports-track
Scheme 2018 Author of Rebuilding Racket on Chez Scheme: An Experience Report within the Scheme 2018-track
‹Programming› 2018 Committee Member in Program Committee within the Research Papers-track
Off the Beaten Track 2018 Author of SweetPea: A Language for Designing Experiments within the Off the Beaten Track 2018-track
DLS 2017 Committee Member in Program Committee within the DLS 2017-track
SLE 2017 Author of Debugging with Domain-Specific Events via Macros within the SLE-track
GPCE 2017 Author of Awards within the GPCE 2017-track
Session Chair of Performance (part of GPCE 2017)
Author of Opening within the GPCE 2017-track
Committee Member in Steering Committee within the GPCE 2017-track
General Chair in Organizing Committee within the GPCE 2017-track
DSLDI 2017 Author of Debugging Domain-Specific Languages Defined with Macros within the DSLDI 2017-track
ICFP 2017 Artifact Evaluation Co-Chair in Organizing Committee
Session Chair of Contracts and Sessions (part of Research Papers)
Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the Research Artifacts-track
ICFP'18 Program Chair in Steering Committee
Committee Member in Program Committee within the Research Papers-track
‹Programming› 2017 Keynote Speaker of How Racket Went Meta within the Keynotes-track
PEPM 2017 Committee Member in Programme Committee
Committee Member in Programme Committee within the PEPM 2017-track
LWC@SLE 2016 Author of Languages the Racket Way: Submission to the 2016 Language Workbench Challenge within the LWC-track
SPLASH 2016 Author of Extensible Access Control with Authorization Contracts within the OOPSLA-track
Program Chair in Program Committee within the Doctoral Symposium-track
Doctoral Symposium Chair of Student Awards within the Keynotes and Awards-track
Doctoral Symposium Chair in Organizing Committee
DLS 2016 Committee Member in Program Committee within the DLS-track
GPCE 2016 Committee Member in Program Committee within the GPCE-track
ICFP 2016 ICFP'18 Program Chair in Steering Committee
Committee Member in External Review Committee within the Research Papers-track
ECOOP 2016 Invited Guest in Academic Panel within the Doctoral Symposium-track
Committee Member in Program Committee within the Research Track-track
Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the Artifacts-track
POPL 2016 Author of Binding as Sets of Scopes within the Research Papers-track
PEPM 2016 Keynote Speaker of Invited Keynote: Building Languages in Racket: Syntax Objects as an Intermediate Representation within the Invited Talks-track
DLS 2015 Committee Member in Program Committee within the DLS-track
GPCE 2015 Session Chair of Session 6 (part of GPCE)
Committee Member in Program Committee within the GPCE-track
Author of POP-PL: A Patient-Oriented Prescription Programming Language within the GPCE-track
Committee Member in Steering Committee
Future Programming Workshop 2015 Author of Medic: Metaprogramming and Trace-Oriented Debugging within the Future Programming Workshop-track
ECOOP 2015 Author of Towards Practical Gradual Typing within the Research Track-track
Co-chair in Artifact Evaluation Committee within the Artifacts-track
DSLDI 2015 Panelist of Panel Discussion: Language Composition within the DSLDI-track
Author of Check Syntax: An Out-of-the-Box Tool for Macro-Based DSLs within the DSLDI-track
PLDI 2015 Committee Member in External Review Committee within the Research Papers-track
DSLDI Committee Member in Program Committee within the DSLDI-track
GPCE 2013 Author of Submodules in Racket: You Want it When, Again? within the Research Papers-track
SPLASH 2013 Committee Member in Program Committee within the GPCE-track
SPLASH 2012 Author of Chaperones and impersonators: run-time support for reasonable interposition within the OOPSLA Research Papers-track
DLS 2012 Committee Member in Program Committee within the DLS 2012-track
SPLASH 2011 Committee Member in Program Committee within the OOPSLA-track