Matthew Fluet

2009
21	EE	Ruy Ley-Wild, Umut A. Acar, Matthew Fluet: A cost semantics for self-adjusting computation. POPL 2009: 186-199
2008
20	EE	Matthew Fluet, Mike Rainey, John H. Reppy, Adam Shaw: Implicitly-threaded parallelism in Manticore. ICFP 2008: 119-130
19	EE	Matthew Fluet, Mike Rainey, John H. Reppy: A scheduling framework for general-purpose parallel languages. ICFP 2008: 241-252
18	EE	Ruy Ley-Wild, Matthew Fluet, Umut A. Acar: Compiling self-adjusting programs with continuations. ICFP 2008: 321-334
17	EE	Kevin Donnelly, Matthew Fluet: Transactional events. J. Funct. Program. 18(5-6): 649-706 (2008)
2007
16	EE	Matthew Fluet, Mike Rainey, John H. Reppy, Adam Shaw, Yingqi Xiao: Manticore: a heterogeneous parallel language. DAMP 2007: 37-44
15	EE	Matthew Fluet, Nic Ford, Mike Rainey, John H. Reppy, Adam Shaw, Yingqi Xiao: Status report: the manticore project. ML 2007: 15-24
14	EE	Amal Ahmed, Matthew Fluet, Greg Morrisett: L3: A Linear Language with Locations. Fundam. Inform. 77(4): 397-449 (2007)
2006
13	EE	Matthew Fluet, Greg Morrisett, Amal J. Ahmed: Linear Regions Are All You Need. ESOP 2006: 7-21
12	EE	Kevin Donnelly, Matthew Fluet: Transactional events. ICFP 2006: 124-135
11	EE	Matthew Fluet, Riccardo Pucella: Practical Datatype Specializations with Phantom Types and Recursion Schemes. Electr. Notes Theor. Comput. Sci. 148(2): 211-237 (2006)
10	EE	Matthew Fluet, Greg Morrisett: Monadic regions. J. Funct. Program. 16(4-5): 485-545 (2006)
9	EE	Matthew Fluet, Riccardo Pucella: Phantom types and subtyping. J. Funct. Program. 16(6): 751-791 (2006)
2005
8	EE	Amal J. Ahmed, Matthew Fluet, Greg Morrisett: A step-indexed model of substructural state. ICFP 2005: 78-91
7	EE	Greg Morrisett, Amal J. Ahmed, Matthew Fluet: L3: A Linear Language with Locations. TLCA 2005: 293-307
6	EE	Matthew Fluet, Riccardo Pucella: Practical Datatype Specializations with Phantom Types and Recursion Schemes CoRR abs/cs/0510074: (2005)
2004
5	EE	Matthew Fluet, J. Gregory Morrisett: Monadic regions. ICFP 2004: 103-114
4	EE	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	EE	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