Garg, Deepak Group D. Garg, Max Planck Institute for Software Systems, Max Planck Society;
Abate, C., Blanco, R., Ciobâcă, Ş., Durier, A., Garg, D., Hriţcu, C., et al. (2020). Trace-Relating Compiler Correctness and Secure Compilation. In P. Müller (Ed.), Programming Languages and Systems (pp. 1-28). Berlin: Springer. doi:10.1007/978-3-030-44914-8_1.