Publications
Papers I led
Papers I led
- gpucc: An Open-Source GPGPU Compiler (CGO '16) [code|slides|video]
- Jingyue Wu, Artem Belevich, Eli Bendersky, Mark Heffernan, Chris Leary, Jacques Pienaar, Bjarke Roune, Rob Springer, Xuetian Weng, Robert Hundt
- Effective Dynamic Detection of Alias Analysis Errors (ESEC/FSE '13) [code]
- Sound and Precise Analysis of Parallel Programs through Schedule Specialization (PLDI '12) [talk|poster]
- Bypassing Races in Live Applications with Execution Filters (OSDI '10) [talk]
Papers I helped with
Papers I helped with
- Verifying Systems Rules Using Rule-Directed Symbolic Execution (ASPLOS '13)
- Efficient Deterministic Multithreading through Schedule Relaxation (SOSP '11)
- Optimizing Data Partitioning for Data-Parallel Computing (HotOS '11)
- Stable Deterministic Multithreading through Schedule Memoization (OSDI '10)
Papers I reviewed
Papers I reviewed
- CGO 2015
- CGO 2018