Arijit Chattopadhyay

Publication Activity (10 Years)

Years Active: 2013-2015
Publications (10 Years): 0

Top Topics

Mutual Exclusion

Efficient Data Structures

Top Venues

IEEE Trans. Software Eng.

Publications

Markus Kusano, Arijit Chattopadhyay, Chao Wang
Dynamic Generation of Likely Invariants for Multithreaded Programs. ICSE (1) (2015)
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, Arijit Chattopadhyay, Chao Wang
Round-up: Runtime checking quasi linearizability of concurrent data structures. ASE (2013)