Suvam Mukherjee

14 papers A 2B 5C 1Misc 1Journal 4Unranked 1
YearRankTypeTitle / Venue / Authors
2025 B conf
Steady and Transient State Analysis of CUBIC Congestion Control with FQ-CoDel and FQ-PIE.
CNSM
Deepa Kumari, Suvam Mukherjee, Vivek Jain, Mohit P. Tahiliani
2023 Misc conf
Towards Evaluating Multipath TCP using Linux Tools and Utilities.
ICDCN
Mohit P. Tahiliani, Dayma Khan, Abhinaba Rakshit, Suvam Mukherjee
2021 B conf
Celestial: A Smart Contracts Verification Framework.
FMCAD
Samvid Dharanikota, Suvam Mukherjee, Chandrika Bhardwaj, Aseem Rastogi, Akash Lal
2021 C conf
Ensuring Fairness under Prior Probability Shifts.
AIES
Arpita Biswas, Suvam Mukherjee
2021 B ed.
Static Analysis - 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17-19, 2021, Proceedings
SAS
Cezara Dragoi, Suvam Mukherjee, Kedar S. Namjoshi
2020 J jnl
A Thread-Local Semantics and Efficient Static Analyses for Race Free Programs.
CoRR
Suvam Mukherjee, Oded Padon, Sharon Shoham, Deepak D'Souza, Noam Rinetzky
2020 J jnl
Ensuring Fairness under Prior Probability Shifts.
CoRR
Arpita Biswas, Suvam Mukherjee
2020 J jnl
Learning-based controlled concurrency testing.
Proc. ACM Program. Lang.
Suvam Mukherjee, Pantazis Deligiannis, Arpita Biswas, Akash Lal
2019 A conf
Fairness Through the Lens of Proportional Equality.
AAMAS
Arpita Biswas, Suvam Mukherjee
2019 A conf
Reliable State Machines: A Framework for Programming Reliable Cloud Services.
ECOOP
Suvam Mukherjee, Nitin John Raj, Krishnan Govindraj, Pantazis Deligiannis, Chandramouleswaran Ravichandran, Akash Lal, Aseem Rastogi, Raja Krishnaswamy
2019 J jnl
Reliable State Machines: A Framework for Programming Reliable Cloud Services.
CoRR
Suvam Mukherjee, Nitin John Raj, Krishnan Govindraj, Pantazis Deligiannis, Chandramouleswaran Ravichandran, Akash Lal, Aseem Rastogi, Raja Krishnaswamy
2017 B conf
Detecting All High-Level Dataraces in an RTOS Kernel.
VMCAI
Suvam Mukherjee, Arun Kumar, Deepak D'Souza
2017 — conf
RATCOP: Relational Analysis Tool for Concurrent Programs.
Haifa Verification Conference
Suvam Mukherjee, Oded Padon, Sharon Shoham, Deepak D'Souza, Noam Rinetzky
2017 B conf
Thread-Local Semantics and Its Efficient Sequential Abstractions for Race-Free Programs.
SAS
Suvam Mukherjee, Oded Padon, Sharon Shoham, Deepak D'Souza, Noam Rinetzky