Lu Zhang

Publication Activity (10 Years)

Years Active: 2013-2017
Publications (10 Years): 2

Top Topics

Web Applications

Efficient Data Structures

Top Venues

IEEE Trans. Software Eng.

Virginia Tech, Blacksburg, VA, USA (PHD)

Education History

Virginia Tech, Blacksburg, VA, USA

PHD

Publications

Lu Zhang, Chao Wang
RClassify: classifying race conditions in web applications via deterministic replay. ICSE (2017)
Lu Zhang, Arijit Chattopadhyay, Chao Wang
Round-Up: Runtime Verification of Quasi Linearizability for Concurrent Data Structures. IEEE Trans. Software Eng. 41 (12) (2015)
Lu Zhang, Chao Wang
Runtime prevention of concurrency related type-state violations in multithreaded applications. ISSTA (2014)
Lu Zhang, Arijit Chattopadhyay, Chao Wang
Round-up: Runtime checking quasi linearizability of concurrent data structures. ASE (2013)