@INPROCEEDINGS {
	AUTHOR = "Carmine Abate and Roberto Blanco and Stefan Ciobaca and Deepak Garg and Catalin Hritcu and Marco Patrignani and {\'E}ric Tanter and Jeremy Thibault",
	TITLE = "Trace-Relating Compiler Correctness and Secure Compilation",
	EDITOR = "Peter M{\"u}ller",
	BOOKTITLE = "29th European Symposium on Programming (ESOP)",
	PAGES = "1-28",
	MONTH = "Apr",
	YEAR = "2020",
	ADDRESS = "Dublin, Ireland",
	PUBLISHER = "Springer Nature Switzerland AG",
	}