fluetbib.bib

@inproceedings{HierMemMgmtRefsPPoPP18,
  author = {Adrien Guatto and Sam Westrick and Ram Raghunathan and Umut Acar and Matthew Fluet},
  title = {Hierarchical Memory Management for Mutable State},
  booktitle = {PPoPP'18: Proceedings of the 23rd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming},
  pages = {81--93},
  year = 2018,
  location = {Vienna, Austria},
  month = {February},
  publisher = {ACM Press},
  note = {20\%~acceptance rate.},
  link = {http://dl.acm.org/citation.cfm?doid=3178487.3178494},
  url = {http://dl.acm.org/citation.cfm?doid=3178487.3178494},
  doi = {10.1145/3178487.3178494}
}
@inproceedings{RevisitHaskellSTMHaskell16,
  author = {Matthew Le and Ryan Yates and Matthew Fluet},
  title = {Revisiting Software Transactional Memory in Haskell},
  booktitle = {Haskell'16:~Proceedings of the 9th International Symposium on Haskell},
  pages = {105--113},
  year = 2016,
  location = {Nara, Japan},
  month = {September},
  publisher = {ACM Press},
  note = {29\%~acceptance rate.},
  link = {http://dl.acm.org/citation.cfm?doid=2976002.2976020},
  url = {http://dl.acm.org/citation.cfm?doid=2976002.2976020},
  doi = {10.1145/2976002.2976020}
}
@inproceedings{ManticorePartialSTMICFP15,
  author = {Matthew Le and Matthew Fluet},
  title = {Partial Aborts for Transactions via First-Class Continuations},
  booktitle = {ICFP'15:~Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming},
  pages = {230--242},
  year = 2015,
  location = {Vancouver, Candada},
  month = {September},
  publisher = {ACM Press},
  note = {29\%~acceptance rate.},
  link = {http://dl.acm.org/citation.cfm?doid=2784731.2784736},
  url = {http://dl.acm.org/citation.cfm?doid=2784731.2784736},
  doi = {10.1145/2784731.2784736}
}
@inproceedings{LocalitySNAPL15,
  author = {Umut A. Acar and Guy Blelloch and Matthew Fluet and Stefan K. Muller and Ram Raghunathan},
  title = {Coupling Memory and Computation for Locality Management},
  booktitle = {SNAPL'15: First Summit on Advances in Programming Languages},
  pages = {1--14},
  month = {May},
  year = {2015},
  publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  series = {Leibniz International Proceedings in Informatics (LIPIcs)},
  volume = {32},
  doi = {10.4230/LIPIcs.SNAPL.2015.1},
  link = {http://drops.dagstuhl.de/opus/volltexte/2015/5012},
  url = {http://drops.dagstuhl.de/opus/volltexte/2015/5012/}
}
@inproceedings{TCFAIFL14,
  author = {Connor Adsit and Matthew Fluet},
  title = {An Efficient Type- and Control-Flow Analysis for System~F},
  booktitle = {IFL'14:~Proceedings of the 26th International Symposium on Implementation and Application of Functional Languages},
  pages = {3:1--3:14},
  month = {October},
  year = {2014},
  publisher = {ACM Press},
  doi = {10.1145/2746325.2746327},
  link = {http://doi.acm.org/10.1145/2746325.2746327},
  url = {http://doi.acm.org/10.1145/2746325.2746327}
}
@inproceedings{ManticoreSpecParIFL14,
  author = {Matthew Le and Matthew Fluet},
  title = {Combining Shared State with Speculative Parallelism in a Functional Language},
  booktitle = {IFL'14:~Proceedings of the 26th International Symposium on Implementation and Application of Functional Languages},
  pages = {2:1--2:10},
  month = {October},
  year = {2014},
  publisher = {ACM Press},
  doi = {10.1145/2746325.2746328},
  link = {http://doi.acm.org/10.1145/2746325.2746328},
  url = {http://doi.acm.org/10.1145/2746325.2746328}
}
@inproceedings{ManticoreHOOptimizationICFP14,
  author = {Lars Bergstrom and Matthew Fluet and Matthew Le and John Reppy and Nora Sandler},
  title = {Practical and Effective Higher-Order Optimizations},
  booktitle = {ICFP'14:~Proceedings of the Ninteenth ACM SIGPLAN International Conference on Functional Programming},
  pages = {81--93},
  year = 2014,
  location = {Gothenburg, Sweden},
  month = {September},
  publisher = {ACM Press},
  note = {33\%~acceptance rate.},
  link = {http://dl.acm.org/citation.cfm?doid=2628136.2628153},
  url = {http://dl.acm.org/citation.cfm?doid=2628136.2628153},
  doi = {10.1145/2628136.2628153}
}
@inproceedings{ManticoreFHPC13,
  author = {Matthew Fluet},
  title = {The {Manticore} Project},
  booktitle = {FHPC'13:~Proceedings of the 2nd ACM SIGPLAN Workshop on Functional High-Performance Computing},
  pages = {1--2},
  month = {September},
  year = 2013,
  location = {Boston, Massachusetts},
  publisher = {ACM Press},
  note = {Unrefereed; invited talk abstract.},
  link = {http://dl.acm.org/citation.cfm?doid=2502323.2508150},
  url = {http://dl.acm.org/citation.cfm?doid=2502323.2508150},
  doi = {10.1145/2502323.2508150}
}
@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 = {122--139},
  month = {September},
  year = {2013},
  publisher = {Springer-Verlag},
  series = {Lecture Notes in Computer Science},
  volume = {8241},
  doi = {10.1007/978-3-642-41582-1\_8},
  link = {http://link.springer.com/chapter/10.1007/978-3-642-41582-1_8},
  url = {http://link.springer.com/chapter/10.1007/978-3-642-41582-1_8}
}
@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},
  month = {February},
  year = 2013,
  location = {Shenzhen, China},
  publisher = {ACM Press},
  note = {18\%~acceptance rate.},
  link = {http://dl.acm.org/citation.cfm?doid=2442516.2442525},
  url = {http://dl.acm.org/citation.cfm?doid=2442516.2442525},
  doi = {10.1145/2442516.2442525}
}
@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},
  hdl = {1850/15920},
  link = {http://hdl.handle.net/1850/15920},
  url = {http://hdl.handle.net/1850/15920}
}
@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},
  month = {September},
  year = 2012,
  volume = 22,
  number = {4--5},
  pages = {382--483},
  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}.},
  link = {http://dx.doi.org/10.1017/S0956796812000172},
  url = {http://dx.doi.org/10.1017/S0956796812000172},
  doi = {10.1017/S0956796812000172}
}
@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},
  month = {August},
  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},
  url = {http://link.springer.com/chapter/10.1007/978-3-642-34407-7_2},
  doi = {10.1007/978-3-642-34407-7\_2}
}
@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},
  url = {http://hdl.handle.net/1850/14852},
  hdl = {1850/14852}
}
@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},
  month = {June},
  year = 2011,
  location = {San Jose, CA},
  publisher = {ACM Press},
  note = {33\%~acceptance rate.},
  link = {http://dl.acm.org/citation.cfm?doid=1988915.1988929},
  url = {http://dl.acm.org/citation.cfm?doid=1988915.1988929},
  doi = {10.1145/1988915.1988929}
}
@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},
  optnote = {Lightly refereed.},
  link = {http://link.springer.com/chapter/10.1007/978-3-642-17685-2_4},
  url = {http://link.springer.com/chapter/10.1007/978-3-642-17685-2_4},
  doi = {10.1007/978-3-642-17685-2\_4}
}
@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},
  month = {November},
  year = 2010,
  volume = 20,
  number = {5--6},
  pages = {537--576},
  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}.},
  link = {http://dx.doi.org/10.1017/S0956796810000201},
  url = {http://dx.doi.org/10.1017/S0956796810000201},
  doi = {10.1017/S0956796810000201}
}
@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},
  month = {September},
  year = 2010,
  location = {Baltimore, MD},
  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},
  url = {http://dl.acm.org/citation.cfm?doid=1863543.1863558},
  doi = {10.1145/1863543.1863558}
}
@article{OregonPLSummerSchoolSIGPLAN10,
  author = {Allen, Jim and Ariola, Zena and Curien, Pierre-Louis and Fluet, Matthew and Foster, Jeff and Grossman, Dan and Harper, Robert and Herbelin, Hugo and Smaragdakis, Yannis and Walker, David and Zdancewic, Steve},
  title = {An Overview of the Oregon Programming Languages Summer School},
  journal = {SIGPLAN Notices},
  pages = {1--3},
  month = {June},
  year = 2010,
  volume = 44,
  number = 11,
  issue_date = {November 2009},
  publisher = {ACM Press},
  note = {Unrefereed.},
  link = {http://dl.acm.org/citation.cfm?doid=1816027.1816029},
  url = {http://dl.acm.org/citation.cfm?doid=1816027.1816029},
  doi = {10.1145/1816027.1816029}
}
@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},
  month = {January},
  year = 2009,
  location = {Savannah, GA},
  publisher = {ACM Press},
  optnote = {86\%~acceptance rate.},
  link = {http://dl.acm.org/citation.cfm?doid=1481839.1481841},
  url = {http://dl.acm.org/citation.cfm?doid=1481839.1481841},
  doi = {10.1145/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},
  month = {January},
  year = 2009,
  location = {Savannah, GA},
  publisher = {ACM Press},
  note = {23\%~acceptance rate.},
  link = {http://dl.acm.org/citation.cfm?doid=1480881.1480907},
  url = {http://dl.acm.org/citation.cfm?doid=1480881.1480907},
  doi = {10.1145/1480881.1480907}
}
@article{TxEventsJFP08,
  author = {Kevin Donnelly and Matthew Fluet},
  title = {Transactional Events},
  journal = {The Journal of Functional Programming},
  pages = {649--706},
  month = {September},
  year = 2008,
  volume = 18,
  number = {5--6},
  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}.},
  link = {http://dx.doi.org/10.1017/S0956796808006916},
  url = {http://dx.doi.org/10.1017/S0956796808006916},
  doi = {10.1017/S0956796808006916}
}
@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},
  month = {September},
  year = 2008,
  location = {Victoria, BC, Candada},
  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},
  url = {http://dl.acm.org/citation.cfm?doid=1411204.1411224},
  doi = {10.1145/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},
  month = {September},
  year = 2008,
  location = {Victoria, BC, Candada},
  publisher = {ACM Press},
  note = {33\%~acceptance rate.},
  link = {http://dl.acm.org/citation.cfm?doid=1411204.1411239},
  url = {http://dl.acm.org/citation.cfm?doid=1411204.1411239},
  doi = {10.1145/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},
  month = {September},
  year = 2008,
  location = {Victoria, BC, Candada},
  publisher = {ACM Press},
  note = {33\%~acceptance rate.},
  link = {http://dl.acm.org/citation.cfm?doid=1411204.1411249},
  url = {http://dl.acm.org/citation.cfm?doid=1411204.1411249},
  doi = {10.1145/1411204.1411249}
}
@techreport{SelfAdjustCostTR08,
  author = {Ruy Ley-Wild and Umut Acar and Matthew Fluet},
  title = {A Cost Semantics for Self-Adjusting Computation},
  institution = {Carnegie Mellon University},
  month = {July},
  year = 2008,
  number = {CMU-CS-08-141},
  link = {http://reports-archive.adm.cs.cmu.edu/anon/2008/CMU-CS-08-141.pdf},
  url = {http://reports-archive.adm.cs.cmu.edu/anon/2008/CMU-CS-08-141.pdf},
  optdoi = {...}
}
@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},
  month = {October},
  pages = {15--24},
  year = 2007,
  location = {Freiburg, Germany},
  publisher = {ACM Press},
  link = {http://dl.acm.org/citation.cfm?doid=1292535.1292539},
  url = {http://dl.acm.org/citation.cfm?doid=1292535.1292539},
  doi = {10.1145/1292535.1292539}
}
@article{LinLocFI07,
  author = {Amal Ahmed and Matthew Fluet and Greg Morrisett},
  title = {L$^3$:~A Linear Language with Locations},
  journal = {Fundamenta Informaticae},
  pages = {397--449},
  month = {June},
  year = 2007,
  volume = 77,
  number = 4,
  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}.},
  link = {http://iospress.metapress.com/content/M581QJ0326367104},
  url = {http://iospress.metapress.com/content/M581QJ0326367104},
  optdoi = {...}
}
@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},
  month = {January},
  year = 2007,
  location = {Nice, France},
  publisher = {ACM Press},
  optnote = {45\%~acceptance rate.},
  link = {http://dl.acm.org/citation.cfm?doid=1248648.1248656},
  url = {http://dl.acm.org/citation.cfm?doid=1248648.1248656},
  doi = {10.1145/1248648.1248656}
}
@phdthesis{MonadicAndSubstructRegionsThesis07,
  author = {Matthew Fluet},
  title = {Monadic and Substructural Type Systems for Region-Based Memory Management},
  school = {Cornell University},
  month = {November},
  year = 2006,
  type = {Ph.D. Dissertation (Computer Science)},
  link = {http://ecommons.library.cornell.edu/handle/1813/3773},
  url = {http://ecommons.library.cornell.edu/handle/1813/3773},
  hdl = {1813/3773},
  abs = {../research/thesis/index.html#MonadicAndSubstructRegionsThesis07},
  pdfsingle = {../research/thesis/fluet-thesis.single.pdf},
  pdfdouble = {../research/thesis/fluet-thesis.double.pdf}
}
@article{PhantomTypesJFP06,
  author = {Matthew Fluet and Riccardo Pucella},
  title = {Phantom Types and Subtyping},
  journal = {The Journal of Functional Programming},
  pages = {751--791},
  month = {November},
  year = 2006,
  volume = 16,
  number = 6,
  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}.},
  link = {http://dx.doi.org/10.1017/S0956796806006046},
  url = {http://dx.doi.org/10.1017/S0956796806006046},
  doi = {10.1017/S0956796806006046}
}
@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},
  month = {September},
  year = 2006,
  location = {Portland, OR, USA},
  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},
  url = {http://dl.acm.org/citation.cfm?doid=1159803.1159821},
  doi = {10.1145/1159803.1159821}
}
@article{RgnMonadJFP06,
  author = {Matthew Fluet and Greg Morrisett},
  title = {Monadic Regions},
  journal = {The Journal of Functional Programming},
  pages = {485--545},
  month = {July},
  year = 2006,
  volume = 16,
  number = {4--5},
  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}.},
  link = {http://dx.doi.org/10.1017/S095679680600596X},
  url = {http://dx.doi.org/10.1017/S095679680600596X},
  doi = {10.1017/S095679680600596X}
}
@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},
  month = {March},
  year = 2006,
  location = {Vienna, Austria},
  publisher = {Springer-Verlag},
  series = {Lecture Notes in Computer Science},
  volume = {3924},
  note = {24\%~acceptance rate.},
  link = {http://link.springer.com/chapter/10.1007/11693024_2},
  url = {http://link.springer.com/chapter/10.1007/11693024_2},
  doi = {10.1007/11693024\_2}
}
@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},
  date = {September 2005},
  month = {March},
  year = 2006,
  location = {Tallinn, Estonia},
  publisher = {Elsevier},
  link = {http://www.sciencedirect.com/science/article/pii/S1571066106001320},
  url = {http://www.sciencedirect.com/science/article/pii/S1571066106001320},
  doi = {10.1016/j.entcs.2005.11.046}
}
@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},
  month = {September},
  year = 2005,
  location = {Tallinn, Estonia},
  publisher = {ACM Press},
  note = {30\%~acceptance rate.},
  link = {http://dl.acm.org/citation.cfm?doid=1086365.1086376},
  url = {http://dl.acm.org/citation.cfm?doid=1086365.1086376},
  doi = {10.1145/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},
  url = {ftp://ftp.deas.harvard.edu/techreports/tr-16-05.pdf},
  optdoi = {...}
}
@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},
  month = {April},
  year = 2005,
  location = {Nara, Japan},
  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}},
  link = {http://link.springer.com/chapter/10.1007/11417170_22},
  url = {http://link.springer.com/chapter/10.1007/11417170_22},
  doi = {10.1007/11417170\_22}
}
@misc{MLBFormal05,
  author = {Henry Cejtin and Matthew Fluet and Suresh Jagannathan and Stephen Weeks},
  title = {Formal Specification of the {ML Basis} System},
  month = {January},
  year = {2005},
  note = {Unrefereed.},
  link = {http://mlton.org/MLBasis.attachments/mlb-formal.pdf},
  url = {http://mlton.org/MLBasis.attachments/mlb-formal.pdf}
}
@techreport{LinLocTR04,
  author = {Amal Ahmed and Matthew Fluet and Greg Morrisett},
  title = {L$^3$:~A Linear Language with Locations},
  institution = {Harvard University},
  month = {July},
  year = 2004,
  number = {TR-24-04},
  link = {ftp://ftp.deas.harvard.edu/techreports/tr-24-04.pdf},
  url = {ftp://ftp.deas.harvard.edu/techreports/tr-24-04.pdf},
  optdoi = {...}
}
@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},
  month = {September},
  year = 2004,
  location = {Snow Bird, UT, USA},
  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},
  url = {http://dl.acm.org/citation.cfm?doid=1016850.1016867},
  doi = {10.1145/1016850.1016867}
}
@techreport{RgnMonadTR04,
  author = {Matthew Fluet},
  title = {Monadic Regions:~Formal Type Soundness and Correctness},
  institution = {Cornell University},
  month = {April},
  year = 2004,
  number = {TR2004-1936},
  link = {http://hdl.handle.net/1813/5647},
  url = {http://hdl.handle.net/1813/5647},
  hdl = {1813/5647}
}
@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},
  month = {March},
  year = 2004,
  number = {TR2004-1933},
  link = {http://hdl.handle.net/1813/5644},
  url = {http://hdl.handle.net/1813/5644},
  hdl = {1813/5644}
}
@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},
  month = {January},
  year = 2004,
  location = {Venice, Italy},
  note = {Lightly refereed.},
  link = {http://www.diku.dk/topps/space2004/space_final/fluet.pdf},
  url = {http://www.diku.dk/topps/space2004/space_final/fluet.pdf},
  optdoi = {...}
}
@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},
  month = {January},
  year = 2004,
  location = {Venice, Italy},
  note = {Lightly refereed.},
  link = {http://www.diku.dk/topps/space2004/space_final/fluet-wang.pdf},
  url = {http://www.diku.dk/topps/space2004/space_final/fluet-wang.pdf}
}
@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},
  url = {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},
  month = {August},
  year = 2002,
  location = {Montreal, Canada},
  publisher = {Kluwer Academic Press},
  link = {http://link.springer.com/chapter/10.1007/978-0-387-35608-2_37},
  url = {http://link.springer.com/chapter/10.1007/978-0-387-35608-2_37},
  doi = {10.1007/978-0-387-35608-2\_37}
}
@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},
  month = {September},
  pages = {2--13},
  year = 2001,
  location = {Florence, Italy},
  publisher = {ACM Press},
  note = {35\%~acceptance rate.},
  link = {http://dl.acm.org/citation.cfm?doid=507635.507639},
  url = {http://dl.acm.org/citation.cfm?doid=507635.507639},
  doi = {10.1145/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},
  pages = {\#R2},
  month = {August},
  year = 2001,
  volume = 8,
  number = 2,
  note = {Lightly refereed.},
  link = {http://www.combinatorics.org/ojs/index.php/eljc/article/view/v8i2r2},
  url = {http://www.combinatorics.org/ojs/index.php/eljc/article/view/v8i2r2},
  optdoi = {...}
}
@article{KnockAMM00,
  author = {Arthur T. Benjamin and Matthew T. Fluet},
  title = {What's Best?},
  journal = {The American Mathematical Monthly},
  pages = {560--562},
  month = {June-July},
  year = 2000,
  volume = 107,
  number = 6,
  link = {http://www.jstor.org/stable/2589353},
  url = {http://www.jstor.org/stable/2589353},
  doi = {10.2307/2589353}
}
@article{CootieCMJ00,
  author = {Arthur T. Benjamin and Matthew T. Fluet},
  title = {A Rational Solution to Cootie},
  journal = {The College Mathematics Journal},
  pages = {124--125},
  month = {March},
  year = 2000,
  volume = 31,
  number = 2,
  note = {Lightly refereed.},
  link = {http://www.jstor.org/stable/2687584},
  url = {http://www.jstor.org/stable/2687584},
  doi = {10.2307/2687584}
}
@seniorthesis{KnockThesis99,
  author = {Matthew T. Fluet},
  title = {Searching for Optimal Strategies in {Knock 'm Down}},
  school = {Harvey Mudd College},
  type = {B.S. Senior Thesis (Mathematics},
  month = {May},
  year = 1999,
  abs = {../research/knock/index.html#KnockThesis99},
  pdf = {../research/knock/Thesis/thesis.pdf}
}
@article{DeepImpactUMAP99,
  author = {Dominic Mazzoni and Matthew Fluet and Joel Miller},
  title = {Deep Impact},
  journal = {The UMAP Journal},
  pages = {211--224},
  month = {Fall},
  year = 1999,
  volume = 20,
  number = 3,
  note = {Lightly refereed.},
  link = {http://www.comap.com/product/?idx=459},
  url = {http://www.comap.com/product/?idx=459},
  optdoi = {...}
}
@article{KnockUMAP99,
  author = {Arthur T. Benjamin and Matthew T. Fluet},
  title = {The Best Way to {Knock 'm Down}},
  journal = {The UMAP Journal},
  pages = {11--20},
  month = {Spring},
  year = 1999,
  volume = 20,
  number = 1,
  note = {Lightly refereed.},
  link = {http://www.comap.com/product/?idx=687},
  url = {http://www.comap.com/product/?idx=687},
  optdoi = {...}
}
@article{CootieUMAP99,
  author = {Arthur T. Benjamin and Matthew T. Fluet},
  title = {Bounds on a Bug},
  journal = {The UMAP Journal},
  pages = {5--9},
  month = {Spring},
  year = 1999,
  volume = 20,
  number = 1,
  note = {Lightly refereed.},
  link = {http://www.comap.com/product/?idx=656},
  url = {http://www.comap.com/product/?idx=656},
  optdoi = {...}
}

This file was generated by bibtex2html 1.99.