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