BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × China
1 × Estonia
1 × Hungary
1 × Italy
1 × Japan
1 × Sweden
1 × United Kingdom
2 × Canada
6 × USA
Collaborated with:
M.Le J.H.Reppy M.Rainey G.Morrisett A.J.Ahmed U.A.Acar A.Shaw L.Bergstrom R.Ley-Wild C.Adsit E.Amsden K.Donnelly J.G.Morrisett S.Weeks R.Yates Sam Westrick Rohan Yadav N.Sandler S.Rosen N.Ford Y.Xiao
Talks about:
parallel (6) transact (4) languag (4) program (3) manticor (2) function (2) control (2) continu (2) analysi (2) system (2)

Person: Matthew Fluet

DBLP DBLP: Fluet:Matthew

Contributed to:

ICFP 20152015
ICFP 20142014
IFL 20142014
PPoPP 20132013
IFL 20122012
IFL 20112011
ICFP 20102010
CEFP 20092009
POPL 20092009
ICFP 20082008
ESOP 20062006
ICFP 20062006
ICFP 20052005
TLCA 20052005
ICFP 20042004
ICFP 20012001
Haskell 20162016
POPL 20202020

Wrote 21 papers:

ICFP-2015-LeF #continuation #transaction
Partial aborts for transactions via first-class continuations (ML, MF), pp. 230–242.
ICFP-2014-BergstromFLRS #effectiveness #higher-order #optimisation
Practical and effective higher-order optimizations (LB, MF, ML, JHR, NS), pp. 81–93.
IFL-2014-AdsitF #analysis #control flow #performance #system f
An Efficient Type- and Control-Flow Analysis for System F (CA, MF), p. 3.
IFL-2014-LeF #functional #parallel
Combining Shared State with Speculative Parallelism in a Functional Language (ML, MF), p. 2.
PPoPP-2013-BergstromFRRRS #parallel
Data-only flattening for nested data parallelism (LB, MF, MR, JHR, SR, AS), pp. 81–92.
IFL-2012-Fluet #analysis #control flow #system f
A Type- and Control-Flow Analysis for System F (MF), pp. 122–139.
IFL-2011-AmsdenF #transaction
Fairness for Transactional Events (EA, MF), pp. 17–34.
ICFP-2010-BergstromRRSF #lazy evaluation
Lazy tree splitting (LB, MR, JHR, AS, MF), pp. 93–104.
CEFP-2009-FluetBFRRSX #functional #parallel #programming
Programming in Manticore, a Heterogenous Parallel Functional Language (MF, LB, NF, MR, JHR, AS, YX), pp. 94–145.
POPL-2009-Ley-WildAF #self #semantics
A cost semantics for self-adjusting computation (RLW, UAA, MF), pp. 186–199.
ICFP-2008-FluetRR #framework #parallel #scheduling
A scheduling framework for general-purpose parallel languages (MF, MR, JHR), pp. 241–252.
ICFP-2008-FluetRRS #parallel #thread
Implicitly-threaded parallelism in Manticore (MF, MR, JHR, AS), pp. 119–130.
ICFP-2008-Ley-WildFA #compilation #continuation #self #source code
Compiling self-adjusting programs with continuations (RLW, MF, UAA), pp. 321–334.
ESOP-2006-FluetMA #linear
Linear Regions Are All You Need (MF, GM, AJA), pp. 7–21.
ICFP-2006-DonnellyF #transaction
Transactional events (KD, MF), pp. 124–135.
A step-indexed model of substructural state (AJA, MF, GM), pp. 78–91.
TLCA-2005-MorrisettAF #linear #named
L3: A Linear Language with Locations (GM, AJA, MF), pp. 293–307.
ICFP-2004-FluetM #monad
Monadic regions (MF, JGM), pp. 103–114.
ICFP-2001-FluetW #using
Contification Using Dominators (MF, SW), pp. 2–13.
Haskell-2016-LeYF #haskell #memory management #transaction
Revisiting software transactional memory in Haskell (ML, RY, MF), pp. 105–113.
POPL-2020-WestrickYFA #source code
Disentanglement in nested-parallel programs (SW, RY, MF, UAA), p. 32.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.