Vincent Siles

According to our database, Vincent Siles authored at least 11 papers between 2010 and 2016.

Collaborative distances:

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

2016

Formalized linear algebra over Elementary Divisor Rings in Coq.

Guillaume Cano, Cyril Cohen, Maxime Dénès, Anders Mörtberg, Vincent Siles

Log. Methods Comput. Sci., 2016

Modeling and Abstraction of Memory Management in a Hypervisor.

Pauline Bolignano, Thomas Jensen, Vincent Siles

Proceedings of the Fundamental Approaches to Software Engineering, 2016

2013

Computing persistent homology within Coq/SSReflect.

Jónathan Heras, Thierry Coquand, Anders Mörtberg, Vincent Siles

ACM Trans. Comput. Log., 2013

2012

A formal proof of Sasaki-Murao algorithm.

Thierry Coquand, Anders Mörtberg, Vincent Siles

J. Formaliz. Reason., 2012

Pure Type System conversion is always typable.

Vincent Siles, Hugo Herbelin

J. Funct. Program., 2012

A Refinement-Based Approach to Computational Algebra in Coq.

Maxime Dénès, Anders Mörtberg, Vincent Siles

Proceedings of the Interactive Theorem Proving - Third International Conference, 2012

Towards a Certified Computation of Homology Groups for Digital Images.

Jónathan Heras, Maxime Dénès, Gadea Mata, Anders Mörtberg, María Poza, Vincent Siles

Proceedings of the Computational Topology in Image Context - 4th International Workshop, 2012

Coherent and Strongly Discrete Rings in Type Theory.

Thierry Coquand, Anders Mörtberg, Vincent Siles

Proceedings of the Certified Programs and Proofs - Second International Conference, 2012

2011

A Decision Procedure for Regular Expression Equivalence in Type Theory.

Thierry Coquand, Vincent Siles

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

2010

Investigation on the typing of equality in type systems. (Etude sur le typage de l'égalité dans les systèmes de types).

Vincent Siles

PhD thesis, 2010

Equality Is Typable in Semi-full Pure Type Systems.

Vincent Siles, Hugo Herbelin

Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science, 2010