Suvam Mukherjee

According to our database, Suvam Mukherjee authored at least 10 papers between 2017 and 2023.

Collaborative distances:

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

2023

Towards Evaluating Multipath TCP using Linux Tools and Utilities.

Mohit P. Tahiliani, Dayma Khan, Abhinaba Rakshit, Suvam Mukherjee

Proceedings of the 24th International Conference on Distributed Computing and Networking, 2023

2021

Celestial: A Smart Contracts Verification Framework.

Samvid Dharanikota, Suvam Mukherjee, Chandrika Bhardwaj, Aseem Rastogi, Akash Lal

Proceedings of the Formal Methods in Computer Aided Design, 2021

Ensuring Fairness under Prior Probability Shifts.

Arpita Biswas, Suvam Mukherjee

Proceedings of the AIES '21: AAAI/ACM Conference on AI, 2021

2020

Learning-based controlled concurrency testing.

Suvam Mukherjee, Pantazis Deligiannis, Arpita Biswas, Akash Lal

Proc. ACM Program. Lang., 2020

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

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

Proceedings of the 33rd European Conference on Object-Oriented Programming, 2019

Fairness Through the Lens of Proportional Equality.

Arpita Biswas, Suvam Mukherjee

Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2019

2017

Detecting All High-Level Dataraces in an RTOS Kernel.

Suvam Mukherjee, Arun Kumar, Deepak D'Souza

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2017

Thread-Local Semantics and Its Efficient Sequential Abstractions for Race-Free Programs.

Suvam Mukherjee, Oded Padon, Sharon Shoham, Deepak D'Souza, Noam Rinetzky

Proceedings of the Static Analysis - 24th International Symposium, 2017

RATCOP: Relational Analysis Tool for Concurrent Programs.

Suvam Mukherjee, Oded Padon, Sharon Shoham, Deepak D'Souza, Noam Rinetzky

Proceedings of the Hardware and Software: Verification and Testing, 2017