Matthew Fluet

According to our database1, Matthew Fluet authored at least 34 papers between 2000 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2020
Disentanglement in nested-parallel programs.
Proc. ACM Program. Lang., 2020

2018
Hierarchical memory management for mutable state.
Proceedings of the 23rd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2018

2016
Revisiting software transactional memory in Haskell.
Proceedings of the 9th International Symposium on Haskell, 2016

2015
Coupling Memory and Computation for Locality Management.
Proceedings of the 1st Summit on Advances in Programming Languages, 2015

Partial aborts for transactions via first-class continuations.
Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, 2015

2014
Combining Shared State with Speculative Parallelism in a Functional Language.
Proceedings of the 26th 2014 International Symposium on Implementation and Application of Functional Languages, 2014

An Efficient Type- and Control-Flow Analysis for System F.
Proceedings of the 26th 2014 International Symposium on Implementation and Application of Functional Languages, 2014

Practical and effective higher-order optimizations.
Proceedings of the 19th ACM SIGPLAN international conference on Functional programming, 2014

2013
Practical Inlining of Functions with Free Variables.
CoRR, 2013

Data-only flattening for nested data parallelism.
Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2013

The manticore project.
Proceedings of the 2nd ACM SIGPLAN workshop on Functional high-performance computing, 2013

2012
Lazy tree splitting.
J. Funct. Program., 2012

A Type- and Control-Flow Analysis for System F.
Proceedings of the Implementation and Application of Functional Languages, 2012

2011
Garbage collection for multicore NUMA machines.
Proceedings of the 2011 ACM SIGPLAN workshop on Memory Systems Performance and Correctness: held in conjunction with PLDI '11, 2011

Fairness for Transactional Events.
Proceedings of the Implementation and Application of Functional Languages, 2011

2010
Implicitly threaded parallelism in Manticore.
J. Funct. Program., 2010

2009
An overview of the Oregon programming languages summer school.
ACM SIGPLAN Notices, 2009

Speculative N-Way barriers.
Proceedings of the POPL 2009 Workshop on Declarative Aspects of Multicore Programming, 2009

A cost semantics for self-adjusting computation.
Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2009

Programming in Manticore, a Heterogenous Parallel Functional Language.
Proceedings of the Central European Functional Programming School - Third Summer School, 2009

2008
Transactional events.
J. Funct. Program., 2008

Compiling self-adjusting programs with continuations.
Proceedings of the Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, 2008

A scheduling framework for general-purpose parallel languages.
Proceedings of the Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, 2008

2007
L<sup>3</sup>: A Linear Language with Locations.
Fundam. Informaticae, 2007

Manticore: a heterogeneous parallel language.
Proceedings of the POPL 2007 Workshop on Declarative Aspects of Multicore Programming, 2007

Status report: the manticore project.
Proceedings of the ACM Workshop on ML, 2007, Freiburg, Germany, October 5, 2007, 2007

2006
Phantom types and subtyping.
J. Funct. Program., 2006

Monadic regions.
J. Funct. Program., 2006

Practical Datatype Specializations with Phantom Types and Recursion Schemes.
Electron. Notes Theor. Comput. Sci., 2006

Linear Regions Are All You Need.
Proceedings of the Programming Languages and Systems, 2006

2005
A step-indexed model of substructural state.
Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, 2005

2001
Optimal Token Allocations in Solitaire Knock 'm Down.
Electron. J. Comb., 2001

Contification Using Dominators.
Proceedings of the Sixth ACM SIGPLAN International Conference on Functional Programming (ICFP '01), 2001

2000
What's Best?
Am. Math. Mon., 2000


  Loading...