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
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},
}