RATCOP: Relational Analysis Tool for Concurrent Programs. - Suvam Mukherjee; Oded Padon; Sharon Shoham; Deepak D'Souza; Noam Rinetzky (Haifa Verification Conference, 2017)

Thread-Local Semantics and Its Efficient Sequential Abstractions for Race-Free Programs. - Suvam Mukherjee; Oded Padon; Sharon Shoham; Deepak D'Souza; Noam Rinetzky (SAS, 2017)

Detecting All High-Level Dataraces in an RTOS Kernel. - Suvam Mukherjee; Arun Kumar; Deepak D'Souza (VMCAI, 2017)

Fairness Through the Lens of Proportional Equality. - Arpita Biswas; Suvam Mukherjee (AAMAS, 2019)

Reliable State Machines: A Framework for Programming Reliable Cloud Services. - Suvam Mukherjee; Nitin John Raj; Krishnan Govindraj; Pantazis Deligiannis; Chandramouleswaran Ravichandran; Akash Lal; Aseem Rastogi; Raja Krishnaswamy (ECOOP, 2019)

A Thread-Local Semantics and Efficient Static Analyses for Race Free Programs. - Suvam Mukherjee; Oded Padon; Sharon Shoham; Deepak D'Souza; Noam Rinetzky (CoRR, 2020)

Learning-based controlled concurrency testing. - Suvam Mukherjee; Pantazis Deligiannis; Arpita Biswas; Akash Lal (Proc. ACM Program. Lang., 2020)

Ensuring Fairness under Prior Probability Shifts. - Arpita Biswas; Suvam Mukherjee (AIES, 2021)

Celestial: A Smart Contracts Verification Framework. - Samvid Dharanikota; Suvam Mukherjee; Chandrika Bhardwaj; Aseem Rastogi; Akash Lal (FMCAD, 2021)

Towards Evaluating Multipath TCP using Linux Tools and Utilities. - Mohit P. Tahiliani; Dayma Khan; Abhinaba Rakshit; Suvam Mukherjee (ICDCN, 2023)