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: Fluet:Matthew
Contributed to:
20152014
2014
2013201220112010
2009
20092008
200620062005
200520042001
20162020Wrote 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.
- ICFP-2005-AhmedFM
- 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.