@article{kell+:sigplan16,
  address = {New York, NY, USA},
  author = {Kell, Stephen and Mulligan, Dominic P. and Sewell, Peter},
  date-added = {2020-11-15 23:36:57 -0800},
  date-modified = {2020-11-15 23:36:57 -0800},
  issn = {0362-1340},
  issue_date = {December 2016},
  journal = {SIGPLAN Not.},
  keywords = {theorem-proving, Linking, Executable and Linkable Format (ELF), formal specification},
  month = oct,
  number = {10},
  numpages = {17},
  pages = {607--623},
  publisher = {Association for Computing Machinery},
  title = {The Missing Link: Explaining ELF Static Linking, Semantically},
  volume = {51},
  year = {2016},
  bdsk-file-1 = {YnBsaXN0MDDSAQIDBFxyZWxhdGl2ZVBhdGhZYWxpYXNEYXRhXxAbcGFwZXJzL2tlbGwrc2lncGxhbjE2LWEucGRmTxEBdgAAAAABdgACAAAMTWFjaW50b3NoIEhEAAAAAAAAAAAAAAAAAAAAAAAAAEJEAAH/////FGtlbGwrc2lncGxhbjE2LWEucGRmAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAP////8AAAAAAAAAAAAAAAAAAQADAAAKIGN1AAAAAAAAAAAAAAAAAAZwYXBlcnMAAgA6LzpVc2VyczpnYW1ibGluMjpzcmM6YnVpbGQtYmliOnBhcGVyczprZWxsK3NpZ3BsYW4xNi1hLnBkZgAOACoAFABrAGUAbABsACsAcwBpAGcAcABsAGEAbgAxADYALQBhAC4AcABkAGYADwAaAAwATQBhAGMAaQBuAHQAbwBzAGgAIABIAEQAEgA4VXNlcnMvZ2FtYmxpbjIvc3JjL2J1aWxkLWJpYi9wYXBlcnMva2VsbCtzaWdwbGFuMTYtYS5wZGYAEwABLwAAFQACAA///wAAAAgADQAaACQAQgAAAAAAAAIBAAAAAAAAAAUAAAAAAAAAAAAAAAAAAAG8},
  bdsk-url-1 = {https://doi.org/10.1145/3022671.2983996}
}