Publications

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]
  • Jingyue Wu, Gang Hu, Yang Tang, Junfeng Yang
• Sound and Precise Analysis of Parallel Programs through Schedule Specialization (PLDI '12) [talk|poster]
  • Jingyue Wu, Yang Tang, Gang Hu, Heming Cui, Junfeng Yang
• Bypassing Races in Live Applications with Execution Filters (OSDI '10) [talk]
  • Jingyue Wu, Heming Cui, Junfeng Yang

Papers I helped with

• Verifying Systems Rules Using Rule-Directed Symbolic Execution (ASPLOS '13)
  • Gang Hu, Heming Cui, Jingyue Wu, Junfeng Yang
• Efficient Deterministic Multithreading through Schedule Relaxation (SOSP '11)
  • Heming Cui, Jingyue Wu, John Gallagher, Huayang Guo, Junfeng Yang
• Optimizing Data Partitioning for Data-Parallel Computing (HotOS '11)
  • Qifa Ke, Vijayan Prabhakaran, Yinglian Xie, Yuan Yu, Jingyue Wu, Junfeng Yang
• Stable Deterministic Multithreading through Schedule Memoization (OSDI '10)
  • Heming Cui, Jingyue Wu, Chia-che Tsai, Junfeng Yang