conf.researchr.org / Suvam Mukherjee
Suvam Mukherjee

Registered user since Sat 17 Dec 2016

Name: Suvam Mukherjee

Country: India

Affiliation: Microsoft Research India

Personal website: https://suvamm.github.io/

Research interests: Programming Languages, Static Analysis, Model Checking

Contributions

SAS 2020Committee Member in Artifact Evaluation Committee within the SAS 2020 - 27th Static Analysis Symposium-track
ECOOP 2019Author of Reliable State Machines: A Framework for Programming Reliable Cloud Services within the Research Papers-track
VMCAI 2017Author of Detecting All High-Level Dataraces in an RTOS Kernel. within the VMCAI-track