Suvam Mukherjee

Orcid: 0000-0002-9040-0053

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2026
Adaptive fuzzy identity-based cryptography for real time medical image security.
Biomed. Signal Process. Control., 2026

2025
Steady and Transient State Analysis of CUBIC Congestion Control with FQ-CoDel and FQ-PIE.
Proceedings of the 21st International Conference on Network and Service Management, 2025

2023
Towards Evaluating Multipath TCP using Linux Tools and Utilities.
Proceedings of the 24th International Conference on Distributed Computing and Networking, 2023

2021
Celestial: A Smart Contracts Verification Framework.
Proceedings of the Formal Methods in Computer Aided Design, 2021

Ensuring Fairness under Prior Probability Shifts.
Proceedings of the AIES '21: AAAI/ACM Conference on AI, 2021

2020
Learning-based controlled concurrency testing.
Proc. ACM Program. Lang., 2020

A Thread-Local Semantics and Efficient Static Analyses for Race Free Programs.
CoRR, 2020

2019
Reliable State Machines: A Framework for Programming Reliable Cloud Services.
Proceedings of the 33rd European Conference on Object-Oriented Programming, 2019

Fairness Through the Lens of Proportional Equality.
Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2019

2017
Detecting All High-Level Dataraces in an RTOS Kernel.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2017

Thread-Local Semantics and Its Efficient Sequential Abstractions for Race-Free Programs.
Proceedings of the Static Analysis - 24th International Symposium, 2017

RATCOP: Relational Analysis Tool for Concurrent Programs.
Proceedings of the Hardware and Software: Verification and Testing, 2017


  Loading...