Mehdi Bagherzadeh, Hridesh Rajan. Panini: a concurrent programming model for solving pervasive and oblivious interference. In Robert B. France, Sudipto Ghosh, Gary T. Leavens, editors, Proceedings of the 14th International Conference on Modularity, MODULARITY 2015, Fort Collins, CO, USA, March 16 - 19, 2015. pages 93-108, ACM, 2015. [doi]
Abstract is missing.