“The missing link: explaining ELF linking semantically”, joint work with Stephen Kell and Peter Sewell. To appear at SPLASH 2016 OOPSLA.