Suvam Mukherjee

Ph.D. Thesis: Efficient Static Analyses for Concurrent Programs [PDF]

Conference/Journal

• Celestial: A Smart Contracts Verification Framework
  Samvid Dharanikota, Suvam Mukherjee, Chandrika Bharadwaj, Aseem Rastogi, Akash Lal
  at FMCAD 2021, [PrePrint], [Tool], [Paper]
  


• Ensuring Fairness under Prior Probability Shifts
  Arpita Biswas, Suvam Mukherjee
  at AIES 2021 [Paper], [PrePrint]


• Learning-based Controlled Concurrency Testing
  Suvam Mukherjee, Pantazis Deligiannis, Arpita Biswas, Akash Lal
  at OOPSLA 2020, [OOPSLA 2020 Artifact Evaluated], [Artifact DOI], [Microsoft Research blog], [PrePrint], [Paper], [Talk Video].
  Winner Distinguished Artifact Award, OOPSLA 2020 [OOPSLA 2020 Awards]
  


• 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
  at ECOOP 2019, London, UK [Paper] [Video]


• Fairness Through the Lens of Proportional Equality (extended abstract)
  Arpita Biswas, Suvam Mukherjee
  at AAMAS 2019, Montreal, Canada. [Paper]
  


• RATCOP: Relational Analysis Tool for COncurrent Programs (tool paper)
  Suvam Mukherjee, Oded Padon, Sharon Shoham, Deepak D'Souza, Noam Rinetzky
  at 13^th Haifa Verification Conference (HVC), 2017, Haifa, Israel. [Paper]


• Thread-Local Semantics and its Efficient Sequential Abstractions for Race-Free Programs
  Suvam Mukherjee, Oded Padon, Sharon Shoham, Deepak D'Souza, Noam Rinetzky
  at 24^th Static Analysis Symposium (SAS), 2017, Courant Institute of Mathematical Sciences, New York University, New York, USA.
  (Suvam Mukherjee and Oded Padon were awarded the Radhia Cousot Young Researcher Best Paper Award 2017 for this paper.) [Paper] [Extended Tech Report]


• Detecting all High-Level Dataraces in an RTOS Kernel
  Suvam Mukherjee, Arun Kumar, Deepak D'Souza
  at Verification, Model Checking, and Abstract Interpretation (VMCAI), 2017, Paris, France. [Paper]


• Efficient Shape Analysis of Multithreaded Programs (short paper)
  Suvam Mukherjee
  at Young Researchers' Conference on Frontiers of Formal Methods (FFM), 2015, Aachen, Germany.


• Automatic Algorithm Specification to Source Code Translation
  Suvam Mukherjee, Tamal Chakraborty
  in Indian Journal of Computer Science and Engineering, Volume 2 Issue 2, 2011. [Paper]

• Prediction Markets: Implemented and deployed a prediction market, within the Indian Institute of Science, based on the Zocalo framework, to predict the winner of the Indian Premier League 2012 cricket tour- nament. The virtual market attracted over 100 users with over 2000 trades, and accurately predicted the League leader. This project was part of the Game Theory 2012 course at CSA, IISc, and was mentored by Dr. Dinesh Garg (IBM Research Labs, India), and Rohith D. Vallam (Ph.D. student, CSA, IISc). Tech Report.


• Null-Dereference Detector for Java ProgramsImplemented an intra-procedural data flow analysis for detecting null dereference bugs in Java programs with high precision, as part of the Program Analysis and Verification course, 2011. Tool Sources.

---

Template courtesy OS Templates