+++
title = "Teams working on CompCert"
author = "Yann Herklotz"
tags = []
categories = []
backlinks = ["3a8"]
forwardlinks = ["3a8", "3a10"]
zettelid = "3a9"
+++

[Verimag]
:   Works on CompCert-KVX, Hash consing in CompCert, Impure computations
    in Coq.

[Celtique]
:   Works on constant time CompCert and CompCertSSA ([\#3a8]).

[Xavier Leroy]
:   Works on original CompCert.

  [Verimag]: https://www-verimag.imag.fr/FormalProofs-members.html
  [Celtique]: https://team.inria.fr/celtique/
  [\#3a8]: /zettel/3a8
  [Xavier Leroy]: https://xavierleroy.com/