Jingyue Wu
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
6
Active years
2010–2016
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | CGO | gpucc: an open-source GPGPU compiler. | Jingyue Wu, Artem Belevich, Eli Bendersky, Mark Heffernan, Chris Leary, Jacques A. Pienaar, Bjarke Roune, Rob Springer, Xuetian Weng, Robert Hundt |
| 2013 | ASPLOS | Verifying systems rules using rule-directed symbolic execution. | Heming Cui, Gang Hu, Jingyue Wu, Junfeng Yang |
| 2012 | PLDI | Sound and precise analysis of parallel programs through schedule specialization. | Jingyue Wu, Yang Tang, Gang Hu, Heming Cui, Junfeng Yang |
| 2011 | HotOS | Optimizing Data Partitioning for Data-Parallel Computing. | Qifa Ke, Vijayan Prabhakaran, Yinglian Xie, Yuan Yu, Jingyue Wu, Junfeng Yang |
| 2011 | SOSP | Efficient deterministic multithreading through schedule relaxation. | Heming Cui, Jingyue Wu, John Gallagher, Huayang Guo, Junfeng Yang |
| 2010 | OSDI | Stable Deterministic Multithreading through Schedule Memoization. | Heming Cui, Jingyue Wu, Chia-Che Tsai, Junfeng Yang |
| 2010 | OSDI | Bypassing Races in Live Applications with Execution Filters. | Jingyue Wu, Heming Cui, Junfeng Yang |