Patrignani, Marco Group D. Garg, Max Planck Institute for Software Systems, Max Planck Society;
Patrignani, M., Devriese, D., & Piessens, F. (2016). On Modular and Fully-Abstract Compilation. In CSF 2016 (pp. 17-30). Piscataway, NJ: IEEE. doi:10.1109/CSF.2016.9.