Yann Régis-Gianas - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 26 from 26

2022

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]

2021

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]

2020

2019

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]

About some Metamorphoses of Computer Programs. (A propos de quelques métamorphoses des programmes informatiques)Yann Régis-Gianas. 2019. [doi]

2018

2017

Verifiable semantic difference languagesThibaut Girka, David Mentré, Yann Régis-Gianas. ppdp 2017: 73-84 [doi]

Copattern matching and first-class observations in OCaml, with a macroPaul Laforgue, Yann Régis-Gianas. ppdp 2017: 97-108 [doi]

2015

Mechanical Verification of Interactive Programs Specified by Use CasesGuillaume Claret, Yann Régis-Gianas. ICSE 2015: 61-67 [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]

2013

2012

Certifying and Reasoning on Cost Annotations in C ProgramsNicholas Ayache, Roberto M. Amadio, Yann Régis-Gianas. fmics 2012: 32-46 [doi]

2011

Certifying and Reasoning on Cost Annotations of Functional ProgramsRoberto M. Amadio, Yann Régis-Gianas. FOPARA 2012: 72-89 [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]

2008

A Hoare Logic for Call-by-Value Functional ProgramsYann Régis-Gianas, François Pottier. mpc 2008: 305-335 [doi]

2007

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]

2006

Towards Efficient, Typed LR ParsersFrançois Pottier, Yann Régis-Gianas. ENTCS, 148(2):155-180, 2006. [doi]

Stratified type inference for generalized algebraic data typesFrançois Pottier, Yann Régis-Gianas. POPL 2006: 232-244 [doi]

2004

Introducing VA::UCANSON::Sylvain Lombardy, Yann Régis-Gianas, Jacques Sakarovitch. TCS, 328(1-2):77-96, 2004. [doi]

2003

Introducing VAUCANSONSylvain Lombardy, Raphaël Poss, Yann Régis-Gianas, Jacques Sakarovitch. wia 2003: 96-107 [doi]

Sign in or sign up to see more results.

runs on WebDSL