Yann Régis-Gianas

ORCID

Publication Activity (10 Years)

Years Active: 2003-2022
Publications (10 Years): 11

Top Venues

Paris Diderot University, France (PHD)

Education History

Paris Diderot University, France

PHD

Publications

Benedikt F. H. Becker, Nicolas Jeannerod, Claude Marché, Yann Régis-Gianas, Mihaela Sighireanu, Ralf Treinen
The CoLiS platform for the analysis of maintainer scripts in Debian software packages. Int. J. Softw. Tools Technol. Transf. 24 (5) (2022)
Thomas Letan, Yann Régis-Gianas, Pierre Chifflier, Guillaume Hiet
Modular verification of programs with effects and effects handlers. Formal Aspects Comput. 33 (1) (2021)
Thomas Letan, Yann Régis-Gianas
FreeSpec: specifying, verifying, and executing impure computations in Coq. CPP (2020)
Yann Régis-Gianas, Nicolas Jeannerod, Ralf Treinen
Morbig: A Static parser for POSIX shell. J. Comput. Lang. 57 (2020)
Benedikt F. H. Becker, Nicolas Jeannerod, Claude Marché, Yann Régis-Gianas, Mihaela Sighireanu, Ralf Treinen
Analysing installation scenarios of Debian packages. TACAS (2) (2020)
Paolo G. Giarrusso, Yann Régis-Gianas, Philipp Schuster
Incremental \lambda -Calculus in Cache-Transfer Style - Static Memoization by Program Transformation. ESOP (2019)
Yann Régis-Gianas, Nicolas Jeannerod, Ralf Treinen
Morbig: a static parser for POSIX shell. SLE (2018)
Thomas Letan, Yann Régis-Gianas, Pierre Chifflier, Guillaume Hiet
Modular Verification of Programs with Effects and Effect Handlers in Coq. FM (2018)
Jan-Oliver Kaiser, Beta Ziliani, Robbert Krebbers, Yann Régis-Gianas, Derek Dreyer
Mtac2: typed tactics for backward reasoning in Coq. Proc. ACM Program. Lang. 2 (ICFP) (2018)
Paul Laforgue, Yann Régis-Gianas
Copattern matching and first-class observations in OCaml, with a macro. PPDP (2017)
Thibaut Girka, David Mentré, Yann Régis-Gianas
Verifiable semantic difference languages. PPDP (2017)
Guillaume Claret, Yann Régis-Gianas
Mechanical Verification of Interactive Programs Specified by Use Cases. FormaliSE@ICSE (2015)
Thibaut Girka, David Mentré, Yann Régis-Gianas
A Mechanically Checked Generation of Correlating Programs Directed by Structured Syntactic Differences. ATVA (2015)
Bruno Barras, Lourdes Del Carmen González-Huesca, Hugo Herbelin, Yann Régis-Gianas, Enrico Tassi, Makarius Wenzel, Burkhart Wolff
Pervasive Parallelism in Highly-Trustable Interactive Theorem Proving Systems. MKM/Calculemus/DML (2013)
Bruno Barras, Lourdes Del Carmen González-Huesca, Hugo Herbelin, Yann Régis-Gianas, Enrico Tassi, Makarius Wenzel, Burkhart Wolff
Pervasive Parallelism in Highly-Trustable Interactive Theorem Proving Systems. CoRR (2013)
Guillaume Claret, Lourdes Del Carmen González-Huesca, Yann Régis-Gianas, Beta Ziliani
Lightweight Proof by Reflection Using a Posteriori Simulation of Effectful Computation. ITP (2013)
Roberto M. Amadio, Nicholas Ayache, François Bobot, Jaap Boender, Brian Campbell, Ilias Garnier, Antoine Madet, James McKinna, Dominic P. Mulligan, Mauro Piccolo, Randy Pollack, Yann Régis-Gianas, Claudio Sacerdoti Coen, Ian Stark, Paolo Tranquilli
Certified Complexity (CerCo). FOPARA (2013)
Nicholas Ayache, Roberto M. Amadio, Yann Régis-Gianas
Certifying and Reasoning on Cost Annotations in C Programs. FMICS (2012)
Roberto M. Amadio, Yann Régis-Gianas
Certifying and Reasoning on Cost Annotations of Functional Programs. FOPARA (2011)
Roberto M. Amadio, Yann Régis-Gianas
Certifying and reasoning on cost annotations of functional programs CoRR (2011)
R. Armadio, Andrea Asperti, Nicholas Ayache, Brian Campbell, Dominic P. Mulligan, Randy Pollack, Yann Régis-Gianas, Claudio Sacerdoti Coen, Ian Stark
Certified Complexity. FET (2011)
Roberto M. Amadio, Nicholas Ayache, Yann Régis-Gianas, Ronan Saillard
Certifying cost annotations in compilers CoRR (2010)
Yann Régis-Gianas, François Pottier
A Hoare Logic for Call-by-Value Functional Programs. MPC (2008)
François Pottier, Yann Régis-Gianas
Towards Efficient, Typed LR Parsers. Electron. Notes Theor. Comput. Sci. 148 (2) (2006)
François Pottier, Yann Régis-Gianas
Stratified type inference for generalized algebraic data types. POPL (2006)
Sylvain Lombardy, Yann Régis-Gianas, Jacques Sakarovitch
. Theor. Comput. Sci. 328 (1-2) (2004)
Sylvain Lombardy, Raphael Poss, Yann Régis-Gianas, Jacques Sakarovitch
Introducing VAUCANSON. CIAA (2003)

Yann Régis-Gianas.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Yann Régis-Gianas