Matthew Fluet

	2009
21		Ruy Ley-Wild, Umut A. Acar, Matthew Fluet: A cost semantics for self-adjusting computation. POPL 2009: 186-199
	2008
20		Matthew Fluet, Mike Rainey, John H. Reppy, Adam Shaw: Implicitly-threaded parallelism in Manticore. ICFP 2008: 119-130
19		Matthew Fluet, Mike Rainey, John H. Reppy: A scheduling framework for general-purpose parallel languages. ICFP 2008: 241-252
18		Ruy Ley-Wild, Matthew Fluet, Umut A. Acar: Compiling self-adjusting programs with continuations. ICFP 2008: 321-334
17		Kevin Donnelly, Matthew Fluet: Transactional events. J. Funct. Program. 18(5-6): 649-706 (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	[18] [21]
2	Amal Ahmed (Amal J. Ahmed)	[7] [8] [13] [14]
3	Arthur T. Benjamin	[1]
4	Kevin Donnelly	[12] [17]
5	Nic Ford	[15]
6	Mark L. Huber	[1]
7	Ruy Ley-Wild	[18] [21]
8	J. Gregory Morrisett (Greg Morrisett)	[5] [7] [8] [10] [13] [14]
9	Riccardo Pucella	[3] [4] [6] [9] [11]
10	Mike Rainey	[15] [16] [19] [20]
11	John H. Reppy	[15] [16] [19] [20]
12	Adam Shaw	[15] [16] [20]
13	Stephen Weeks	[2]
14	Yingqi Xiao	[15] [16]

Colors in the list of coauthors