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)