Thomas Braibant

According to our database, Thomas Braibant authored at least 11 papers between 2009 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

Implementing and Reasoning About Hash-consed Data Structures in Coq.

Thomas Braibant, Jacques-Henri Jourdan, David Monniaux

J. Autom. Reason., 2014

Compositional Computational Reflection.

Gregory Malecha, Adam Chlipala, Thomas Braibant

Proceedings of the Interactive Theorem Proving - 5th International Conference, 2014

2013

MirrorShard: Proof by Computational Reflection with Verified Hints

Gregory Malecha, Adam Chlipala, Thomas Braibant, Patrick Hulin, Edward Z. Yang

CoRR, 2013

Implementing Hash-Consed Structures in Coq.

Thomas Braibant, Jacques-Henri Jourdan, David Monniaux

Proceedings of the Interactive Theorem Proving - 4th International Conference, 2013

Formal Verification of Hardware Synthesis.

Thomas Braibant, Adam Chlipala

Proceedings of the Computer Aided Verification - 25th International Conference, 2013

2012

Algèbres de Kleene, réécriture modulo AC et circuits en coq. (Kleene algebra, Rewriting modulo AC and Circuits in Coq).

Thomas Braibant

PhD thesis, 2012

Deciding Kleene Algebras in Coq

Thomas Braibant, Damien Pous

Log. Methods Comput. Sci., 2012

2011

Tactics for Reasoning Modulo AC in Coq.

Thomas Braibant, Damien Pous

Proceedings of the Certified Programs and Proofs - First International Conference, 2011

Coquet: A Coq Library for Verifying Hardware.

Thomas Braibant

Proceedings of the Certified Programs and Proofs - First International Conference, 2011

2010

An Efficient Coq Tactic for Deciding Kleene Algebras.

Thomas Braibant, Damien Pous

Proceedings of the Interactive Theorem Proving, First International Conference, 2010

2009

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

Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2009