@Misc{compcert-github,
  author       = "Xavier Leroy",
  title        = "The {CompCert C} verified compiler",
  year         = "2014",
  howpublished = "\url{https://github.com/AbsInt/CompCert}",
}