Collaborated with:
S.Bardin R.Bonichon L.Mounier M.Potet
Talks about:
assembl (1) orient (1) verif (1) inlin (1) lift (1) rid (1) get (1)
Person: Frédéric Recoules
DBLP: Recoules:Fr=eacute=d=eacute=ric
Contributed to:
Wrote 1 papers:
- ASE-2019-RecoulesBBMP #assembly
- Get Rid of Inline Assembly through Verification-Oriented Lifting (FR, SB, RB, LM, MLP), pp. 577–589.