Suvam Mukherjee

Software Engineer

Connect on LinkedIn

论文与出版物

查看方式：

- Celestial: A Smart Contracts Verification Framework
  
  Samvid Dharanikota, Suvam Mukherjee, Chandrika Bhardwaj, Aseem Rastogi, Akash Lal
  
  FMCAD | October 2021
  
  Publication
- Celestial: A Smart Contracts Verification Framework
  
  Samvid Dharanikota, Suvam Mukherjee, Chandrika Bhardwaj, Aseem Rastogi, Akash Lal
  
  MSR-TR-2020-43 | December 2020
  
  作者：Microsoft
  
  Publication
- Learning-based Controlled Concurrency Testing
  
  Suvam Mukherjee, Pantazis Deligiannis, Arpita Biswas, Akash Lal
  
  OOPSLA | October 2020
  
  Distinguished Artifact Award
  
  Publication 视频项目项目
- Reliable State Machines: A Framework for Programming Reliable Cloud Services
  
  Suvam Mukherjee, Nitin John Raj, Krishnan Govindraj , Pantazis Deligiannis, Chandramouleswaran Ravichandran, Akash Lal, Aseem Rastogi, Raja Krishnaswamy
  
  ECOOP 2019 | July 2019
  
  Publication 项目项目

- Celestial: A Smart Contracts Verification Framework
  
  Samvid Dharanikota, Suvam Mukherjee, Chandrika Bhardwaj, Aseem Rastogi, Akash Lal
  
  FMCAD | October 2021
  
  Publication
- Celestial: A Smart Contracts Verification Framework
  
  Samvid Dharanikota, Suvam Mukherjee, Chandrika Bhardwaj, Aseem Rastogi, Akash Lal
  
  MSR-TR-2020-43 | December 2020
  
  作者：Microsoft
  
  Publication
- Learning-based Controlled Concurrency Testing
  
  Suvam Mukherjee, Pantazis Deligiannis, Arpita Biswas, Akash Lal
  
  OOPSLA | October 2020
  
  Distinguished Artifact Award
  
  Publication 视频项目项目
- Reliable State Machines: A Framework for Programming Reliable Cloud Services
  
  Suvam Mukherjee, Nitin John Raj, Krishnan Govindraj , Pantazis Deligiannis, Chandramouleswaran Ravichandran, Akash Lal, Aseem Rastogi, Raja Krishnaswamy
  
  ECOOP 2019 | July 2019
  
  Publication 项目项目
- Celestial: A Smart Contracts Verification Framework
  
  Samvid Dharanikota, Suvam Mukherjee, Chandrika Bhardwaj, Aseem Rastogi, Akash Lal
  
  MSR-TR-2020-43 | December 2020
  
  作者：Microsoft
  
  Publication

- Celestial: A Smart Contracts Verification Framework
  
  Samvid Dharanikota, Suvam Mukherjee, Chandrika Bhardwaj, Aseem Rastogi, Akash Lal
  
  FMCAD | October 2021
  
  Publication
- Learning-based Controlled Concurrency Testing
  
  Suvam Mukherjee, Pantazis Deligiannis, Arpita Biswas, Akash Lal
  
  OOPSLA | October 2020
  
  Distinguished Artifact Award
  
  Publication 视频项目项目
- Reliable State Machines: A Framework for Programming Reliable Cloud Services
  
  Suvam Mukherjee, Nitin John Raj, Krishnan Govindraj , Pantazis Deligiannis, Chandramouleswaran Ravichandran, Akash Lal, Aseem Rastogi, Raja Krishnaswamy
  
  ECOOP 2019 | July 2019
  
  Publication 项目项目
- Celestial: A Smart Contracts Verification Framework
  
  Samvid Dharanikota, Suvam Mukherjee, Chandrika Bhardwaj, Aseem Rastogi, Akash Lal
  
  MSR-TR-2020-43 | December 2020
  
  作者：Microsoft
  
  Publication