Matthew Flatt

University of Utah — United States

Computer Science · Physical Sciences

39h-index8.1kcitations189works0.02yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Logic, programming, and type systems(80), Parallel Computing and Optimization Techniques(43), Software Engineering Research(43), Advanced Software Engineering Methodologies(35), Teaching and Learning Programming(17)

Publications189 total

DSLs in Racket: You Want It How, Now?
2024Open Access
A Calculus for Unreachable Code
arXiv (Cornell University)·2024Open Access
Artifact for "Rhombus: A New Spin on Macros without All the Parentheses"
Artifact Digital Object Group·2023· 1 citedOpen Access
Rhombus: A New Spin on Macros without All the Parentheses
Proceedings of the ACM on Programming Languages·2023· 4 citedOpen Access
Runtime and compiler support for HAMTs
2021
SweetPea: A standard language for factorial experimental design
Behavior Research Methods·2021· 5 citedOpen Access
Racket’s intermediate language for control (invited talk)
2020
SweetPea: A standard language for factorial experimental design.
2020· 1 citedOpen Access
Replication Package for Article: Compiler and Runtime Support for Continuation Marks
Artifact Digital Object Group·2020
Compiler and runtime support for continuation marks
2020· 8 cited
Rash: from reckless interactions to reliable programs
ACM SIGPLAN Notices·2020Open Access
Rebuilding racket on chez scheme (experience report)
Proceedings of the ACM on Programming Languages·2019· 8 citedOpen Access
Artifact
Artifact Digital Object Group·2019
From Macros to DSLs: The Evolution of Racket
DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)·2019· 3 citedOpen Access
Rash: from reckless interactions to reliable programs
2018· 4 citedOpen Access
POP-PL
ACM Transactions on Programming Languages and Systems·2018· 2 cited
A programmable programming language
Communications of the ACM·2018· 71 cited
Debugging with domain-specific events via macros
2017· 4 cited
Migratory Typing: Ten Years Later
DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)·2017· 23 citedOpen Access
Extensible access control with authorization contracts
2016· 11 citedOpen Access
page 1 of 10Next →

Frequent Co-authors

Robert Bruce Findler(28), Matthias Felleisen(27), Shriram Krishnamurthi(15), Sam Tobin-Hochstadt(9), John Clements(4), Ryan Culpepper(4), Jay McCarthy(4), Jon Rafkind(4), Cormac Flanagan(3), Vincent St-Amour(3), Eli Barzilay(3), Casey Klein(3), Jacob Matthews(2), T. Stephen Strickland(2), Christos Dimoulas(2), Carl Eastlund(2), Kathryn E. Gray(2), Jonathan Cohen(1), Brian MacWhinney(1), Jefferson Provost(1)