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

Dynamic Generation of Likely Invariants for Multithreaded Programs. - Markus Kusano; Arijit Chattopadhyay; Chao Wang 001 (ICSE (1), 2015)

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