Suvam Mukherjee

Publication Activity (10 Years)

Years Active: 2017-2023
Publications (10 Years): 12

Top Topics

Concurrent Programs

Conditional Probabilities

Top Venues

Proc. ACM Program. Lang.

Publications

Mohit P. Tahiliani, Dayma Khan, Abhinaba Rakshit, Suvam Mukherjee
Towards Evaluating Multipath TCP using Linux Tools and Utilities. ICDCN (2023)
Samvid Dharanikota, Suvam Mukherjee, Chandrika Bhardwaj, Aseem Rastogi, Akash Lal
Celestial: A Smart Contracts Verification Framework. FMCAD (2021)
Arpita Biswas, Suvam Mukherjee
Ensuring Fairness under Prior Probability Shifts. AIES (2021)
Suvam Mukherjee, Pantazis Deligiannis, Arpita Biswas, Akash Lal
Learning-based controlled concurrency testing. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Suvam Mukherjee, Oded Padon, Sharon Shoham, Deepak D'Souza, Noam Rinetzky
A Thread-Local Semantics and Efficient Static Analyses for Race Free Programs. CoRR (2020)
Arpita Biswas, Suvam Mukherjee
Ensuring Fairness under Prior Probability Shifts. CoRR (2020)
Suvam Mukherjee, Nitin John Raj, Krishnan Govindraj, Pantazis Deligiannis, Chandramouleswaran Ravichandran, Akash Lal, Aseem Rastogi, Raja Krishnaswamy
Reliable State Machines: A Framework for Programming Reliable Cloud Services. CoRR (2019)
Suvam Mukherjee, Nitin John Raj, Krishnan Govindraj, Pantazis Deligiannis, Chandramouleswaran Ravichandran, Akash Lal, Aseem Rastogi, Raja Krishnaswamy
Reliable State Machines: A Framework for Programming Reliable Cloud Services. ECOOP (2019)
Arpita Biswas, Suvam Mukherjee
Fairness Through the Lens of Proportional Equality. AAMAS (2019)
Suvam Mukherjee, Arun Kumar, Deepak D'Souza
Detecting All High-Level Dataraces in an RTOS Kernel. VMCAI (2017)
Suvam Mukherjee, Oded Padon, Sharon Shoham, Deepak D'Souza, Noam Rinetzky
RATCOP: Relational Analysis Tool for Concurrent Programs. Haifa Verification Conference (2017)
Suvam Mukherjee, Oded Padon, Sharon Shoham, Deepak D'Souza, Noam Rinetzky
Thread-Local Semantics and Its Efficient Sequential Abstractions for Race-Free Programs. SAS (2017)