New paper

“The missing link: explaining ELF linking semantically”, joint work with Stephen Kell and Peter Sewell.

To appear at SPLASH 2016 OOPSLA.