Arijit Chattopadhyay

According to our database, Arijit Chattopadhyay authored at least 3 papers between 2013 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

Round-Up: Runtime Verification of Quasi Linearizability for Concurrent Data Structures.

Lu Zhang, Arijit Chattopadhyay, Chao Wang

IEEE Trans. Software Eng., 2015

Dynamic Generation of Likely Invariants for Multithreaded Programs.

Markus Kusano, Arijit Chattopadhyay, Chao Wang

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

2013

Round-up: Runtime checking quasi linearizability of concurrent data structures.

Lu Zhang, Arijit Chattopadhyay, Chao Wang

Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013