Matthew Fluet

	2011
28		Sven Auhagen, Lars Bergstrom, Matthew Fluet, John H. Reppy: Garbage collection for multicore NUMA machines. MSPC 2011: 51-57
27		Sven Auhagen, Lars Bergstrom, Matthew Fluet, John H. Reppy: Garbage Collection for Multicore NUMA Machines CoRR abs/1105.2554: (2011)
	2010
26		Lars Bergstrom, Mike Rainey, John H. Reppy, Adam Shaw, Matthew Fluet: Lazy tree splitting. ICFP 2010: 93-104
	2009
25		Matthew Fluet, Lars Bergstrom, Nic Ford, Mike Rainey, John H. Reppy, Adam Shaw, Yingqi Xiao: Programming in Manticore, a Heterogenous Parallel Functional Language. CEFP 2009: 94-145
24		Lukasz Ziarek, Suresh Jagannathan, Matthew Fluet, Umut A. Acar: Speculative N-Way barriers. DAMP 2009: 1-12
23		Ruy Ley-Wild, Umut A. Acar, Matthew Fluet: A cost semantics for self-adjusting computation. POPL 2009: 186-199
22		Jim Allen, Zena M. Ariola, Pierre-Louis Curien, Matthew Fluet, Jeff Foster, Dan Grossman, Robert Harper, Hugo Herbelin, Yannis Smaragdakis, David Walker, Steve Zdancewic: An overview of the Oregon programming languages summer school. SIGPLAN Notices 44(11): 1-3 (2009)
	2008
21		Matthew Fluet, Mike Rainey, John H. Reppy, Adam Shaw: Implicitly-threaded parallelism in Manticore. ICFP 2008: 119-130
20		Matthew Fluet, Mike Rainey, John H. Reppy: A scheduling framework for general-purpose parallel languages. ICFP 2008: 241-252
19		Ruy Ley-Wild, Matthew Fluet, Umut A. Acar: Compiling self-adjusting programs with continuations. ICFP 2008: 321-334
18		Kevin Donnelly, Matthew Fluet: Transactional events. J. Funct. Program. 18(5-6): 649-706 (2008)
17		Matthew Fluet, Mike Rainey, John H. Reppy, Adam Shaw: Implicitly threaded parallelism in Manticore. J. Funct. Program. 20(5-6): 537-576 (2008)
	2007
16		Matthew Fluet, Mike Rainey, John H. Reppy, Adam Shaw, Yingqi Xiao: Manticore: a heterogeneous parallel language. DAMP 2007: 37-44
15		Matthew Fluet, Nic Ford, Mike Rainey, John H. Reppy, Adam Shaw, Yingqi Xiao: Status report: the manticore project. ML 2007: 15-24
14		Amal Ahmed, Matthew Fluet, Greg Morrisett: L3: A Linear Language with Locations. Fundam. Inform. 77(4): 397-449 (2007)
	2006
13		Matthew Fluet, Greg Morrisett, Amal J. Ahmed: Linear Regions Are All You Need. ESOP 2006: 7-21
12		Kevin Donnelly, Matthew Fluet: Transactional events. ICFP 2006: 124-135
11		Matthew Fluet, Riccardo Pucella: Practical Datatype Specializations with Phantom Types and Recursion Schemes. Electr. Notes Theor. Comput. Sci. 148(2): 211-237 (2006)
10		Matthew Fluet, Greg Morrisett: Monadic regions. J. Funct. Program. 16(4-5): 485-545 (2006)
9		Matthew Fluet, Riccardo Pucella: Phantom types and subtyping. J. Funct. Program. 16(6): 751-791 (2006)
	2005
8		Amal J. Ahmed, Matthew Fluet, Greg Morrisett: A step-indexed model of substructural state. ICFP 2005: 78-91
7		Greg Morrisett, Amal J. Ahmed, Matthew Fluet: L3: A Linear Language with Locations. TLCA 2005: 293-307
6		Matthew Fluet, Riccardo Pucella: Practical Datatype Specializations with Phantom Types and Recursion Schemes CoRR abs/cs/0510074: (2005)
	2004
5		Matthew Fluet, J. Gregory Morrisett: Monadic regions. ICFP 2004: 103-114
4		Matthew Fluet, Riccardo Pucella: Phantom Types and Subtyping CoRR cs.PL/0403034: (2004)
	2002
3		Matthew Fluet, Riccardo Pucella: Phantom Types and Subtyping. IFIP TCS 2002: 448-460
	2001
2		Matthew Fluet, Stephen Weeks: Contification Using Dominators. ICFP 2001: 2-13
1		Arthur T. Benjamin, Matthew Fluet, Mark L. Huber: Optimal Token Allocations in Solitaire Knock 'm Down. Electr. J. Comb. 8(2): (2001)

Coauthor Index

1	Umut A. Acar	[19] [23] [24]
2	Amal Ahmed (Amal J. Ahmed)	[7] [8] [13] [14]
3	Jim Allen	[22]
4	Zena M. Ariola	[22]
5	Sven Auhagen	[27] [28]
6	Arthur T. Benjamin	[1]
7	Lars Bergstrom	[25] [26] [27] [28]
8	Pierre-Louis Curien	[22]
9	Kevin Donnelly	[12] [18]
10	Nic Ford	[15] [25]
11	Jeff Foster	[22]
12	Dan Grossman	[22]
13	Robert Harper	[22]
14	Hugo Herbelin	[22]
15	Mark L. Huber	[1]
16	Suresh Jagannathan	[24]
17	Ruy Ley-Wild	[19] [23]
18	J. Gregory Morrisett (Greg Morrisett)	[5] [7] [8] [10] [13] [14]
19	Riccardo Pucella	[3] [4] [6] [9] [11]
20	Mike Rainey	[15] [16] [17] [20] [21] [25] [26]
21	John H. Reppy	[15] [16] [17] [20] [21] [25] [26] [27] [28]
22	Adam Shaw	[15] [16] [17] [21] [25] [26]
23	Yannis Smaragdakis	[22]
24	David Walker	[22]
25	Stephen Weeks	[2]
26	Yingqi Xiao	[15] [16] [25]
27	Steve Zdancewic	[22]
28	Lukasz Ziarek	[24]

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