@InProceedings{   kastner:hal-01399482,
  Author        = {K{\"a}stner, Daniel and Leroy, Xavier and Blazy, Sandrine and Schommer, Bernhard and Schmidt, Michael and Ferdinand, Christian},
  Address       = "Bristol, United Kingdom",
  BookTitle     = "{SSS'17: Safety-critical Systems Symposium 2017}",
  date-added    = "2018-06-04 13:15:42 +0000",
  date-modified = "2018-06-04 13:15:42 +0000",
  hal_id        = "hal-01399482",
  hal_version   = "v1",
  Month         = "February",
  Pages         = "163-180",
  PDF           = "https://hal.inria.fr/hal-01399482/file/SSS2017\_kaestner\_et\_al.pdf",
  Publisher     = "{CreateSpace}",
  Series        = "Developments in System Safety Engineering: Proceedings of the Twenty-fifth Safety-critical Systems Symposium",
  Title         = "{Closing the Gap -- The Formally Verified Optimizing Compiler CompCert}",
  URL           = "https://hal.inria.fr/hal-01399482",
  Year          = "2017",
  bdsk-url-1    = "https://hal.inria.fr/hal-01399482",
  File          = "SSS2017\_kaestner\_et\_al (0) - a - a - b.pdf"
}

@InProceedings{ kastner:hal-01399482, Author = {K{\"a}stner, Daniel and Leroy, Xavier and Blazy, Sandrine and Schommer, Bernhard and Schmidt, Michael and Ferdinand, Christian}, Address = "Bristol, United Kingdom", BookTitle = "{SSS'17: Safety-critical Systems Symposium 2017}", date-added = "2018-06-04 13:15:42 +0000", date-modified = "2018-06-04 13:15:42 +0000", hal_id = "hal-01399482", hal_version = "v1", Month = "February", Pages = "163-180", PDF = "https://hal.inria.fr/hal-01399482/file/SSS2017_kaestner_et_al.pdf", Publisher = "{CreateSpace}", Series = "Developments in System Safety Engineering: Proceedings of the Twenty-fifth Safety-critical Systems Symposium", Title = "{Closing the Gap -- The Formally Verified Optimizing Compiler CompCert}", URL = "https://hal.inria.fr/hal-01399482", Year = "2017", bdsk-url-1 = "https://hal.inria.fr/hal-01399482", File = "SSS2017_kaestner_et_al (0) - a - a - b.pdf" }