Title | ||
---|---|---|
RUSTINA: Automatically Checking and Patching Inline Assembly Interface Compliance (Artifact Evaluation) : Accepted submission #992 – "Interface Compliance of Inline Assembly: Automatically Check, Patch and Refine" |
Abstract | ||
---|---|---|
The main goal of the artifact is to support the experimental claims of the paper #992 " Interface Compliance of Inline Assembly: Automatically Check, Patch and Refine " [3] by making both the prototype and data Available to the community. The expected result is the same output as the figures given in Table I and Table IV (appendix C) of the paper. In addition, we hope the released snapshot of our ... |
Year | DOI | Venue |
---|---|---|
2021 | 10.1109/ICSE-Companion52605.2021.00089 | 2021 IEEE/ACM 43rd International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) |
Keywords | DocType | ISSN |
Prototypes,Software engineering | Conference | 2574-1926 |
ISBN | Citations | PageRank |
978-1-6654-1219-3 | 0 | 0.34 |
References | Authors | |
0 | 6 |
Name | Order | Citations | PageRank |
---|---|---|---|
Frédéric Recoules | 1 | 0 | 0.34 |
Sébastien Bardin | 2 | 297 | 19.35 |
Richard Bonichon | 3 | 6 | 2.17 |
Matthieu Lemerre | 4 | 46 | 7.42 |
Laurent Mounier | 5 | 1187 | 79.54 |
Marie-Laure Potet | 6 | 190 | 21.34 |