- 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.
- 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]