Suvam Mukherjee

Software Engineer

Connect on 링크드인

출판물

자료 보기:

- 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