Suvam Mukherjee

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

Published by Microsoft

Publication

Learning-based Controlled Concurrency Testing

Suvam Mukherjee, Pantazis Deligiannis, Arpita Biswas, Akash Lal

OOPSLA | October 2020

Distinguished Artifact Award

Publication Video Project Project

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 Project Project

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

Published by Microsoft

Publication

Learning-based Controlled Concurrency Testing

Suvam Mukherjee, Pantazis Deligiannis, Arpita Biswas, Akash Lal

OOPSLA | October 2020

Distinguished Artifact Award

Publication Video Project Project

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 Project Project

Celestial: A Smart Contracts Verification Framework

Samvid Dharanikota, Suvam Mukherjee, Chandrika Bhardwaj, Aseem Rastogi, Akash Lal

MSR-TR-2020-43 | December 2020

Published by 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 Video Project Project

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 Project Project

Celestial: A Smart Contracts Verification Framework

Samvid Dharanikota, Suvam Mukherjee, Chandrika Bhardwaj, Aseem Rastogi, Akash Lal

MSR-TR-2020-43 | December 2020

Published by Microsoft

Publication