SPLASH 2020
Sun 15 - Sat 21 November 2020 Online Conference
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

SPLASH 2020 Learning-Based Controlled Concurrency Testing
Learning-based Controlled Concurrency Testing
SAS 2020 Committee Member in Artifact Evaluation Committee within the SAS-track
Show activities from other conferences

SPLASH 2020-profile
View general profile