Majumdar, Rupak Group R. Majumdar, Max Planck Institute for Software Systems, Max Planck Society;
Bodik, R., & Majumdar, R. (Eds.). (2016). POPL'16. New York, NY: ACM.