共 50 条
- [31] Towards Transactional Memory Semantics for C plus SPAA'09: PROCEEDINGS OF THE TWENTY-FIRST ANNUAL SYMPOSIUM ON PARALLELISM IN ALGORITHMS AND ARCHITECTURES, 2009, : 49 - 58
- [33] Memory Errors and Memory Safety: C as a Case Study IEEE Security and Privacy, 2023, 21 (02): : 70 - 76
- [34] Boosting the Precision of Virtual Call Integrity Protection with Partial Pointer Analysis for C plus PROCEEDINGS OF THE 26TH ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS (ISSTA'17), 2017, : 329 - 340
- [35] Towards Standardization of AV Safety: C plus plus Library for Responsibility Sensitive Safety 2019 30TH IEEE INTELLIGENT VEHICLES SYMPOSIUM (IV19), 2019, : 2265 - 2271
- [36] C plus plus Memory Detection Tool Based on Dynamic Instrumentation ADVANCES IN INTERNET, DATA & WEB TECHNOLOGIES, 2018, 17 : 663 - 674
- [37] CompCertS: A Memory-Aware Verified C Compiler Using a Pointer as Integer Semantics Journal of Automated Reasoning, 2019, 63 : 369 - 392
- [39] CompCertS: A Memory-Aware Verified C Compiler Using Pointer as Integer Semantics INTERACTIVE THEOREM PROVING (ITP 2017), 2017, 10499 : 81 - 97
- [40] Fat Pointers for Temporal Memory Safety of C PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2023, 7 (OOPSLA):