inttalks_en.bib

@misc{xuanrui2019coq,
  author = {Reynald Affeldt and Jacques Garrigue and Xuanrui Qi and Kazunari Tanaka},
  title = {Experience Report: Type-Driven Development of Certified Tree Algorithms in {Coq}},
  howpublished = {The Coq Workshop 2019, Portland, OR, USA, September 8, 2019},
  month = {Sep},
  year = {2019},
  abstract = {\href{https://github.com/affeldt-aist/succinct}{project page} \href{https://staff.aist.go.jp/reynald.affeldt/coq2019/coqws2019-affeldt-garrigue-qi-tanaka.pdf}{open access}}
}
@misc{cohen2018coq,
  author = {Reynald Affeldt and Cyril Cohen and Assia Mahboubi and Damien Rouhling and Pierre-Yves Strub},
  title = {Classical Analysis with {Coq}},
  howpublished = {The Coq Workshop 2018, Oxford, UK, July 8, 2018},
  month = {Jul},
  year = {2018},
  abstract = {\href{https://github.com/math-comp/analysis}{project page} \href{http://staff.aist.go.jp/reynald.affeldt/documents/coqws-reals.pdf}{pdf preprint}}
}
@misc{affeldt2014coq,
  author = {Reynald Affeldt and Jacques Garrigue},
  title = {Formalization of Error-correcting Codes using {SSReflect}},
  howpublished = {The 6th Coq Workshop, Vienna, Austria, July 7, 2014},
  month = {Jul},
  year = {2014},
  abstract = {\href{https://staff.aist.go.jp/reynald.affeldt/ecc/}{project page}}
}
@misc{affeldt2013coq,
  author = {Reynald Affeldt and Kazuhiko Sakaguchi},
  title = {First Building Blocks for Implementations of Security Protocols Verified in {Coq}},
  howpublished = {The 5th Coq Workshop, Rennes, France, July 22, 2013},
  month = {Jul},
  year = {2013},
  abstract = {\href{https://staff.aist.go.jp/reynald.affeldt/seplog/}{project page}}
}
@misc{marti2006space,
  author = {Nicolas Marti and Reynald Affeldt and Akinori Yonezawa},
  title = {Verification of the Heap Manager of an Operating System using Separation Logic},
  howpublished = {The 3rd Workshop on Semantics, Program Analysis, and Computing Environments for Memory Management (SPACE 2006), Charleston SC, USA, January 14, 2006},
  month = {Jan},
  year = {2006},
  abstract = {\href{http://staff.aist.go.jp/reynald.affeldt/documents/space06.pdf}{pdf preprint} Informal proceedings. Pages 61--72 \href{http://staff.aist.go.jp/reynald.affeldt/documents/nicolas-space06.pdf}{slides} \href{https://staff.aist.go.jp/reynald.affeldt/seplog/}{project page}}
}

This file was generated by bibtex2html 1.99.