1. Sound and Precise Analysis of Multithreaded Programs through Schedule Specialization and Execution Filters Wu, Jingyue 2014 Theses Computer science
2. Effective Dynamic Detection of Alias Analysis Errors Wu, Jingyue; Hu, Gang; Tang, Yang; Yang, Junfeng 2013 Reports Computer science
3. Make Parallel Programs Reliable with Stable Multithreading Wu, Jingyue; Hu, Gang; Tang, Yang; Yang, Junfeng; Cui, Heming; Gallagher, John; Tsai, Chia-Che 2013 Reports Computer science