@ARTICLE {
	AUTHOR = "Carmine Abate and Roberto Blanco and Stefan Ciobaca and Adrien Durier and Deepak Garg and Catalin Hritcu and Marco Patrignani and {\'E}ric Tanter and Jeremy Thibault",
	TITLE ="An Extended Account of Trace-Relating Compiler Correctness and Secure Compilation",
	JOURNAL = "ACM Transactions on Programming Languages and Systems (TOPLAS)",
	VOLUME = "43",
	NUMBER = "4",
	PAGES = "14:1--14:48",
	MONTH = "Dec",
	YEAR = "2021",
	PUBLISHER = "ACM Press",
	ADDRESS = "New York, NY, USA",
	ISSN = "0164-0925"
	}