Matthew Flatt - RankMe

77 papers A* 9A 19B 11C 6Journal 16Unranked 14

Year	Rank	Type	Title / Venue / Authors
2024	J	`jnl`	A Calculus for Unreachable Code. CoRR Peter Zhong, Shu-Hung You, Simone Campanoni, Robert Bruce Findler, Matthew Flatt, Christos Dimoulas
2024	B	`conf`	DSLs in Racket: You Want It How, Now? SLE Yunjeong Lee, Kiran Gopinathan, Ziyi Yang, Matthew Flatt, Ilya Sergey
2023	J	`jnl`	Rhombus: A New Spin on Macros without All the Parentheses. Proc. ACM Program. Lang. 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
2021	C	`conf`	Runtime and compiler support for HAMTs. DLS Sona Torosyan, Jon Zeppieri, Matthew Flatt
2020	A*	`conf`	Compiler and runtime support for continuation marks. PLDI Matthew Flatt, R. Kent Dybvig
2020	—	`conf`	Racket's intermediate language for control (invited talk). VMIL@SPLASH Matthew Flatt
2019	—	`conf`	From Macros to DSLs: The Evolution of Racket. SNAPL Ryan Culpepper, Matthias Felleisen, Matthew Flatt, Shriram Krishnamurthi
2019	J	`jnl`	Rebuilding racket on chez scheme (experience report). Proc. ACM Program. Lang. Matthew Flatt, Caner Derici, R. Kent Dybvig, Andrew W. Keep, Gustavo E. Massaccesi, Sarah Spall, Sam Tobin-Hochstadt, Jon Zeppieri
2018	J	`jnl`	A programmable programming language. Commun. ACM Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi, Eli Barzilay, Jay A. McCarthy, Sam Tobin-Hochstadt
2018	J	`jnl`	POP-PL: A Patient-Oriented Prescription Programming Language. ACM Trans. Program. Lang. Syst. 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
2018	B	`conf`	Rash: from reckless interactions to reliable programs. GPCE William Gallard Hatch, Matthew Flatt
2017	B	`conf`	Debugging with domain-specific events via macros. SLE Xiangqi Li, Matthew Flatt
2017	—	`conf`	Migratory Typing: Ten Years Later. SNAPL Sam Tobin-Hochstadt, Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Ben Greenman, Andrew M. Kent, Vincent St-Amour, T. Stephen Strickland, Asumu Takikawa
2017	B	`ed.`	Proceedings of the 16th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, GPCE 2017, Vancouver, BC, Canada, October 23-24, 2017 GPCE Matthew Flatt, Sebastian Erdweg
2016	A*	`conf`	Binding as sets of scopes. POPL Matthew Flatt
2016	A	`conf`	Extensible access control with authorization contracts. OOPSLA Scott Moore, Christos Dimoulas, Robert Bruce Findler, Matthew Flatt, Stephen Chong
2016	J	`jnl`	Front Matter, Table of Contents, Preface, Artifact Evaluation Committee. Dagstuhl Artifacts Ser. Matthew Flatt, Tijs van der Storm
2016	—	`conf`	Source-to-Source Compilation via Submodules. ELS Tero Hasu, Matthew Flatt
2015	J	`jnl`	Front Matter, Table of Contents. Dagstuhl Artifacts Ser. Camil Demetrescu, Matthew Flatt
2015	—	`conf`	Medic: metaprogramming and trace-oriented debugging. FPW@SPLASH Xiangqi Li, Matthew Flatt
2015	B	`conf`	POP-PL: a patient-oriented prescription programming language. GPCE 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	—	`conf`	The Racket Manifesto. SNAPL Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi, Eli Barzilay, Jay A. McCarthy, Sam Tobin-Hochstadt
2015	A	`conf`	Towards Practical Gradual Typing. ECOOP Asumu Takikawa, Daniel Feltey, Earl Dean, Matthew Flatt, Robert Bruce Findler, Sam Tobin-Hochstadt, Matthias Felleisen
2014	B	`ed.`	Generative Programming: Concepts and Experiences, GPCE'14, Vasteras, Sweden, September 15-16, 2014 GPCE Ulrik Pagh Schultz, Matthew Flatt
2014	C	`ed.`	Practical Aspects of Declarative Languages - 16th International Symposium, PADL 2014, San Diego, CA, USA, January 20-21, 2014. Proceedings PADL Matthew Flatt, Hai-Feng Guo
2013	—	`conf`	Distributed Places. Trends in Functional Programming Kevin Tew, James Swaine, Matthew Flatt, Robert Bruce Findler, Peter A. Dinda
2013	B	`conf`	Submodules in racket: you want it when, again? GPCE Matthew Flatt
2012	A	`conf`	Chaperones and impersonators: run-time support for reasonable interposition. OOPSLA T. Stephen Strickland, Sam Tobin-Hochstadt, Robert Bruce Findler, Matthew Flatt
2012	J	`jnl`	Creating languages in Racket. Commun. ACM Matthew Flatt
2012	B	`conf`	Honu: syntactic extension for algebraic notation through enforestation. GPCE Jon Rafkind, Matthew Flatt
2012	J	`jnl`	Macros that Work Together - Compile-time bindings, partial expansion, and definition contexts. J. Funct. Program. Matthew Flatt, Ryan Culpepper, David Darais, Robert Bruce Findler
2012	A*	`conf`	Run your research: on the effectiveness of lightweight mechanization. POPL Casey Klein, John Clements, Christos Dimoulas, Carl Eastlund, Matthias Felleisen, Matthew Flatt, Jay A. McCarthy, Jon Rafkind, Sam Tobin-Hochstadt, Robert Bruce Findler
2012	—	`conf`	Seeing the futures: profiling shared-memory parallel racket. FHPC@ICFP James Swaine, Burke Fetscher, Vincent St-Amour, Robert Bruce Findler, Matthew Flatt
2012	J	`jnl`	The Racket virtual machine and randomized testing. High. Order Symb. Comput. Casey Klein, Matthew Flatt, Robert Bruce Findler
2012	C	`conf`	Typing the Numeric Tower. PADL Vincent St-Amour, Sam Tobin-Hochstadt, Matthew Flatt, Matthias Felleisen
2011	A*	`conf`	Languages as libraries. PLDI Sam Tobin-Hochstadt, Vincent St-Amour, Ryan Culpepper, Matthew Flatt, Matthias Felleisen
2011	C	`conf`	Places: adding message-passing parallelism to racket. DLS Kevin Tew, James Swaine, Matthew Flatt, Robert Bruce Findler, Peter A. Dinda
2010	B	`conf`	ABI compatibility through a customizable language. GPCE Kevin Atkinson, Matthew Flatt, Gary Lindstrom
2010	A	`conf`	Back to the futures: incremental parallelization of existing sequential runtime systems. OOPSLA James Swaine, Kevin Tew, Peter A. Dinda, Robert Bruce Findler, Matthew Flatt
2010	A	`conf`	Random testing for higher-order, stateful programs. OOPSLA Casey Klein, Matthew Flatt, Robert Bruce Findler
2010	—	`book`	Revised6 Report on the Algorithmic Language Scheme. Michael Sperber, R. Kent Dybvig, Matthew Flatt, Anton van Straaten, Robert Bruce Findler, Jacob Matthews
2009	A	`conf`	A functional I/O system or, fun for freshman kids. ICFP Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi
2009	C	`conf`	Precise garbage collection for C. ISMM Jon Rafkind, Adam Wick, John Regehr, Matthew Flatt
2009	A	`conf`	Scribble: closing the book on ad hoc documentation tools. ICFP Matthew Flatt, Eli Barzilay, Robert Bruce Findler
2009	—	`book`	Semantics Engineering with PLT Redex. Matthias Felleisen, Robert Bruce Findler, Matthew Flatt
2007	A	`conf`	Adding delimited and composable control to a production programming environment. ICFP Matthew Flatt, Gang Yu, Robert Bruce Findler, Matthias Felleisen
2007	J	`jnl`	Preface. J. Funct. Program. Matthew Flatt, Benjamin C. Pierce
2006	—	`conf`	A Framework for Modular Linking in OO Languages. JMLC Sean McDirmid, Wilson C. Hsieh, Matthew Flatt
2006	A	`conf`	From structures and functors to modules and units. ICFP Scott Owens, Matthew Flatt
2006	B	`conf`	Scheme with Classes, Mixins, and Traits. APLAS Matthew Flatt, Robert Bruce Findler, Matthias Felleisen
2006	J	`jnl`	Slideshow: functional presentations. J. Funct. Program. Robert Bruce Findler, Matthew Flatt
2005	A	`conf`	Fine-grained interoperability through mirrors and contracts. OOPSLA Kathryn E. Gray, Robert Bruce Findler, Matthew Flatt
2005	B	`conf`	Syntactic Abstraction in Component Interfaces. GPCE Ryan Culpepper, Scott Owens, Matthew Flatt
2004	—	`conf`	A Visual Environment for Developing Context-Sensitive Term Rewriting Systems. RTA Jacob Matthews, Robert Bruce Findler, Matthew Flatt, Matthias Felleisen
2004	A*	`conf`	Kill-safe synchronization abstractions. PLDI Matthew Flatt, Robert Bruce Findler
2004	C	`conf`	Memory accounting without partitions. ISMM Adam Wick, Matthew Flatt
2004	A	`conf`	Semantic Casts: Contracts and Structural Subtyping in a Nominal World. ECOOP Robert Bruce Findler, Matthew Flatt, Matthias Felleisen
2004	A	`conf`	Slideshow: functional presentations. ICFP Robert Bruce Findler, Matthew Flatt
2004	A	`conf`	Super and inner: together at last! OOPSLA David S. Goldberg, Robert Bruce Findler, Matthew Flatt
2004	J	`jnl`	The TeachScheme! Project: Computing and Programming for Every Student. Comput. Sci. Educ. Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi
2004	J	`jnl`	The structure and interpretation of the computer science curriculum. J. Funct. Program. Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi
2003	—	`conf`	ProfessorJ: a gradual introduction to Java through language levels. OOPSLA Companion Kathryn E. Gray, Matthew Flatt
2003	A	`conf`	The role of language paradigms in teaching programming. SIGCSE Peter Van Roy, Joe Armstrong, Matthew Flatt, Boris Magnusson
2002	A	`conf`	Composable and compilable macros: : you want it when? ICFP Matthew Flatt
2002	J	`jnl`	DrScheme: a programming environment for Scheme. J. Funct. Program. Robert Bruce Findler, John Clements, Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Paul Steckler, Matthias Felleisen
2001	A	`conf`	Jiazzi: New-Age Components for Old-Fashioned Java. OOPSLA Sean McDirmid, Matthew Flatt, Wilson C. Hsieh
2001	A	`conf`	Modeling an Algebraic Stepper. ESOP John Clements, Matthew Flatt, Matthias Felleisen
2000	A*	`conf`	Knit: Component Composition for Systems Software. OSDI Alastair Reid, Matthew Flatt, Leigh Stoller, Jay Lepreau, Eric Eide
1999	—	`conf`	A Programmer's Reduction Semantics for Classes and Mixins. Formal Syntax and Semantics of Java Matthew Flatt, Shriram Krishnamurthi, Matthias Felleisen
1999	A	`conf`	Programming Languages as Operating Systems (or Revenge of the Son of the Lisp Machine). ICFP Matthew Flatt, Robert Bruce Findler, Shriram Krishnamurthi, Matthias Felleisen
1998	A*	`conf`	Classes and Mixins. POPL Matthew Flatt, Shriram Krishnamurthi, Matthias Felleisen
1998	A	`conf`	Modular Object-Oriented Programming with Units and Mixins. ICFP Robert Bruce Findler, Matthew Flatt
1998	J	`jnl`	The DrScheme Project: An Overview. ACM SIGPLAN Notices Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi
1998	A*	`conf`	Units: Cool Modules for HOT Languages. PLDI Matthew Flatt, Matthias Felleisen
1997	—	`conf`	DrScheme: A Pedagogic Programming Environment for Scheme. PLILP Robert Bruce Findler, Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Matthias Felleisen
1997	—	`conf`	Program Units as Higher-Order Modules. HOOTS Matthew Flatt, Matthias Felleisen
1996	A*	`conf`	Static Debugging: Browsing the Web of Program Invariants. PLDI Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Stephanie Weirich, Matthias Felleisen