Carmine Abate, Roberto Blanco, Stefan Ciobaca, Adrien Durier, Deepak Garg 0001, Catalin Hrittcu, Marco Patrignani, Éric Tanter, Jérémy Thibault. An Extended Account of Trace-relating Compiler Correctness and Secure Compilation. ACM Transactions on Programming Languages and Systems, 43(4), 2021. [doi]
Abstract is missing.