Thomas Braibant
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
4
Active years
2009–2014
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | ITP | Compositional Computational Reflection. | Gregory Malecha, Adam Chlipala, Thomas Braibant |
| 2013 | CAV | Formal Verification of Hardware Synthesis. | Thomas Braibant, Adam Chlipala |
| 2013 | ITP | Implementing Hash-Consed Structures in Coq. | Thomas Braibant, Jacques-Henri Jourdan, David Monniaux |
| 2011 | CPP | Coquet: A Coq Library for Verifying Hardware. | Thomas Braibant |
| 2011 | CPP | Tactics for Reasoning Modulo AC in Coq. | Thomas Braibant, Damien Pous |
| 2010 | ITP | An Efficient Coq Tactic for Deciding Kleene Algebras. | Thomas Braibant, Damien Pous |
| 2009 | POPL | The semantics of x86-CC multiprocessor machine code. | Susmit Sarkar, Peter Sewell, Francesco Zappa Nardelli, Scott Owens, Tom Ridge, Thomas Braibant, Magnus O. Myreen, Jade Alglave |