Collaborated with:A.Charguéraud F.Pottier M.O.Myreen R.Kumar M.Norrish
Talks about:characterist (1) asymptot (1) program (1) formula (1) complex (1) verifi (1) formal (1) dollar (1) deduct (1) verif (1)
Person: Armaël Guéneau
DBLP: Gu=eacute=neau:Arma=euml=l
Contributed to:
20172018Wrote 2 papers:
- ESOP-2017-GueneauMKN
- Verified Characteristic Formulae for CakeML (AG, MOM, RK, MN), pp. 584–610.
- ESOP-2018-GueneauCP #complexity #deduction #formal method #verification
- A Fistful of Dollars: Formalizing Asymptotic Complexity Claims via Deductive Program Verification (AG, AC, FP), pp. 533–560.