publications:
- title: "Transactional events"
  author:
  - name: "Kevin Donnelly"
    link: "https://researchr.org/alias/kevin-donnelly"
  - name: "Matthew Fluet"
    link: "http://www.cs.rit.edu/~mtf"
  year: "2006"
  doi: "http://doi.acm.org/10.1145/1159803.1159821"
  links:
    doi: "http://doi.acm.org/10.1145/1159803.1159821"
  researchr: "https://researchr.org/publication/DonnellyF06"
  cites: 0
  citedby: 0
  pages: "124-135"
  booktitle: "ICFP"
  kind: "inproceedings"
  key: "DonnellyF06"
- title: "Linear Regions Are All You Need"
  author:
  - name: "Matthew Fluet"
    link: "http://www.cs.rit.edu/~mtf"
  - name: "Greg Morrisett"
    link: "https://researchr.org/alias/greg-morrisett"
  - name: "Amal J. Ahmed"
    link: "https://researchr.org/alias/amal-j.-ahmed"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/11693024_2"
  links:
    doi: "http://dx.doi.org/10.1007/11693024_2"
  researchr: "https://researchr.org/publication/FluetMA06"
  cites: 0
  citedby: 0
  pages: "7-21"
  booktitle: "ESOP"
  kind: "inproceedings"
  key: "FluetMA06"
- title: "A cost semantics for self-adjusting computation"
  author:
  - name: "Ruy Ley-Wild"
    link: "https://researchr.org/alias/ruy-ley-wild"
  - name: "Umut A. Acar"
    link: "https://researchr.org/alias/umut-a.-acar"
  - name: "Matthew Fluet"
    link: "http://www.cs.rit.edu/~mtf"
  year: "2009"
  doi: "http://doi.acm.org/10.1145/1480881.1480907"
  links:
    doi: "http://doi.acm.org/10.1145/1480881.1480907"
  tags:
  - "semantics"
  researchr: "https://researchr.org/publication/Ley-WildAF09"
  cites: 0
  citedby: 0
  pages: "186-199"
  booktitle: "POPL"
  kind: "inproceedings"
  key: "Ley-WildAF09"
- title: "Status report: the manticore project"
  author:
  - name: "Matthew Fluet"
    link: "http://www.cs.rit.edu/~mtf"
  - name: "Nic Ford"
    link: "https://researchr.org/alias/nic-ford"
  - name: "Mike Rainey"
    link: "https://researchr.org/alias/mike-rainey"
  - name: "John H. Reppy"
    link: "http://www.cs.uchicago.edu/people/jhr"
  - name: "Adam Shaw"
    link: "https://researchr.org/alias/adam-shaw"
  - name: "Yingqi Xiao"
    link: "https://researchr.org/alias/yingqi-xiao"
  year: "2007"
  doi: "http://doi.acm.org/10.1145/1292535.1292539"
  links:
    doi: "http://doi.acm.org/10.1145/1292535.1292539"
  researchr: "https://researchr.org/publication/FluetFRRSX07"
  cites: 0
  citedby: 0
  pages: "15-24"
  booktitle: "ml"
  kind: "inproceedings"
  key: "FluetFRRSX07"
- title: "A scheduling framework for general-purpose parallel languages"
  author:
  - name: "Matthew Fluet"
    link: "http://www.cs.rit.edu/~mtf"
  - name: "Mike Rainey"
    link: "https://researchr.org/alias/mike-rainey"
  - name: "John H. Reppy"
    link: "http://www.cs.uchicago.edu/people/jhr"
  year: "2008"
  doi: "http://doi.acm.org/10.1145/1411204.1411239"
  links:
    doi: "http://doi.acm.org/10.1145/1411204.1411239"
  researchr: "https://researchr.org/publication/FluetRR08"
  cites: 0
  citedby: 0
  pages: "241-252"
  booktitle: "ICFP"
  kind: "inproceedings"
  key: "FluetRR08"
- title: "A step-indexed model of substructural state"
  author:
  - name: "Amal J. Ahmed"
    link: "https://researchr.org/alias/amal-j.-ahmed"
  - name: "Matthew Fluet"
    link: "http://www.cs.rit.edu/~mtf"
  - name: "Greg Morrisett"
    link: "https://researchr.org/alias/greg-morrisett"
  year: "2005"
  doi: "http://doi.acm.org/10.1145/1086365.1086376"
  links:
    doi: "http://doi.acm.org/10.1145/1086365.1086376"
  tags:
  - "meta-model"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/AhmedFM05"
  cites: 0
  citedby: 0
  pages: "78-91"
  booktitle: "ICFP"
  kind: "inproceedings"
  key: "AhmedFM05"
- title: "Implicitly-threaded parallelism in Manticore"
  author:
  - name: "Matthew Fluet"
    link: "http://www.cs.rit.edu/~mtf"
  - name: "Mike Rainey"
    link: "https://researchr.org/alias/mike-rainey"
  - name: "John H. Reppy"
    link: "https://researchr.org/alias/john-h.-reppy"
  - name: "Adam Shaw"
    link: "https://researchr.org/alias/adam-shaw"
  year: "2008"
  doi: "http://doi.acm.org/10.1145/1411204.1411224"
  links:
    doi: "http://doi.acm.org/10.1145/1411204.1411224"
  researchr: "https://researchr.org/publication/FluetRRS08"
  cites: 0
  citedby: 0
  pages: "119-130"
  booktitle: "ICFP"
  kind: "inproceedings"
  key: "FluetRRS08"
- title: "L:::3:::: A Linear Language with Locations"
  author:
  - name: "Amal Ahmed"
    link: "https://researchr.org/alias/amal-ahmed"
  - name: "Matthew Fluet"
    link: "http://www.cs.rit.edu/~mtf"
  - name: "Greg Morrisett"
    link: "https://researchr.org/alias/greg-morrisett"
  year: "2007"
  doi: "http://iospress.metapress.com/openurl.asp?genre=article&issn=0169-2968&volume=77&issue=4&spage=397"
  links:
    doi: "http://iospress.metapress.com/openurl.asp?genre=article&issn=0169-2968&volume=77&issue=4&spage=397"
  researchr: "https://researchr.org/publication/AhmedFM07"
  cites: 0
  citedby: 0
  journal: "FUIN"
  volume: "77"
  number: "4"
  pages: "397-449"
  kind: "article"
  key: "AhmedFM07"
- title: "Speculative N-Way barriers"
  author:
  - name: "Lukasz Ziarek"
    link: "https://researchr.org/alias/lukasz-ziarek"
  - name: "Suresh Jagannathan"
    link: "https://researchr.org/alias/suresh-jagannathan"
  - name: "Matthew Fluet"
    link: "http://www.cs.rit.edu/~mtf"
  - name: "Umut A. Acar"
    link: "https://researchr.org/alias/umut-a.-acar"
  year: "2009"
  doi: "http://doi.acm.org/10.1145/1481839.1481841"
  links:
    doi: "http://doi.acm.org/10.1145/1481839.1481841"
  researchr: "https://researchr.org/publication/ZiarekJFA09"
  cites: 0
  citedby: 0
  pages: "1-12"
  booktitle: "POPL"
  kind: "inproceedings"
  key: "ZiarekJFA09"
- title: "Contification Using Dominators"
  author:
  - name: "Matthew Fluet"
    link: "http://www.cs.rit.edu/~mtf"
  - name: "Stephen Weeks"
    link: "https://researchr.org/alias/stephen-weeks"
  year: "2001"
  researchr: "https://researchr.org/publication/FluetW01"
  cites: 0
  citedby: 0
  pages: "2-13"
  booktitle: "ICFP"
  kind: "inproceedings"
  key: "FluetW01"
- title: "Compiling self-adjusting programs with continuations"
  author:
  - name: "Ruy Ley-Wild"
    link: "https://researchr.org/alias/ruy-ley-wild"
  - name: "Matthew Fluet"
    link: "http://www.cs.rit.edu/~mtf"
  - name: "Umut A. Acar"
    link: "https://researchr.org/alias/umut-a.-acar"
  year: "2008"
  doi: "http://doi.acm.org/10.1145/1411204.1411249"
  links:
    doi: "http://doi.acm.org/10.1145/1411204.1411249"
  tags:
  - "compiler"
  researchr: "https://researchr.org/publication/Ley-WildFA08"
  cites: 0
  citedby: 0
  pages: "321-334"
  booktitle: "ICFP"
  kind: "inproceedings"
  key: "Ley-WildFA08"
- title: "L:::3:::: A Linear Language with Locations"
  author:
  - name: "Greg Morrisett"
    link: "https://researchr.org/alias/greg-morrisett"
  - name: "Amal J. Ahmed"
    link: "https://researchr.org/alias/amal-j.-ahmed"
  - name: "Matthew Fluet"
    link: "http://www.cs.rit.edu/~mtf"
  year: "2005"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3461&spage=293"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3461&spage=293"
  researchr: "https://researchr.org/publication/MorrisettAF05"
  cites: 0
  citedby: 0
  pages: "293-307"
  booktitle: "tlca"
  kind: "inproceedings"
  key: "MorrisettAF05"
- title: "Optimal Token Allocations in Solitaire Knock  m Down"
  author:
  - name: "Arthur T. Benjamin"
    link: "https://researchr.org/alias/arthur-t.-benjamin"
  - name: "Matthew Fluet"
    link: "http://www.cs.rit.edu/~mtf"
  - name: "Mark L. Huber"
    link: "https://researchr.org/alias/mark-l.-huber"
  year: "2001"
  doi: "http://www.combinatorics.org/Volume_8/Abstracts/v8i2r2.html"
  links:
    doi: "http://www.combinatorics.org/Volume_8/Abstracts/v8i2r2.html"
  researchr: "https://researchr.org/publication/BenjaminFH01"
  cites: 0
  citedby: 0
  journal: "combinatorics"
  volume: "8"
  number: "2"
  kind: "article"
  key: "BenjaminFH01"
- title: "Monadic regions"
  author:
  - name: "Matthew Fluet"
    link: "http://www.cs.rit.edu/~mtf"
  - name: "Greg Morrisett"
    link: "https://researchr.org/alias/greg-morrisett"
  year: "2006"
  doi: "http://dx.doi.org/10.1017/S095679680600596X"
  links:
    doi: "http://dx.doi.org/10.1017/S095679680600596X"
  researchr: "https://researchr.org/publication/FluetM06"
  cites: 0
  citedby: 0
  journal: "JFP"
  volume: "16"
  number: "4-5"
  pages: "485-545"
  kind: "article"
  key: "FluetM06"
- title: "Monadic regions"
  author:
  - name: "Matthew Fluet"
    link: "http://www.cs.rit.edu/~mtf"
  - name: "J. Gregory Morrisett"
    link: "https://researchr.org/alias/j.-gregory-morrisett"
  year: "2004"
  doi: "http://doi.acm.org/10.1145/1016850.1016867"
  links:
    doi: "http://doi.acm.org/10.1145/1016850.1016867"
  researchr: "https://researchr.org/publication/FluetM04"
  cites: 0
  citedby: 0
  pages: "103-114"
  booktitle: "ICFP"
  kind: "inproceedings"
  key: "FluetM04"
- title: "Phantom types and subtyping"
  author:
  - name: "Matthew Fluet"
    link: "http://www.cs.rit.edu/~mtf"
  - name: "Riccardo Pucella"
    link: "https://researchr.org/alias/riccardo-pucella"
  year: "2006"
  doi: "http://dx.doi.org/10.1017/S0956796806006046"
  links:
    doi: "http://dx.doi.org/10.1017/S0956796806006046"
  tags:
  - "subtyping"
  researchr: "https://researchr.org/publication/FluetP06%3A0"
  cites: 0
  citedby: 0
  journal: "JFP"
  volume: "16"
  number: "6"
  pages: "751-791"
  kind: "article"
  key: "FluetP06:0"
- title: "Practical Datatype Specializations with Phantom Types and Recursion Schemes"
  author:
  - name: "Matthew Fluet"
    link: "http://www.cs.rit.edu/~mtf"
  - name: "Riccardo Pucella"
    link: "https://researchr.org/alias/riccardo-pucella"
  year: "2006"
  doi: "http://dx.doi.org/10.1016/j.entcs.2005.11.046"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2005.11.046"
  researchr: "https://researchr.org/publication/FluetP06"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "148"
  number: "2"
  pages: "211-237"
  kind: "article"
  key: "FluetP06"
- title: "Manticore: a heterogeneous parallel language"
  author:
  - name: "Matthew Fluet"
    link: "http://www.cs.rit.edu/~mtf"
  - name: "Mike Rainey"
    link: "https://researchr.org/alias/mike-rainey"
  - name: "John H. Reppy"
    link: "https://researchr.org/alias/john-h.-reppy"
  - name: "Adam Shaw"
    link: "https://researchr.org/alias/adam-shaw"
  - name: "Yingqi Xiao"
    link: "https://researchr.org/alias/yingqi-xiao"
  year: "2007"
  doi: "http://doi.acm.org/10.1145/1248648.1248656"
  links:
    doi: "http://doi.acm.org/10.1145/1248648.1248656"
  researchr: "https://researchr.org/publication/FluetRRSX07"
  cites: 0
  citedby: 0
  pages: "37-44"
  booktitle: "POPL"
  kind: "inproceedings"
  key: "FluetRRSX07"
- title: "Transactional events"
  author:
  - name: "Kevin Donnelly"
    link: "https://researchr.org/alias/kevin-donnelly"
  - name: "Matthew Fluet"
    link: "http://www.cs.rit.edu/~mtf"
  year: "2008"
  doi: "http://dx.doi.org/10.1017/S0956796808006916"
  links:
    doi: "http://dx.doi.org/10.1017/S0956796808006916"
  researchr: "https://researchr.org/publication/DonnellyF08"
  cites: 0
  citedby: 0
  journal: "JFP"
  volume: "18"
  number: "5-6"
  pages: "649-706"
  kind: "article"
  key: "DonnellyF08"
- title: "Phantom Types and Subtyping"
  author:
  - name: "Matthew Fluet"
    link: "http://www.cs.rit.edu/~mtf"
  - name: "Riccardo Pucella"
    link: "https://researchr.org/alias/riccardo-pucella"
  year: "2002"
  tags:
  - "subtyping"
  researchr: "https://researchr.org/publication/FluetP02"
  cites: 0
  citedby: 0
  pages: "448-460"
  booktitle: "ifipTCS"
  kind: "inproceedings"
  key: "FluetP02"