Matthew Fluet, Ph.D. - Publications

Affiliations: 
2007 Cornell University, Ithaca, NY, United States 

19 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
2014 Le M, Fluet M. Combining shared state with speculative parallelism in a functional language Acm International Conference Proceeding Series. 1. DOI: 10.1145/2746325.2746328  0.404
2012 Bergstrom L, Fluet M, Rainey M, Reppy J, Shaw A. Lazy tree splitting Journal of Functional Programming. 22: 382-438. DOI: 10.1017/S0956796812000172  0.404
2010 Fluet M, Rainey M, Reppy J, Shaw A. Implicitly threaded parallelism in Manticore Journal of Functional Programming. 20: 537-576. DOI: 10.1017/S0956796810000201  0.483
2010 Fluet M, Bergstrom L, Ford N, Rainey M, Reppy J, Shaw A, Xiao Y. Programming in manticore, a heterogenous parallel functional language Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6299: 94-145. DOI: 10.1007/978-3-642-17685-2_4  0.525
2009 Allen J, Ariola Z, Curien PL, Fluet M, Foster J, Grossman D, Harper R, Herbelin H, Smaragdakis Y, Walker D, Zdancewic S. An overview of the oregon programming languages summer school Acm Sigplan Notices. 44: 1-3. DOI: 10.1145/1816027.1816029  0.619
2009 Ziarek L, Jagannathan S, Fluet M, Acar UA. Speculative N-Way barriers (abstract only) Sigplan Notices. 44: 8-8. DOI: 10.1145/1629635.1629637  0.4
2009 Ziarek L, Jagannathan S, Fluet M, Acar UA. Speculative N-Way barriers Proceedings of the 4th Acm Sigplan Workshop On Declarative Aspects of Multicore Programming, Damp'09. 1-12. DOI: 10.1145/1481839.1481841  0.309
2009 Ley-Wild R, Acar UA, Fluet M. A cost semantics for self-adjusting computation Acm Sigplan Notices. 44: 186-199. DOI: 10.1145/1480881.1480907  0.342
2008 Fluet M, Rainey M, Reppy J, Shaw A. Implicitly-threaded parallelism in Manticore Proceedings of the Acm Sigplan International Conference On Functional Programming, Icfp. 119-130. DOI: 10.1145/1411204.1411224  0.383
2008 Donnelly K, Fluet M. Transactional events Journal of Functional Programming. 18: 649-706. DOI: 10.1017/S0956796808006916  0.375
2007 Fluet M, Ford N, Rainey M, Reppy J, Shaw A, Xiao Y. Status report: The manticore project Ml'07: Proceedings of the 2007 Workshop On Ml. 15-24. DOI: 10.1145/1292535.1292539  0.453
2007 Fluet M, Rainey M, Reppy J, Shaw A, Xiao Y. Manticore: A heterogeneous parallel language Conference Record of the Annual Acm Symposium On Principles of Programming Languages. 37-44. DOI: 10.1145/1248648.1248656  0.408
2007 Ahmed A, Fluet M, Morrisett G. L3: A linear language with locations Fundamenta Informaticae. 77: 397-449.  0.668
2006 Fluet M, Pucella R. Phantom types and subtyping Journal of Functional Programming. 16: 751-791. DOI: 10.1017/S0956796806006046  0.375
2006 Fluet M, Morrisett G. Monadic regions Journal of Functional Programming. 16: 485-545. DOI: 10.1017/S095679680600596X  0.604
2006 Fluet M, Pucella R. Practical datatype specializations with phantom types and recursion schemes Electronic Notes in Theoretical Computer Science. 148: 211-237. DOI: 10.1016/J.Entcs.2005.11.046  0.401
2006 Fluet M, Morrisett G, Ahmed A. Linear regions are all you need Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3924: 7-21. DOI: 10.1007/11693024_2  0.637
2005 Ahmed A, Fluet M, Morrisett G. A step-indexed model of substructural state Proceedings of the Acm Sigplan International Conference On Functional Programming, Icfp. 78-91. DOI: 10.1145/1086365.1086376  0.5
2005 Morrisett G, Ahmed A, Fluet M. L 3: A linear language with locations Lecture Notes in Computer Science. 3461: 293-307.  0.666
Show low-probability matches.