Publications 2018

  1. Liu, Si, Peter Csaba Olveczky, Keshav Santhanam, Qi Wang, Indranil Gupta, Jose Meseguer. "ROLA: A New Distributed Transaction Protocol and Its Formal Analysis," Proc. 21st International Conference on Fundamental Approaches to Software Engineering (FASE), 2018.
  2. Rahman, Muntasir Raihan, Indranil Gupta, Akash Kapoor, Haozhen Ding. "OPTiC: Opportunistic Graph Processing in Multi-Tenant Clusters," Proc. IEEE International Conference on Cloud Engineering (IC2E), 2018. [pdf]