Travelled to:
4 × USA
Collaborated with:
A.Aiken S.Treichler R.Sharma J.Clark E.Schkufza R.S.0001 Elliott Slaughter
Talks about:
support (2) program (2) partit (2) irregular (1) hierarchi (1) synchron (1) parallel (1) hierarch (1) special (1) sequoia (1)
Person: Michael Bauer
DBLP: Bauer:Michael
Contributed to:
Wrote 5 papers:
- PLDI-2015-SharmaBA #gpu #source code #verification
- Verification of producer-consumer synchronization in GPU programs (RS, MB, AA), pp. 88–98.
- PPoPP-2014-BauerTA #named #performance
- Singe: leveraging warp specialization for high performance on GPUs (MB, ST, AA), pp. 119–130.
- OOPSLA-2013-TreichlerBA #clustering
- Language support for dynamic, hierarchical data partitioning (ST, MB, AA), pp. 495–514.
- PPoPP-2011-BauerCSA #memory management #parallel #programming
- Programming the memory hierarchy revisited: supporting irregular parallelism in sequoia (MB, JC, ES, AA), pp. 13–24.
- OOPSLA-2016-TreichlerBSSA #clustering
- Dependent partitioning (ST, MB, RS0, ES, AA), pp. 344–358.