Verified Low-Level Programming Embedded in F* (bibtex)

by Jonathan Protzenko, Jean-Karim Zinzindohoué, Aseem Rastogi, Tahina Ramananandro, Peng Wang, Santiago Zanella-Béguelin, Antoine Delignat-Lavaud, Catalin Hritcu, Karthikeyan Bhargavan, Cédric Fournet and Nikhil Swamy

View PDF

Reference:

Verified Low-Level Programming Embedded in F* (Jonathan Protzenko, Jean-Karim Zinzindohoué, Aseem Rastogi, Tahina Ramananandro, Peng Wang, Santiago Zanella-Béguelin, Antoine Delignat-Lavaud, Catalin Hritcu, Karthikeyan Bhargavan, Cédric Fournet and Nikhil Swamy), In PACMPL, volume 1, 2017.

Bibtex Entry:

@article{lowstar,
  author = {Jonathan Protzenko and
            Jean-Karim Zinzindohou\'e and
            Aseem Rastogi and
            Tahina Ramananandro and
            Peng Wang and
            Santiago {Zanella-B\'eguelin} and
            Antoine Delignat-Lavaud and
            Catalin Hritcu and
            Karthikeyan Bhargavan and
            C\'edric Fournet and
            Nikhil Swamy},
  title = {Verified Low-Level Programming Embedded in {F*}},
  journal   = {{PACMPL}},
  volume    = {1},
  number    = {{ICFP}},
  pages     = {17:1--17:29},
  year      = {2017},
  month     = sep,
  ee        = {http://doi.acm.org/10.1145/3110261},
  doi       = {10.1145/3110261},
  url = {http://arxiv.org/abs/1703.00053},
}