@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},
abs = {../research/speculation/index.html#SpecBarriersDAMP09},
pdf = {../research/speculation/damp09.pdf}
}
@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.},
abs = {http://ttic.uchicago.edu/~pl/sa-sml/index.html#SelfAdjustCostPOPL09},
pdf = {http://ttic.uchicago.edu/~pl/sa-sml/popl09.pdf}
}
@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},
note = {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.},
pdf = {http://manticore.cs.uchicago.edu/papers/icfp08-implicit.pdf}
}
@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.},
pdf = {http://manticore.cs.uchicago.edu/papers/icfp08-sched.pdf}
}
@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.},
abs = {http://ttic.uchicago.edu/~pl/sa-sml/index.html#SelfAdjustContICFP08},
pdf = {http://ttic.uchicago.edu/~pl/sa-sml/icfp08.pdf}
}
@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},
pdf = {http://manticore.cs.uchicago.edu/papers/ml07.pdf}
}
@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},
pdf = {http://manticore.cs.uchicago.edu/papers/damp07.pdf}
}
@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.double.pdf},
pdfdouble = {../research/thesis/fluet-thesis.single.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},
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}.},
abs = {../research/tx-events/index.html#TxEventsICFP06},
pdf = {../research/tx-events/ICFP06/icfp06.pdf}
}
@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},
note = {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-September},
note = {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},
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.},
abs = {../research/substruct-state/index.html#SubstructStateICFP05},
pdf = {../research/substruct-state/ICFP05/icfp05.pdf}
}
@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},
abs = {../research/substruct-state/index.html#SubstructStateTR05},
pdf = {../research/substruct-state/TechRpt/techrpt.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},
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},
abs = {../research/lin-loc/index.html#LinLocTR04},
pdf = {../research/lin-loc/TechRpt/techrpt.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}.},
abs = {../research/rgn-monad/index.html#RgnMonadICFP04},
pdf = {../research/rgn-monad/ICFP04/icfp04.pdf}
}
@techreport{RgnMonadTR04,
author = {Matthew Fluet},
title = {Monadic Regions:~Formal Type Soundness and Correctness},
institution = {Cornell University},
year = 2004,
number = {TR2004-1936},
month = {April},
abs = {../research/rgn-monad/index.html#RgnMonadTR04},
pdf = {../research/rgn-monad/TechRpt/techrpt.pdf}
}
@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},
abs = {../research/valuations/index.html#ValuationsTR04},
pdf = {../research/valuations/TechRpt/techrpt.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 = {\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},
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.},
abs = {../research/contification/index.html#ContificationICFP01},
pdf = {../research/contification/ICFP01/icfp01.pdf}
}
@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.92.