• Sign in
  • Sign up
conf.researchr.org / Suvam Mukherjee
  • ECOOP 2019 profile
  • POPL 2017 profile
  • SPLASH 2020 profile
  • SPLASH 2021 profile
Suvam Mukherjee

Registered user since Sat 17 Dec 2016

Name:Suvam Mukherjee
Affiliation:Microsoft Research
Personal website: https://suvamm.github.io/
Research interests:Programming Languages, Static Analysis, Model Checking

Contributions

2021

Static Analysis Symposium

  • Artifact Evaluation Chair in Artifact Evaluation Committee within the SAS-track
  • Session Chair of Session 4C (part of SAS)
  • Session Chair of Session 3A (part of SAS)
  • Session Chair of Session 2B (part of SAS)
  • Artifact Evaluation Chair in Organizing Committee within the SAS-track

2020

SPLASH

  • Author of Learning-Based Controlled Concurrency Testing within the OOPSLA-track
  • Author of Learning-based Controlled Concurrency Testing within the OOPSLA Artifacts-track

Static Analysis Symposium

  • Committee Member in Artifact Evaluation Committee within the SAS-track

2019

ECOOP

  • Author of Reliable State Machines: A Framework for Programming Reliable Cloud Services within the Research Papers-track

2017

VMCAI

  • Author of Detecting All High-Level Dataraces in an RTOS Kernel. within the VMCAI-track
Share
xThu 12 Jun 11:31
using conf.researchr.org (v1.69.0)
Support page
Sign Up