Majumdar, Rupak Group R. Majumdar, Max Planck Institute for Software Systems, Max Planck Society;
Hoenicke, J., Majumdar, R., & Podelski, A. (2017). Thread Modularity at Many Levels: A Pearl in Compositional Verification. In G. Castagna, & A. D. Gordon (Eds.), POPL'17 (pp. 473-485). New York, NY: ACM. doi:10.1145/3009837.3009893.