Suvam Mukherjee

Suvam Mukherjee

Microsoft Research - - / United States
Engineering & Technology / Computer Science
AD Scientific Index ID: 5464685
person_outline Suvam Mukherjee's MOST POPULAR ARTICLES
1-) Ensuring fairness under prior probability shiftsA Biswas, S MukherjeeProceedings of the 2021 AAAI/ACM Conference on AI, Ethics, and Society, 414-424, 2021392021
2-) Learning-based controlled concurrency testingS Mukherjee, P Deligiannis, A Biswas, A LalProceedings of the ACM on Programming Languages 4 (OOPSLA), 1-31, 2020172020
3-) Celestial: A smart contracts verification frameworkS Dharanikota, S Mukherjee, C Bhardwaj, A Rastogi, A Lal2021 Formal Methods in Computer Aided Design (FMCAD), 133-142, 2021142021
4-) Automatic algorithm specification to source code translationS Mukherjee, T ChakrabartiIndian Journal of Computer Science and Engineering (IJCSE) 2 (2), 146-159, 2011142011
5-) Detecting all high-level dataraces in an RTOS kernelS Mukherjee, A Kumar, D D’SouzaVerification, Model Checking, and Abstract Interpretation: 18th …, 201782017