Travelled to:1 × Canada
1 × China
1 × Hungary
2 × USA
Collaborated with:M.Fluet J.H.Reppy U.A.Acar A.Charguéraud A.Shaw L.Bergstrom A.Guatto F.Sieczkowski S.Rosen Michael Vollmer 0003 Chaitanya Koparkar Laith Sakka M.K.0001 R.R.Newton N.Ford Y.Xiao
Talks about:parallel (7) schedul (4) languag (4) program (3) data (3) manticor (2) implicit (2) nest (2) heterogen (1) heartbeat (1)
Person: Mike Rainey
DBLP: Rainey:Mike
Contributed to:
2013
2011
2010
20092008
20182019Wrote 9 papers:
- PPoPP-2013-AcarCR #parallel #scheduling #source code
- Scheduling parallel programs by work stealing with private deques (UAA, AC, MR), pp. 219–228.
- PPoPP-2013-BergstromFRRRS #parallel
- Data-only flattening for nested data parallelism (LB, MF, MR, JHR, SR, AS), pp. 81–92.
- OOPSLA-2011-AcarCR #parallel #scheduling
- Oracle scheduling: controlling granularity in implicitly parallel languages (UAA, AC, MR), pp. 499–518.
- 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.
- 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.
- PLDI-2018-AcarCGRS #parallel #performance #scheduling
- Heartbeat scheduling: provable efficiency for nested parallelism (UAA, AC, AG, MR, FS), pp. 769–782.
- PLDI-2019-VollmerKRS0N #named #source code
- LoCal: a language for programs operating on serialized data (MV0, CK, MR, LS, MK0, RRN), pp. 48–62.