Suvam Mukherjee

According to our database, Suvam Mukherjee authored at least 12 papers between 2017 and 2026.

Collaborative distances:

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

2026

Adaptive fuzzy identity-based cryptography for real time medical image security.

Suvam Mukherjee, Animesh Roy

Biomed. Signal Process. Control., 2026

2025

Steady and Transient State Analysis of CUBIC Congestion Control with FQ-CoDel and FQ-PIE.

Deepa Kumari, Suvam Mukherjee, Vivek Jain, Mohit P. Tahiliani

Proceedings of the 21st International Conference on Network and Service Management, 2025

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