Vincent Siles

12 papers A* 1B 4Journal 5Unranked 1
YearRankTypeTitle / Venue / Authors
2016 J jnl
Formalized linear algebra over Elementary Divisor Rings in Coq.
Log. Methods Comput. Sci.
Guillaume Cano, Cyril Cohen, Maxime Dénès, Anders Mörtberg, Vincent Siles
2016 B conf
Modeling and Abstraction of Memory Management in a Hypervisor.
FASE
Pauline Bolignano, Thomas Jensen, Vincent Siles
2013 J jnl
Computing persistent homology within Coq/SSReflect.
ACM Trans. Comput. Log.
Jónathan Heras, Thierry Coquand, Anders Mörtberg, Vincent Siles
2012 B conf
A Refinement-Based Approach to Computational Algebra in Coq.
ITP
Maxime Dénès, Anders Mörtberg, Vincent Siles
2012 J jnl
A formal proof of Sasaki-Murao algorithm.
J. Formaliz. Reason.
Thierry Coquand, Anders Mörtberg, Vincent Siles
2012 B conf
Coherent and Strongly Discrete Rings in Type Theory.
CPP
Thierry Coquand, Anders Mörtberg, Vincent Siles
2012 J jnl
Computing Persistent Homology within Coq/SSReflect
CoRR
Jónathan Heras, Thierry Coquand, Anders Mörtberg, Vincent Siles
2012 J jnl
Pure Type System conversion is always typable.
J. Funct. Program.
Vincent Siles, Hugo Herbelin
2012 — conf
Towards a Certified Computation of Homology Groups for Digital Images.
CTIC
Jónathan Heras, Maxime Dénès, Gadea Mata, Anders Mörtberg, María Poza, Vincent Siles
2011 B conf
A Decision Procedure for Regular Expression Equivalence in Type Theory.
CPP
Thierry Coquand, Vincent Siles
2010 A* conf
Equality Is Typable in Semi-full Pure Type Systems.
LICS
Vincent Siles, Hugo Herbelin
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