PublicationsMatthew Fluet |
Lars Bergstrom, Matthew Fluet, Mike Rainey, John Reppy, and Adam Shaw. Lazy Tree Splitting. The Journal of Functional Programming, 22(4–5):pages 382–483. Cambridge University Press, September 2012. [Published online: 15 August 2012; a preliminary version of this paper appeared at ICFP’10: The Fifteenth ACM SIGPLAN International Conference on Functional Programming; solicited as a Selected Paper of ICFP’10.] [ bib ]
Matthew Fluet, Mike Rainey, John Reppy, and Adam Shaw. Implicitly-threaded Parallelism in Manticore. The Journal of Functional Programming, 20(5–6):pages 537–576. Cambridge University Press, November 2010. [Published online: 27 January 2011; a preliminary version of this paper appeared at ICFP’08: The Thirteenth ACM SIGPLAN International Conference on Functional Programming; solicited as a Selected Paper of ICFP’08.] [ bib ]
Kevin Donnelly and Matthew Fluet. Transactional Events. The Journal of Functional Programming, 18(5–6):pages 649–706. Cambridge University Press, September 2008. [Published online: 30 October 2008; a preliminary version of this paper appeared at ICFP’06: The Eleventh ACM SIGPLAN International Conference on Functional Programming; solicited as a Selected Paper of ICFP’06.] [ bib | abstract | pdf ]
Amal Ahmed, Matthew Fluet, and Greg Morrisett. L3: A Linear Language with Locations. Fundamenta Informaticae, 77(4):pages 397–449. IOS Press, June 2007. [A preliminary version of this paper appeared at TLCA’04: The Seventh International Conference on Typed Lambda Calculi and Applications; solicited as a Selected Paper of TLCA’04.] [ bib | abstract | pdf ]
Matthew Fluet and Riccardo Pucella. Phantom Types and Subtyping. The Journal of Functional Programming, 16(6):pages 751–791. Cambridge University Press, November 2006. [Published online: 09 June 2006; a preliminary version of this paper appeared at TCS’02: The Second IFIP International Conference on Theoretical Computer Science.] [ bib | abstract | pdf ]
Matthew Fluet and Greg Morrisett. Monadic Regions. The Journal of Functional Programming, 16(4–5):pages 485–545. Cambridge University Press, July 2006. [Published online: 10 August 2006; a preliminary version of this paper appeared at ICFP’04: The Ninth ACM SIGPLAN International Conference on Functional Programming; solicited as a Selected Paper of ICFP’04.] [ bib | abstract | pdf ]
Arthur T. Benjamin and Matthew T. Fluet. What’s Best? The American Mathematical Monthly, 107(6):pages 560–562. June-July 2000. [ bib | abstract | pdf ]
Lars Bergstrom, Matthew Fluet, Mike Rainey, John Reppy, Stephen Rosen, and Adam Shaw. Data-Only Flattening for Nested Data Parallelism. In PPoPP’13: Proceedings of the 18th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, pages 81–92. ACM Press, February 2013. [ bib | link ]
Matthew Fluet. A Type- and Control-Flow Analysis for System F. In IFL’12: Revised Selected Papers of the 24th Symposium on Implementation and Application of Functional Languages, volume ???? of Lecture Notes in Computer Science, pages ??–?? Springer-Verlag, 2013. [Accepted.] [ bib ]
Edward Amsden and Matthew Fluet. Fairness for Transactional Events. In IFL’11: Revised Selected Papers of the 23rd Symposium on Implementation and Application of Functional Languages, volume 7257 of Lecture Notes in Computer Science, pages 17–34. Springer-Verlag, 2012. [ bib | link ]
Sven Auhagen, Lars Bergstrom, Matthew Fluet, and John Reppy. Garbage Collection for Multicore NUMA Machines. In MSPC’11: Proceedings of the 2011 ACM SIGPLAN Workshop on Memory Systems Performance and Correctness, pages 51–57. ACM Press, June 2011. [ bib | link ]
Lars Bergstrom, Matthew Fluet, Mike Rainey, John Reppy, and Adam Shaw. Lazy Tree Splitting. In ICFP’10: Proceedings of the Fifteenth ACM SIGPLAN International Conference on Functional Programming, pages 93–104. ACM Press, September 2010. [33% acceptance rate; solicited for a special issue of Journal of Functional Programming: Selected Papers of ICFP’10.] [ bib | link ]
Ruy Ley-Wild, Umut Acar, and Matthew Fluet. A Cost Semantics for Self-Adjusting Computation. In POPL’09: Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 186–199. ACM Press, January 2009. [23% acceptance rate.] [ bib | link ]
Lukasz Ziarek, Suresh Jagannathan, Matthew Fluet, and Umut Acar. Speculative N-Way Barriers. In DAMP’09: Proceedings of the Workshop on Declarative Aspects of Multicore Programming, pages 1–12. ACM Press, January 2009. [ bib | link ]
Matthew Fluet, Mike Rainey, and John Reppy. A Scheduling Framework for General-purpose Parallel Languages. In ICFP’08: Proceedings of the Thirteenth ACM SIGPLAN International Conference on Functional Programming, pages 241–252. ACM Press, September 2008. [33% acceptance rate.] [ bib | link ]
Matthew Fluet, Mike Rainey, John Reppy, and Adam Shaw. Implicitly-threaded Parallelism in Manticore. In ICFP’08: Proceedings of the Thirteenth ACM SIGPLAN International Conference on Functional Programming, pages 119–130. ACM Press, September 2008. [33% acceptance rate; solicited for a special issue of Journal of Functional Programming: Selected Papers of ICFP’08.] [ bib | link ]
Ruy Ley-Wild, Matthew Fluet, and Umut Acar. Compiling Self-Adjusting Programs with Continuations. In ICFP’08: Proceedings of the Thirteenth ACM SIGPLAN International Conference on Functional Programming, pages 321–334. ACM Press, September 2008. [33% acceptance rate.] [ bib | link ]
Matthew Fluet, Nic Ford, Mike Rainey, John Reppy, Adam Shaw, and Yingqi Xiao. Status Report: The Manticore Project. In ML’07: Proceedings of the ACM SIGPLAN Workshop on ML, pages 15–24. ACM Press, October 2007. [ bib | link ]
Matthew Fluet, Mike Rainey, John Reppy, Adam Shaw, and Yingqi Xiao. Manticore: A Heterogeneous Parallel Language. In DAMP’07: Proceedings of the Workshop on Declarative Aspects of Multicore Programming, pages 37–44. ACM Press, January 2007. [ bib | link ]
Kevin Donnelly and Matthew Fluet. Transactional Events. In ICFP’06: Proceedings of the Eleventh ACM SIGPLAN International Conference on Functional Programming, pages 124–135. ACM Press, September 2006. [32% acceptance rate; solicited for a special issue of Journal of Functional Programming: Selected Papers of ICFP’06.] [ bib | link ]
Matthew Fluet, Greg Morrisett, and Amal Ahmed. Linear Regions Are All You Need. In ESOP’06: Proceedings of the Fifteenth European Symposium on Programming, volume 3924 of Lecture Notes in Computer Science, pages 7–21. Springer-Verlag, March 2006. [24% acceptance rate.] [ bib | abstract | pdf ]
Amal Ahmed, Matthew Fluet, and Greg Morrisett. A Step-Indexed Model of Substructural State. In ICFP’05: Proceedings of the Tenth ACM SIGPLAN International Conference on Functional Programming, pages 78–91. ACM Press, September 2005. [30% acceptance rate.] [ bib | link ]
Matthew Fluet and Riccardo Pucella. Practical Datatype Specializations with Phantom Types and Recursion Schemes. In ML’05: Proceedings of the ACM SIGPLAN Workshop on ML, pages 203–228. Elsevier, September 2005. [ bib | abstract | pdf ]
Greg Morrisett, Amal Ahmed, and Matthew Fluet. L3: A Linear Language with Locations. In TLCA’04: Proceedings of the Seventh International Conference on Typed Lambda Calculi and Applications, volume 3461 of Lecture Notes in Computer Science, pages 293–307. Springer-Verlag, April 2005. [Solicited for a special issue of Fundamenta Informaticae: Selected Papers of TLCA’05] [ bib | abstract | pdf ]
Matthew Fluet and Greg Morrisett. Monadic Regions. In ICFP’04: Proceedings of the Ninth ACM SIGPLAN International Conference on Functional Programming, pages 103–114. ACM Press, September 2004. [26% acceptance rate; solicited for a special issue of Journal of Functional Programming: Selected Papers of ICFP’04.] [ bib | link ]
Matthew Fluet and Riccardo Pucella. Phantom Types and Subtyping. In TCS’02: Proceedings of the Second IFIP International Conference on Theoretical Computer Science, pages 442–460. Kluwer Academic Press, August 2002. [ bib | abstract | ps ]
Matthew Fluet and Stephen Weeks. Contification Using Dominators. In ICFP’01: Proceedings of the Sixth ACM SIGPLAN International Conference on Functional Programming, pages 2–13. ACM Press, September 2001. [35% acceptance rate.] [ bib | link ]
Matthew Fluet, Lars Bergstrom, Nic Ford, Mike Rainey, John Reppy, Adam Shaw, and Yingqi Xiao. Programming in Manticore, a Heterogenous Parallel Functional Language. In Zoltán Horváth, Rinus Plasmeijer, and Viktória Zsók, editors, CEFP’09: Revised Selected Lectures of the Third Central European Functional Programming Summer School, volume 6299 of Lecture Notes in Computer Science, pages 94–145. Springer-Verlag, December 2010. [ bib ]
Matthew Fluet. A Type- and Control-Flow Analysis for System F. Technical Report 1850/15920, Rochester Institute of Technology, February 2013. [ bib | link ]
Edward Amsden and Matthew Fluet. Fairness for Transactional Events. Technical Report 1850/14852, Rochester Institute of Technology, March 2012. [ bib | link ]
Matthew Fluet. Monadic and Substructural Type Systems for Region-Based Memory Management. Ph.D. thesis, Cornell University, January 2007. [ bib | abstract | pdf (double) | pdf (single) ]
Amal Ahmed, Matthew Fluet, and Greg Morrisett. A Step-Indexed Model of Substructural State. Technical Report TR-16-05, Harvard University, July 2005. [ bib | link ]
Amal Ahmed, Matthew Fluet, and Greg Morrisett. L3: A Linear Language with Locations. Technical Report TR-24-04, Harvard University, July 2004. [ bib | link ]
Matthew Fluet. Monadic Regions: Formal Type Soundness and Correctness. Technical Report TR2004-1936, Cornell University, April 2004. [ bib | link ]
Stuart Allen, Bob Constable, and Matthew Fluet. Expressing and Implementing the Computational Content Implicit in Smullyan’s Account of Boolean Valuations. Technical Report TR2004-1933, Cornell University, March 2004. [ bib | link ]
Matthew Fluet. Monadic Regions. In SPACE’04: Informal Proceedings of the Second ACM SIGPLAN Workshop on Semantics, Program Analysis, and Computing Environments for Memory Management. January 2004. [Lightly refereed.] [ bib | abstract | pdf ]
Matthew Fluet and Dan Wang. Implementation and Performance Evaluation of a Safe Runtime System in Cyclone. In SPACE’04: Informal Proceedings of the Second ACM SIGPLAN Workshop on Semantics, Program Analysis, and Computing Environments for Memory Management. January 2004. [Lightly refereed.] [ bib | abstract | pdf ]
Arthur T. Benjamin, Matthew T. Fluet, and Mark L. Huber. Optimal Token Allocations in Solitaire Knock ’m Down. The Electronic Journal of Combinatorics, 8(2):page #R2. August 2001. [Lightly refereed.] [ bib | abstract | pdf ]
Arthur T. Benjamin and Matthew T. Fluet. A Rational Solution to Cootie. The College Mathematics Journal, 31(2):pages 124–125. March 2000. [Lightly refereed.] [ bib | abstract | pdf ]
Dominic Mazzoni, Matthew Fluet, and Joel Miller. Deep Impact. The UMAP Journal, 20(3):pages 211–224. Fall 1999. [Lightly refereed.] [ bib | abstract | pdf ]
Matthew T. Fluet. Searching for Optimial Strategies in Knock ’m Down. Senior thesis, Harvey Mudd College, May 1999. [ bib | abstract | pdf ]
Arthur T. Benjamin and Matthew T. Fluet. The Best Way to Knock ’m Down. The UMAP Journal, 20(1):pages 11–20. Spring 1999. [Lightly refereed.] [ bib | abstract | pdf ]
Arthur T. Benjamin and Matthew T. Fluet. Bounds on a Bug. The UMAP Journal, 20(1):pages 5–9. Spring 1999. [Lightly refereed.] [ bib | abstract |