@misc{indiciae46d3d842be44,
  title = {COGENT: Certified Compilation for a Functional Systems Language},
  author = {Liam O'Connor and Christine Rizkallah and Zilin Chen and Sidney Amani and Japheth Lim and Yutaka Nagashima and Thomas Sewell and Alex Hixon and Gabriele Keller and Toby Murray and Gerwin Klein},
  year = {2016},
  url = {https://arxiv.org/abs/1601.05520},
  note = {Source identifier: 1601.05520}
}