Yann Régis-Gianas - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Publications with a 'Yann Régis-Gianas' as author, editor, or advisor:

Incremental \lambda -Calculus in Cache-Transfer Style - Static Memoization by Program TransformationPaolo G. Giarrusso, Yann Régis-Gianas, Philipp Schuster. ESOP 2019: 553-580 [doi]
Mtac2: typed tactics for backward reasoning in CoqJan-Oliver Kaiser, Beta Ziliani, Robbert Krebbers, Yann Régis-Gianas, Derek Dreyer. PACMPL, 2(ICFP), 2018. [doi]
Certified Complexity (CerCo)Roberto M. Amadio, Nicolas 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. FOPARA 2014: 1-18 [doi]
A Hoare Logic for Call-by-Value Functional ProgramsYann Régis-Gianas, François Pottier. mpc 2008: 305-335 [doi]
FreeSpec: specifying, verifying, and executing impure computations in CoqThomas Letan, Yann Régis-Gianas. CPP 2020: 32-46 [doi]
Verifiable semantic difference languagesThibaut Girka, David Mentré, Yann Régis-Gianas. ppdp 2017: 73-84 [doi]
Certified ComplexityR. Armadio, Andrea Asperti, Nicholas Ayache, B. Campbell, Dominic P. Mulligan, R. Pollack, Yann Régis-Gianas, Claudio Sacerdoti Coen, I. Stark. procedia, 7:175-177, 2011. [doi]
Copattern matching and first-class observations in OCaml, with a macroPaul Laforgue, Yann Régis-Gianas. ppdp 2017: 97-108 [doi]
Morbig: A Static parser for POSIX shellYann Régis-Gianas, Nicolas Jeannerod, Ralf Treinen. JCL (JVLC), 57:100944, 2020. [doi]
Lightweight Proof by Reflection Using a Posteriori Simulation of Effectful ComputationGuillaume Claret, Lourdes Del Carmen González-Huesca, Yann Régis-Gianas, Beta Ziliani. itp 2013: 67-83 [doi]
Introducing VA::UCANSON::Sylvain Lombardy, Yann Régis-Gianas, Jacques Sakarovitch. TCS, 328(1-2):77-96, 2004. [doi]
From types to logical assertions : automatic or assisted proofs of property about functional programs. (Des types aux assertions logiques : preuve automatique ou assistée de propriétés sur les programmes fonctionnels)Yann Régis-Gianas. PhD thesis, Paris Diderot University, France, 2007. [doi]
Towards Efficient, Typed LR ParsersFrançois Pottier, Yann Régis-Gianas. ENTCS, 148(2):155-180, 2006. [doi]
About some Metamorphoses of Computer Programs. (A propos de quelques métamorphoses des programmes informatiques)Yann Régis-Gianas. 2019. [doi]
Introducing VAUCANSONSylvain Lombardy, Raphaël Poss, Yann Régis-Gianas, Jacques Sakarovitch. wia 2003: 96-107 [doi]
A Mechanically Checked Generation of Correlating Programs Directed by Structured Syntactic DifferencesThibaut Girka, David Mentré, Yann Régis-Gianas. ATVA 2015: 64-79 [doi]
Modular verification of programs with effects and effects handlersThomas Letan, Yann Régis-Gianas, Pierre Chifflier, Guillaume Hiet. fac, 33(1):127-150, 2021. [doi]
Morbig: a static parser for POSIX shellYann Régis-Gianas, Nicolas Jeannerod, Ralf Treinen. SLE 2018: 29-41 [doi]
Certifying and Reasoning on Cost Annotations in C ProgramsNicholas Ayache, Roberto M. Amadio, Yann Régis-Gianas. fmics 2012: 32-46 [doi]
Modular Verification of Programs with Effects and Effect Handlers in CoqThomas Letan, Yann Régis-Gianas, Pierre Chifflier, Guillaume Hiet. FM 2018: 338-354 [doi]
Analysing installation scenarios of Debian packagesBenedikt Becker, Nicolas Jeannerod, Claude Marché, Yann Régis-Gianas, Mihaela Sighireanu, Ralf Treinen. TACAS 2020: 235-253 [doi]
The CoLiS platform for the analysis of maintainer scripts in Debian software packagesBenedikt F. H. Becker, Nicolas Jeannerod, Claude Marché, Yann Régis-Gianas, Mihaela Sighireanu, Ralf Treinen. STTT, 24(5):717-733, 2022. [doi]
Stratified type inference for generalized algebraic data typesFrançois Pottier, Yann Régis-Gianas. POPL 2006: 232-244 [doi]
Mechanical Verification of Interactive Programs Specified by Use CasesGuillaume Claret, Yann Régis-Gianas. ICSE 2015: 61-67 [doi]
Pervasive Parallelism in Highly-Trustable Interactive Theorem Proving SystemsBruno Barras, Lourdes Del Carmen González-Huesca, Hugo Herbelin, Yann Régis-Gianas, Enrico Tassi, Makarius Wenzel, Burkhart Wolff. mkm 2013: 359-363 [doi]
Certifying and Reasoning on Cost Annotations of Functional ProgramsRoberto M. Amadio, Yann Régis-Gianas. FOPARA 2012: 72-89 [doi]

runs on WebDSL