Matthew Flatt

	2012
43		Vincent St-Amour, Sam Tobin-Hochstadt, Matthew Flatt, Matthias Felleisen: Typing the Numeric Tower. PADL 2012: 289-303
42		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
41		Matthew Flatt: Creating languages in Racket. Commun. ACM 55(1): 48-56 (2012)
	2011
40		Kevin Tew, James Swaine, Matthew Flatt, Robert Bruce Findler, Peter A. Dinda: Places: adding message-passing parallelism to racket. DLS 2011: 85-96
39		Sam Tobin-Hochstadt, Vincent St-Amour, Ryan Culpepper, Matthew Flatt, Matthias Felleisen: Languages as libraries. PLDI 2011: 132-141
	2010
38		Kevin Atkinson, Matthew Flatt, Gary Lindstrom: ABI compatibility through a customizable language. GPCE 2010: 147-156
37		Casey Klein, Matthew Flatt, Robert Bruce Findler: Random testing for higher-order, stateful programs. OOPSLA 2010: 555-566
36		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
	2009
35		Matthias Felleisen, Robert Bruce Findler, Matthew Flatt: Semantics Engineering with PLT Redex. MIT Press 2009: I-XII, 1-502
34		Matthew Flatt, Eli Barzilay, Robert Bruce Findler: Scribble: closing the book on ad hoc documentation tools. ICFP 2009: 109-120
33		Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi: A functional I/O system or, fun for freshman kids. ICFP 2009: 47-58
32		Jon Rafkind, Adam Wick, John Regehr, Matthew Flatt: Precise garbage collection for C. ISMM 2009: 39-48
	2007
31		Matthew Flatt, Gang Yu, Robert Bruce Findler, Matthias Felleisen: Adding delimited and composable control to a production programming environment. ICFP 2007: 165-176
30		Matthew Flatt, Benjamin C. Pierce: Preface. J. Funct. Program. 17(4-5): 431 (2007)
	2006
29		Matthew Flatt, Robert Bruce Findler, Matthias Felleisen: Scheme with Classes, Mixins, and Traits. APLAS 2006: 270-289
28		Scott Owens, Matthew Flatt: From structures and functors to modules and units. ICFP 2006: 87-98
27		Sean McDirmid, Wilson C. Hsieh, Matthew Flatt: A Framework for Modular Linking in OO Languages. JMLC 2006: 116-135
26		Robert Bruce Findler, Matthew Flatt: Slideshow: functional presentations. J. Funct. Program. 16(4-5): 583-619 (2006)
	2005
25		Ryan Culpepper, Scott Owens, Matthew Flatt: Syntactic Abstraction in Component Interfaces. GPCE 2005: 373-388
24		Kathryn E. Gray, Robert Bruce Findler, Matthew Flatt: Fine-grained interoperability through mirrors and contracts. OOPSLA 2005: 231-245
	2004
23		Robert Bruce Findler, Matthew Flatt, Matthias Felleisen: Semantic Casts: Contracts and Structural Subtyping in a Nominal World. ECOOP 2004: 364-388
22		Robert Bruce Findler, Matthew Flatt: Slideshow: functional presentations. ICFP 2004: 224-235
21		Adam Wick, Matthew Flatt: Memory accounting without partitions. ISMM 2004: 120-130
20		David S. Goldberg, Robert Bruce Findler, Matthew Flatt: Super and inner: together at last! OOPSLA 2004: 116-129
19		Matthew Flatt, Robert Bruce Findler: Kill-safe synchronization abstractions. PLDI 2004: 47-58
18		Jacob Matthews, Robert Bruce Findler, Matthew Flatt, Matthias Felleisen: A Visual Environment for Developing Context-Sensitive Term Rewriting Systems. RTA 2004: 301-311
17		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)
	2003
16		Kathryn E. Gray, Matthew Flatt: ProfessorJ: a gradual introduction to Java through language levels. OOPSLA Companion 2003: 170-177
15		Peter Van Roy, Joe Armstrong, Matthew Flatt, Boris Magnusson: The role of language paradigms in teaching programming. SIGCSE 2003: 269-270
	2002
14		Matthew Flatt: Composable and compilable macros: : you want it when? ICFP 2002: 72-83
13		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)
	2001
12		John Clements, Matthew Flatt, Matthias Felleisen: Modeling an Algebraic Stepper. ESOP 2001: 320-334
11		Sean McDirmid, Matthew Flatt, Wilson C. Hsieh: Jiazzi: New-Age Components for Old-Fashioned Java. OOPSLA 2001: 211-222
	2000
10		Alastair Reid, Matthew Flatt, Leigh Stoller, Jay Lepreau, Eric Eide: Knit: Component Composition for Systems Software. OSDI 2000: 347-360
	1999
9		Matthew Flatt, Shriram Krishnamurthi, Matthias Felleisen: A Programmer's Reduction Semantics for Classes and Mixins. Formal Syntax and Semantics of Java 1999: 241-269
8		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
	1998
7		Robert Bruce Findler, Matthew Flatt: Modular Object-Oriented Programming with Units and Mixins. ICFP 1998: 94-104
6		Matthew Flatt, Matthias Felleisen: Units: Cool Modules for HOT Languages. PLDI 1998: 236-248
5		Matthew Flatt, Shriram Krishnamurthi, Matthias Felleisen: Classes and Mixins. POPL 1998: 171-183
4		Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi: The DrScheme Project: An Overview. SIGPLAN Notices 33(6): 17-23 (1998)
	1997
3		Robert Bruce Findler, Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Matthias Felleisen: DrScheme: A Pedagogic Programming Environment for Scheme. PLILP 1997: 369-388
2		Matthew Flatt, Matthias Felleisen: Program Units as Higher-Order Modules. Electr. Notes Theor. Comput. Sci. 10: 204-229 (1997)
	1996
1		Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Stephanie Weirich, Matthias Felleisen: Static Debugging: Browsing the Web of Program Invariants. PLDI 1996: 23-32

Coauthor Index

1	Joe Armstrong	[15]
2	Kevin Atkinson	[38]
3	Eli Barzilay	[34]
4	John Clements	[12] [13] [42]
5	Ryan Culpepper	[25] [39]
6	Christos Dimoulas	[42]
7	Peter A. Dinda	[36] [40]
8	Carl Eastlund	[42]
9	Eric Eide (Eric Norman Eide)	[10]
10	Matthias Felleisen	[1] [2] [3] [4] [5] [6] [8] [9] [12] [13] [17] [18] [23] [29] [31] [33] [35] [39] [42] [43]
11	Robert Bruce Findler	[3] [4] [7] [8] [13] [17] [18] [19] [20] [22] [23] [24] [26] [29] [31] [33] [34] [35] [36] [37] [40] [42]
12	Cormac Flanagan	[1] [3] [13]
13	David S. Goldberg	[20]
14	Kathryn E. Gray	[16] [24]
15	Wilson C. Hsieh	[11] [27]
16	Casey Klein	[37] [42]
17	Shriram Krishnamurthi	[1] [3] [4] [5] [8] [9] [13] [17] [33]
18	Jay Lepreau	[10]
19	Gary Lindstrom	[38]
20	Boris Magnusson	[15]
21	Jacob Matthews	[18]
22	Jay A. McCarthy	[42]
23	Sean McDirmid	[11] [27]
24	Scott Owens	[25] [28]
25	Benjamin C. Pierce	[30]
26	Jon Rafkind	[32] [42]
27	John Regehr	[32]
28	Alastair David Reid (Alastair D. Reid, Alastair Reid)	[10]
29	Peter Van Roy	[15]
30	Vincent St-Amour	[39] [43]
31	Paul Steckler	[13]
32	Leigh Stoller	[10]
33	James Swaine	[36] [40]
34	Kevin Tew	[36] [40]
35	Sam Tobin-Hochstadt	[39] [42] [43]
36	Stephanie Weirich	[1]
37	Adam Wick	[21] [32]
38	Gang Yu	[31]

Colors in the list of coauthors

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page