@TechReport{TCFATR13,
  author =       {Matthew Fluet},
  title =        {A Type- and Control-Flow Analysis for System~F},
  month =        {February},
  year =         {2013},
  number =       {1850/15920},
  institution =  {Rochester Institute of Technology},
  link =         {http://hdl.handle.net/1850/15920},
}

@InProceedings{TCFAIFL12,
  author =       {Matthew Fluet},
  title =        {A Type- and Control-Flow Analysis for System~F},
  booktitle =    {IFL'12:~Revised Selected Papers of the 24th Symposium on Implementation and Application of Functional Languages},
  pages =        {??-??},
  year =         {2013},
  publisher =    {Springer-Verlag},
  series =       {Lecture Notes in Computer Science},
  volume =       {????},
  note =         {Accepted.}
}

@InProceedings{ManticoreHybridFlattenPPoPP13,
  author =       {Lars Bergstrom and Matthew Fluet and Mike Rainey and John Reppy and Stephen Rosen and Adam Shaw},
  title =        {Data-Only Flattening for Nested Data Parallelism},
  booktitle =    {PPoPP'13: Proceedings of the 18th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming},
  pages =        {81-92},
  year =         2013,
  location =     {Shenzhen, China},
  month =        {February},
  publisher =    {ACM Press},
  link =         {http://dl.acm.org/citation.cfm?doid=2442516.2442525},
}

@TechReport{FairTxEventsTR12,
  author =       {Edward Amsden and Matthew Fluet},
  title =        {Fairness for Transactional Events},
  month =        {March},
  year =         {2012},
  number =       {1850/14852},
  institution =  {Rochester Institute of Technology},
  link =         {http://hdl.handle.net/1850/14852},
}

@InProceedings{FairTxEventsIFL11,
  author =       {Edward Amsden and Matthew Fluet},
  title =        {Fairness for Transactional Events},
  booktitle =    {IFL'11:~Revised Selected Papers of the 23rd Symposium on Implementation and Application of Functional Languages},
  pages =        {17-34},
  year =         {2012},
  publisher =    {Springer-Verlag},
  series =       {Lecture Notes in Computer Science},
  volume =       {7257},
  link =         {http://link.springer.com/chapter/10.1007/978-3-642-34407-7_2}
}

@Article{ManticoreLazyTreeSplittingJFP12,
  author =       {Lars Bergstrom and Matthew Fluet and Mike Rainey and John Reppy and Adam Shaw},
  title =        {Lazy Tree Splitting},
  journal =      {The Journal of Functional Programming},
  year =         2012,
  volume =       22,
  number =       {4--5},
  pages =        {382--483},
  month =        {September},
  publisher =    {Cambridge University Press},
  note =         {Published online: 15 August 2012; a preliminary version of this paper appeared at \emph{ICFP'10:~The Fifteenth ACM SIGPLAN International Conference on Functional Programming}; solicited as a Selected Paper of \emph{ICFP'10}.},
}

@InProceedings{ManticoreNUMAGarbageCollectionMSPC11,
  author =       {Sven Auhagen and Lars Bergstrom and Matthew Fluet and John Reppy},
  title =        {Garbage Collection for Multicore {NUMA} Machines},
  booktitle =    {MSPC'11:~Proceedings of the 2011 ACM SIGPLAN Workshop on Memory Systems Performance and Correctness},
  pages =        {51--57},
  year =         2011,
  location =     {San Jose, CA},
  month =        {June},
  publisher =    {ACM Press},
  link =         {http://dl.acm.org/citation.cfm?doid=1988915.1988929},
}

@Article{ManticoreImplicitJFP11,
  author =       {Matthew Fluet and Mike Rainey and John Reppy and Adam Shaw},
  title =        {Implicitly-threaded Parallelism in {Manticore}},
  journal =      {The Journal of Functional Programming},
  year =         2010,
  volume =       20,
  number =       {5--6},
  pages =        {537--576},
  month =        {November},
  publisher =    {Cambridge University Press},
  note =         {Published online: 27 January 2011; a preliminary version of this paper appeared at \emph{ICFP'08:~The Thirteenth ACM SIGPLAN International Conference on Functional Programming}; solicited as a Selected Paper of \emph{ICFP'08}.},
}

@InCollection{ManticoreCEFP10,
  author =       {Matthew Fluet and Lars Bergstrom and Nic Ford and Mike Rainey and John Reppy and Adam Shaw and Yingqi Xiao},
  title =        {Programming in {Manticore}, a Heterogenous Parallel Functional Language},
  booktitle =    {CEFP'09:~Revised Selected Lectures of the Third Central European Functional Programming Summer School},
  date =         {June 2009},
  location =     {Komarno, Slovakia},
  editor =       {{Zolt\'an Horv\'ath} and {Rinus Plasmeijer} and {Vikt\'oria Zs\'ok}},
  series =       {Lecture Notes in Computer Science},
  volume =       {6299},
  pages =        {94--145},
  month =        {December},
  year =         2010,
  publisher =    {Springer-Verlag},
}
%  note =        {Lightly refereed.},

@InProceedings{ManticoreLazyTreeSplittingICFP10,
  author =       {Lars Bergstrom and Matthew Fluet and Mike Rainey and John Reppy and Adam Shaw},
  title =        {Lazy Tree Splitting},
  booktitle =    {ICFP'10:~Proceedings of the Fifteenth ACM SIGPLAN International Conference on Functional Programming},
  pages =        {93--104},
  year =         2010,
  location =     {Baltimore, MD},
  month =        {September},
  publisher =    {ACM Press},
  note =         {33\% acceptance rate; solicited for a special issue of \emph{Journal of Functional Programming}:~Selected Papers of \emph{ICFP'10}.},
  link =         {http://dl.acm.org/citation.cfm?doid=1863543.1863558},
}

@InProceedings{SpecBarriersDAMP09,
  author =       {Lukasz Ziarek and Suresh Jagannathan and Matthew Fluet and Umut Acar},
  title =        {Speculative {N}-Way Barriers},
  booktitle =    {DAMP'09:~Proceedings of the Workshop on Declarative Aspects of Multicore Programming},
  pages =        {1--12},
  year =         2009,
  location =     {Savannah, GA},
  month =        {January},
  publisher =    {ACM Press},
  link =         {http://dl.acm.org/citation.cfm?doid=1481839.1481841},
}

@InProceedings{SelfAdjustCostPOPL09,
  author =       {Ruy Ley-Wild and Umut Acar and Matthew Fluet},
  title =        {A Cost Semantics for Self-Adjusting Computation},
  booktitle =    {POPL'09:~Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
  pages =        {186--199},
  year =         2009,
  location =     {Savannah, GA},
  month =        {January},
  publisher =    {ACM Press},
  note =         {23\% acceptance rate.},
  link =         {http://dl.acm.org/citation.cfm?doid=1480881.1480907},
}

@Article{TxEventsJFP08,
  author =       {Kevin Donnelly and Matthew Fluet},
  title =        {Transactional Events},
  journal =      {The Journal of Functional Programming},
  year =         2008,
  volume =       18,
  number =       {5--6},
  pages =        {649--706},
  month =        {September},
  publisher =    {Cambridge University Press},
  note =         {Published online: 30 October 2008; a preliminary version of this paper appeared at \emph{ICFP'06:~The Eleventh ACM SIGPLAN International Conference on Functional Programming}; solicited as a Selected Paper of \emph{ICFP'06}.},
  abs =          {../research/tx-events/index.html#TxEventsJFP08},
  pdf =          {../research/tx-events/JFP08/jfp08.pdf}
}

@InProceedings{ManticoreImplicitICFP08,
  author =       {Matthew Fluet and Mike Rainey and John Reppy and Adam Shaw},
  title =        {Implicitly-threaded Parallelism in {Manticore}},
  booktitle =    {ICFP'08:~Proceedings of the Thirteenth ACM SIGPLAN International Conference on Functional Programming},
  pages =        {119--130},
  year =         2008,
  location =     {Victoria, BC, Candada},
  month =        {September},
  publisher =    {ACM Press},
  note =         {33\% acceptance rate; solicited for a special issue of \emph{Journal of Functional Programming}:~Selected Papers of \emph{ICFP'08}.},
  link =         {http://dl.acm.org/citation.cfm?doid=1411204.1411224},
}

@InProceedings{ManticoreSchedICFP08,
  author =       {Matthew Fluet and Mike Rainey and John Reppy},
  title =        {A Scheduling Framework for General-purpose Parallel Languages},
  booktitle =    {ICFP'08:~Proceedings of the Thirteenth ACM SIGPLAN International Conference on Functional Programming},
  pages =        {241--252},
  year =         2008,
  location =     {Victoria, BC, Candada},
  month =        {September},
  publisher =    {ACM Press},
  note =         {33\% acceptance rate.},
  link =         {http://dl.acm.org/citation.cfm?doid=1411204.1411239},
}

@InProceedings{SelfAdjustContICFP08,
  author =       {Ruy Ley-Wild and Matthew Fluet and Umut Acar},
  title =        {Compiling Self-Adjusting Programs with Continuations},
  booktitle =    {ICFP'08:~Proceedings of the Thirteenth ACM SIGPLAN International Conference on Functional Programming},
  pages =        {321--334},
  year =         2008,
  location =     {Victoria, BC, Candada},
  month =        {September},
  publisher =    {ACM Press},
  note =         {33\% acceptance rate.},
  link =         {http://dl.acm.org/citation.cfm?doid=1411204.1411249},
}

@InProceedings{ManticoreMLWRK07,
  author =       {Matthew Fluet and Nic Ford and Mike Rainey and John Reppy and Adam Shaw and Yingqi Xiao},
  title  =       {Status Report:~The {Manticore} Project},
  booktitle =    {ML'07:~Proceedings of the ACM SIGPLAN Workshop on ML},
  pages =        {15--24},
  year =         2007,
  location =     {Freiburg, Germany},
  month =        {October},
  publisher =    {ACM Press},
  link =         {http://dl.acm.org/citation.cfm?doid=1292535.1292539},
}

@InProceedings{ManticoreDAMP07,
  author =       {Matthew Fluet and Mike Rainey and John Reppy and Adam Shaw and Yingqi Xiao},
  title =        {{Manticore}:~A Heterogeneous Parallel Language},
  booktitle =    {DAMP'07:~Proceedings of the Workshop on Declarative Aspects of Multicore Programming},
  pages =        {37--44},
  year =         2007,
  location =     {Nice, France},
  month =        {January},
  publisher =    {ACM Press},
  link =         {http://dl.acm.org/citation.cfm?doid=1248648.1248656}
}

@PhdThesis{MonadicAndSubstructRegionsThesis07,
  author =       {Matthew Fluet},
  title =        {Monadic and Substructural Type Systems for Region-Based Memory Management},
  school =       {Cornell University},
  year =         2007,
  month =        {January},
  abs =          {../research/thesis/index.html#MonadicAndSubstructRegionsThesis07},
  pdfsingle =    {../research/thesis/fluet-thesis.single.pdf},
  pdfdouble =    {../research/thesis/fluet-thesis.double.pdf}
}
%  type =        {Computer Science},

@Article{LinLocFI07,
  author =       {Amal Ahmed and Matthew Fluet and Greg Morrisett},
  title =        {L$^3$:~A Linear Language with Locations},
  journal =      {Fundamenta Informaticae},
  year =         2007,
  volume =       77,
  number =       4,
  pages =        {397--449},
  month =        {June},
  publisher =    {IOS Press},
  note =         {A preliminary version of this paper appeared at \emph{TLCA'04:~The Seventh International Conference on Typed Lambda Calculi and Applications}; solicited as a Selected Paper of \emph{TLCA'04}.},
  abs =          {../research/lin-loc/index.html#FI07},
  pdf =          {../research/lin-loc/FI07/fi07.pdf}
}

@InProceedings{TxEventsICFP06,
  author =       {Kevin Donnelly and Matthew Fluet},
  title =        {Transactional Events},
  booktitle =    {ICFP'06:~Proceedings of the Eleventh ACM SIGPLAN International Conference on Functional Programming},
  pages =        {124--135},
  year =         2006,
  location =     {Portland, OR, USA},
  month =        {September},
  publisher =    {ACM Press},
  note =         {32\% acceptance rate; solicited for a special issue of \emph{Journal of Functional Programming}:~Selected Papers of \emph{ICFP'06}.},
  link =         {http://dl.acm.org/citation.cfm?doid=1159803.1159821}
}

@Article{PhantomTypesJFP06,
  author =       {Matthew Fluet and Riccardo Pucella},
  title =        {Phantom Types and Subtyping},
  journal =      {The Journal of Functional Programming},
  year =         2006,
  volume =       16,
  number =       6,
  pages =        {751--791},
  month =        {November},
  publisher =    {Cambridge University Press},
  note =         {Published online: 09 June 2006; a preliminary version of this paper appeared at \emph{TCS'02:~The Second IFIP International Conference on Theoretical Computer Science}.},
  abs =          {../research/phantom-subtyping/index.html#PhantomTypesJFP06},
  pdf =          {../research/phantom-subtyping/jfp06/jfp06.pdf}
}

@Article{RgnMonadJFP06,
  author =       {Matthew Fluet and Greg Morrisett},
  title =        {Monadic Regions},
  journal =      {The Journal of Functional Programming},
  year =         2006,
  volume =       16,
  number =       {4--5},
  pages =        {485--545},
  month =        {July},
  publisher =    {Cambridge University Press},
  note =         {Published online: 10 August 2006; a preliminary version of this paper appeared at \emph{ICFP'04:~The Ninth ACM SIGPLAN International Conference on Functional Programming}; solicited as a Selected Paper of \emph{ICFP'04}.},
  abs =          {../research/rgn-monad/index.html#RgnMonadJFP06},
  pdf =          {../research/rgn-monad/JFP06/jfp06.pdf}
}

@InProceedings{SubstructRegionsESOP06,
  author =       {Matthew Fluet and Greg Morrisett and Amal Ahmed},
  title =        {Linear Regions Are All You Need},
  booktitle =    {ESOP'06:~Proceedings of the Fifteenth European Symposium on Programming},
  pages =        {7--21},
  year =         2006,
  location =     {Vienna, Austria},
  month =        {March},
  publisher =    {Springer-Verlag},
  series =       {Lecture Notes in Computer Science},
  volume =       {3924},
  note =         {24\% acceptance rate.},
  abs =          {../research/substruct-regions/index.html#SubstructRegionsESOP06},
  pdf =          {../research/substruct-regions/ESOP06/esop06.pdf}
}

@InProceedings{SpecializationsMLWRK05,
  author =       {Matthew Fluet and Riccardo Pucella},
  title  =       {Practical Datatype Specializations with Phantom Types and Recursion Schemes},
  booktitle =    {ML'05:~Proceedings of the ACM SIGPLAN Workshop on ML},
  pages =        {203--228},
  year =         2005,
  location =     {Tallinn, Estonia},
  month =        {September},
  publisher =    {Elsevier},
  abs =          {../research/specializations/index.html#SpecializationsMLWRK05},
  pdf =          {../research/specializations/MLWRK05/mlwrk05.pdf}
}

@InProceedings{SubstructStateICFP05,
  author =       {Amal Ahmed and Matthew Fluet and Greg Morrisett},
  title =        {A Step-Indexed Model of Substructural State},
  booktitle =    {ICFP'05:~Proceedings of the Tenth ACM SIGPLAN International Conference on Functional Programming},
  pages =        {78--91},
  year =         2005,
  location =     {Tallinn, Estonia},
  month =        {September},
  publisher =    {ACM Press},
  note =         {30\% acceptance rate.},
  link =         {http://dl.acm.org/citation.cfm?doid=1086365.1086376}
}

@TechReport{SubstructStateTR05,
  author =       {Amal Ahmed and Matthew Fluet and Greg Morrisett},
  title =        {A Step-Indexed Model of Substructural State},
  institution =  {Harvard University},
  year =         2005,
  number =       {TR-16-05},
  month =        {July},
  link =         {ftp://ftp.deas.harvard.edu/techreports/tr-16-05.pdf}
}

@InProceedings{LinLocTLCA05,
  author =       {Greg Morrisett and Amal Ahmed and Matthew Fluet},
  title =        {L$^3$:~A Linear Language with Locations},
  booktitle =    {TLCA'04:~Proceedings of the Seventh International Conference on Typed Lambda Calculi and Applications},
  pages =        {293--307},
  year =         2005,
  location =     {Nara, Japan},
  month =        {April},
  publisher =    {Springer-Verlag},
  series =       {Lecture Notes in Computer Science},
  volume =       {3461},
  note =         {Solicited for a special issue of \emph{Fundamenta Informaticae}:~Selected Papers of \emph{TLCA'05}},
  abs =          {../research/lin-loc/index.html#LinLocTLCA05},
  pdf =          {../research/lin-loc/TLCA05/tlca05.pdf}
}

@TechReport{LinLocTR04,
  author =       {Amal Ahmed and Matthew Fluet and Greg Morrisett},
  title =        {L$^3$:~A Linear Language with Locations},
  institution =  {Harvard University},
  year =         2004,
  number =       {TR-24-04},
  month =        {July},
  link =         {ftp://ftp.deas.harvard.edu/techreports/tr-24-04.pdf}
}

@InProceedings{RgnMonadICFP04,
  author =       {Matthew Fluet and Greg Morrisett},
  title =        {Monadic Regions},
  booktitle =    {ICFP'04:~Proceedings of the Ninth ACM SIGPLAN International Conference on Functional Programming},
  pages =        {103--114},
  year =         2004,
  location =     {Snow Bird, UT, USA},
  month =        {September},
  publisher =    {ACM Press},
  note =         {26\% acceptance rate; solicited for a special issue of \emph{Journal of Functional Programming}:~Selected Papers of \emph{ICFP'04}.},
  link =         {http://dl.acm.org/citation.cfm?doid=1016850.1016867}
}

@TechReport{RgnMonadTR04,
  author =       {Matthew Fluet},
  title =        {Monadic Regions:~Formal Type Soundness and Correctness},
  institution =  {Cornell University},
  year =         2004,
  number =       {TR2004-1936},
  month =        {April},
  link =         {http://hdl.handle.net/1813/5647}
}

@InProceedings{RgnMonadSPACE04,
  author =       {Matthew Fluet},
  title =        {Monadic Regions},
  booktitle =    {SPACE'04:~Informal Proceedings of the Second ACM SIGPLAN Workshop on Semantics, Program Analysis, and Computing Environments for Memory Management},
  year =         2004,
  location =     {Venice, Italy},
  month =        {January},
  note =         {Lightly refereed.},
  abs =          {../research/rgn-monad/index.html#RgnMonadSPAC04},
  pdf =          {../research/rgn-monad/SPACE04/space04.pdf}
}

@InProceedings{SafeRuntimeSPACE04,
  author =       {Matthew Fluet and Dan Wang},
  title =        {Implementation and Performance Evaluation of a Safe Runtime System in {C}yclone},
  booktitle =    {SPACE'04:~Informal Proceedings of the Second ACM SIGPLAN Workshop on Semantics, Program Analysis, and Computing Environments for Memory Management},
  year =         2004,
  location =     {Venice, Italy},
  month =        {January},
  note =         {Lightly refereed.},
  abs =          {../research/safe-runtime/index.html#SafeRuntimeSPAC04},
  pdf =          {../research/safe-runtime/SPACE04/space04.pdf}
}

@TechReport{ValuationsTR04,
  author =       {Stuart Allen and Bob Constable and Matthew Fluet},
  title =        {Expressing and Implementing the Computational Content Implicit in {S}mullyan's Account of Boolean Valuations},
  institution =  {Cornell University},
  year =         2004,
  number =       {TR2004-1933},
  month =        {March},
  link =         {http://hdl.handle.net/1813/5644}
}

@Unpublished{PhantomTypesARXIV04,
  author =       {Matthew Fluet and Riccardo Pucella},
  title =        {Phantom Types and Subtyping},
  note =         {Supercedes \cite{PhantomTypesTCS02} and superceded by \cite{PhantomTypesJFP06}},
  month =        {March},
  year =         2004,
  arxiv =        {http://arxiv.org/abs/cs.PL/0403034}
}

@InProceedings{PhantomTypesTCS02,
  author =       {Matthew Fluet and Riccardo Pucella},
  title =        {Phantom Types and Subtyping},
  booktitle =    {TCS'02:~Proceedings of the Second IFIP International Conference on Theoretical Computer Science},
  pages =        {442--460},
  year =         2002,
  location =     {Montreal, Canada},
  month =        {August},
  publisher =    {Kluwer Academic Press},
  abs =          {../research/phantom-subtyping/index.html#PhantomTypesTCS02},
  ps =           {../research/phantom-subtyping/TCS02/tcs02.ps}
}

@InProceedings{ContificationICFP01,
  author =       {Matthew Fluet and Stephen Weeks},
  title =        {Contification Using Dominators},
  booktitle =    {ICFP'01:~Proceedings of the Sixth ACM SIGPLAN International Conference on Functional Programming},
  pages =        {2--13},
  year =         2001,
  location =     {Florence, Italy},
  month =        {September},
  publisher =    {ACM Press},
  note =         {35\% acceptance rate.},
  link =         {http://dl.acm.org/citation.cfm?doid=507635.507639}
}

@Article{KnockEJC01,
  author =       {Arthur T. Benjamin and Matthew T. Fluet and Mark L. Huber},
  title =        {Optimal Token Allocations in Solitaire {Knock 'm Down}},
  journal =      {The Electronic Journal of Combinatorics},
  year =         2001,
  volume =       8,
  number =       2,
  pages =        {\#R2},
  month =        {August},
  note =         {Lightly refereed.},
  abs =          {../research/knock/index.html#KnockEJC01},
  pdf =          {../research/knock/EJC/ejc.pdf}
}

@Article{KnockAMM00,
  author =       {Arthur T. Benjamin and Matthew T. Fluet},
  title =        {What's Best?},
  journal =      {The American Mathematical Monthly},
  year =         2000,
  volume =       107,
  number =       6,
  pages =        {560--562},
  month =        {June-July},
  abs =          {../research/knock/index.html#KnockAMM00},
  pdf =          {../research/knock/AMM/amm.pdf}
}

@Article{CootieCMJ00,
  author =       {Arthur T. Benjamin and Matthew T. Fluet},
  title =        {A Rational Solution to Cootie},
  journal =      {The College Mathematics Journal},
  year =         2000,
  volume =       31,
  number =       2,
  pages =        {124--125},
  month =        {March},
  note =         {Lightly refereed.},
  abs =          {../research/cootie/index.html#CootieCMJ00},
  pdf =          {../research/cootie/CMJ/cmj.pdf}
}

@SeniorThesis{KnockThesis99,
  author =       {Matthew T. Fluet},
  title =        {Searching for Optimial Strategies in {Knock 'm Down}},
  school =       {Harvey Mudd College},
  year =         1999,
  month =        {May},
  abs =          {../research/knock/index.html#KnockThesis99},
  pdf =          {../research/knock/Thesis/thesis.pdf}
}
%  type =        {Mathematics},

@Article{DeepImpactUMAP99,
  author =       {Dominic Mazzoni and Matthew Fluet and Joel Miller},
  title =        {Deep Impact},
  journal =      {The UMAP Journal},
  year =         1999,
  volume =       20,
  number =       3,
  pages =        {211--224},
  month =        {Fall},
  note =         {Lightly refereed.},
  abs =          {../research/deepimpact/index.html#DeepImpactUMAP99},
  pdf =          {../research/deepimoact/UMAP/umap.pdf}
}

@Article{KnockUMAP99,
  author =       {Arthur T. Benjamin and Matthew T. Fluet},
  title =        {The Best Way to {Knock 'm Down}},
  journal =      {The UMAP Journal},
  year =         1999,
  volume =       20,
  number =       1,
  pages =        {11--20},
  month =        {Spring},
  note =         {Lightly refereed.},
  abs =          {../research/knock/index.html#KnockUMAP99},
  pdf =          {../research/knock/UMAP/umap.pdf}
}

@Article{CootieUMAP99,
  author =       {Arthur T. Benjamin and Matthew T. Fluet},
  title =        {Bounds on a Bug},
  journal =      {The UMAP Journal},
  year =         1999,
  volume =       20,
  number =       1,
  pages =        {5--9},
  month =        {Spring},
  note =         {Lightly refereed.},
  abs =          {../research/cootie/index.html#CootieUMAP99},
  pdf =          {../research/cootie/UMAP/umap.pdf}
}