[Google Scholar] [ACM DL] [DBLP1] [DBLP2]
I am interested in models of execution and heterogeneous dynamic program analyses, particularly as they relate to concurrency and practical approaches to debugging. Links below lead to abstracts, slides, bibtex entries, PDFs for papers, and any additional resources relevant for a paper.
DRIP: A Framework for Purifying Trojaned Kernel Drivers
DSN 2013, 22%
Zhongshu Gu, William N. Sumner, Zhui Deng, Xiangyu Zhang, and Dongyan Xu
Comparative Causality: Explaining The Differences Between Executions
ICSE 2013, 18.5%=85/461
William N. Sumner and Xiangyu Zhang
Marathon: Detecting Atomic Set Serializability Violations With Conflict Graphs
RV 2011, 42%=22/?
William N. Sumner, Christian Hammer, and Julian Dolby
Selecting Peers For Execution Comparison
ISSTA 2011, 29%=35/121
William N. Sumner, Tao Bao, and Xiangyu Zhang
Unified Debugging Of Distributed Systems With Recon
DSN 2011, 18%=26/148
Kyu Hyung Lee, William N. Sumner, Xiangyu Zhang, and Patrick Eugster
Toward Generating Reducible Replay Logs
PLDI 2011, 23%=55/236
Kyu Hyung Lee, Yunhui Zheng, William N. Sumner, and Xiangyu Zhang
Coalescing Executions For Fast Uncertainty Analysis
ICSE 2011, 14%=62/441
William N. Sumner, Tao Bao, Xiangyu Zhang, and Sunil Prabhakar
Memory Indexing: Canonicalizing Addresses Across Executions
FSE 2010, 20%=34/169
William N. Sumner and Xiangyu Zhang
Analyzing Concurrency Bugs Using Dual Slicing
ISSTA 2010, 23%=24/105
Dasarath Weeratunge, Xiangyu Zhang, William N. Sumner, and Suresh Jagannathan
Precise Calling Context Encoding
ICSE 2010, 14%=52/380
William N. Sumner, Yunhui Zheng, Dasarath Weeratunge, and Xiangyu Zhang