Richard Bonichon -

Not registered as user yet

Name:Richard Bonichon

Affiliation:Tweag I/O, Paris, France

Contributions

2021

ICSE

Author of Interface Compliance of Inline Assembly: Automatically Check, Patch and Refine within the Technical Track-track
Author of RusTINA: Automatically checking and Patching Inline Assembly Interface Compliance (Artifact Evaluation) within the AE - Artifact Evaluation-track