@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}
}
@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}
}
@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}
}
@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}
}
This file was generated by bibtex2html 1.96.