External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

RUSTInA: Automatically Checking and Patching Inline Assembly Interface Compliance (Artifact Evaluation): Accepted submission #992 - "Interface Compliance of Inline Assembly: Automatically Check, Patch and Refine"

Frédéric Recoules, Sébastien Bardin, Richard Bonichon, Matthieu Lemerre, Laurent Mounier, Marie-Laure Potet. RUSTInA: Automatically Checking and Patching Inline Assembly Interface Compliance (Artifact Evaluation): Accepted submission #992 - "Interface Compliance of Inline Assembly: Automatically Check, Patch and Refine". In 43rd IEEE/ACM International Conference on Software Engineering: Companion Proceedings, ICSE Companion 2021, Madrid, Spain, May 25-28, 2021. pages 201-202, IEEE, 2021. [doi]

Authors

Frédéric Recoules

This author has not been identified. Look up 'Frédéric Recoules' in Google

Sébastien Bardin

This author has not been identified. Look up 'Sébastien Bardin' in Google

Richard Bonichon

This author has not been identified. Look up 'Richard Bonichon' in Google

Matthieu Lemerre

This author has not been identified. Look up 'Matthieu Lemerre' in Google

Laurent Mounier

This author has not been identified. Look up 'Laurent Mounier' in Google

Marie-Laure Potet

This author has not been identified. Look up 'Marie-Laure Potet' in Google
runs on