Round-up: Runtime checking quasi linearizability of concurrent data structures. - Lu Zhang 035; Arijit Chattopadhyay; Chao Wang 001 (ASE, 2013)

Runtime prevention of concurrency related type-state violations in multithreaded applications. - Lu Zhang 035; Chao Wang 001 (ISSTA, 2014)

Round-Up: Runtime Verification of Quasi Linearizability for Concurrent Data Structures. - Lu Zhang 035; Arijit Chattopadhyay; Chao Wang 001 (IEEE Trans. Software Eng., 2015)

Runtime Verification and Debugging of Concurrent Software. - Lu Zhang 035 (2016)

RClassify: classifying race conditions in web applications via deterministic replay. - Lu Zhang 035; Chao Wang 001 (ICSE, 2017)