Ensuring fairness under prior probability shifts A Biswas, S Mukherjee Proceedings of the 2021 AAAI/ACM Conference on AI, Ethics, and Society, 414-424, 2021 | 36 | 2021 |
Learning-based controlled concurrency testing S Mukherjee, P Deligiannis, A Biswas, A Lal Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-31, 2020 | 16 | 2020 |
Celestial: A smart contracts verification framework S Dharanikota, S Mukherjee, C Bhardwaj, A Rastogi, A Lal 2021 Formal Methods in Computer Aided Design (FMCAD), 133-142, 2021 | 13 | 2021 |
Automatic algorithm specification to source code translation S Mukherjee, T Chakrabarti Indian Journal of Computer Science and Engineering (IJCSE) 2 (2), 146-159, 2011 | 13 | 2011 |
Thread-local semantics and its efficient sequential abstractions for race-free programs S Mukherjee, O Padon, S Shoham, D D’Souza, N Rinetzky Static Analysis: 24th International Symposium, SAS 2017, New York, NY, USA …, 2017 | 7 | 2017 |
Detecting all high-level dataraces in an RTOS kernel S Mukherjee, A Kumar, D D’Souza Verification, Model Checking, and Abstract Interpretation: 18th …, 2017 | 7 | 2017 |
Fairness through the lens of proportional equality A Biswas, S Mukherjee Proceedings of the 18th International Conference on Autonomous Agents and …, 2019 | 6 | 2019 |
Reliable State Machines: A Framework for Programming Reliable Cloud Services S Mukherjee, NJ Raj, K Govindraj, P Deligiannis, C Ravichandran, A Lal, ... arXiv preprint arXiv:1902.09502, 2019 | 1 | 2019 |
RATCOP: Relational Analysis Tool for Concurrent Programs S Mukherjee, O Padon, S Shoham, D D’Souza, N Rinetzky Hardware and Software: Verification and Testing: 13th International Haifa …, 2017 | 1 | 2017 |
Static Analysis: 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17–19, 2021, Proceedings C Drăgoi, S Mukherjee, K Namjoshi Springer Nature, 2021 | | 2021 |
Men and COVID-19: Where’s the policy? B Baker, C Alemann, SR Burrell, DM Griffith, S Heidari, J Kelland, A Lal, ... | | 2021 |
Static Analysis: 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17-19, 2021, Proceedings. Programming and Software Engineering C Dragoi, S Mukherjee, K Namjoshi Springer, 2021 | | 2021 |
A Thread-Local Semantics and Efficient Static Analyses for Race Free Programs S Mukherjee, O Padon, S Shoham, D D'Souza, N Rinetzky arXiv preprint arXiv:2009.02775, 2020 | | 2020 |
Learning-based Controlled Concurrency Testing (artifact) S Mukherjee, P Deligiannis, A Biswas, A Lal Zenodo, 2020 | | 2020 |
Efficient Static Analyses for Concurrent Programs S Mukherjee | | 2018 |
Static Analysis LNCS 12913 C Drăgoi, S Mukherjee, K Namjoshi | | |
Prediction Markets: Connections with Proper Scoring Rules A Laha, P Dey, S Bandyopadhyay, S Mukherjee, RD Vallam, D Garg, ... | | |
Thread-Local Semantics for Datarace-free Programs and its Sequential Abstractions S Mukherjee, O Padon, S Shoham, D D’Souza, N Rinetzky, M Sagiv | | |
Efficient Shape Analysis of Multithreaded Programs S Mukherjee Frontiers of Formal Methods, 183-186, 0 | | |