Catamaran: Low-Overhead Memory Safety Enforcement via Parallel Acceleration-Reference-Cited by-同舟云学术

Catamaran: Low-Overhead Memory Safety Enforcement via Parallel Acceleration

Published:2023-07-12 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis
language:
Short-container-title:

Author:

Zhang Yiyu¹,Liu Tianyi¹,Sun Zewen¹,Chen Zhe²,Li Xuandong¹,Zuo Zhiqiang¹

Affiliation:

1. Nanjing University, China

2. Nanjing University of Aeronautics and Astronautics, China

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3597926.3598098

Reference48 articles.

1. 2022. LLVM LoopInfo Class Reference. https://llvm.org/doxygen/classllvm_1_1LoopInfo.html Accessed: 2022-3-1 2022. LLVM LoopInfo Class Reference. https://llvm.org/doxygen/classllvm_1_1LoopInfo.html Accessed: 2022-3-1

2. 2022. LLVM TargetTransformInfo Class Reference. https://llvm.org/doxygen/classllvm_1_1TargetTransformInfo.html Accessed: 2022-3-1 2022. LLVM TargetTransformInfo Class Reference. https://llvm.org/doxygen/classllvm_1_1TargetTransformInfo.html Accessed: 2022-3-1

3. Periklis Akritidis , Manuel Costa , Miguel Castro , and Steven Hand . 2009 . Baggy Bounds Checking: An Efficient and Backwards-Compatible Defense against Out-of-Bounds Errors .. In USENIX Security Symposium. 10 . Periklis Akritidis, Manuel Costa, Miguel Castro, and Steven Hand. 2009. Baggy Bounds Checking: An Efficient and Backwards-Compatible Defense against Out-of-Bounds Errors.. In USENIX Security Symposium. 10.

4. Lars Ole Andersen. 1994. Program analysis and specialization for the C programming language. Ph. D. Dissertation. Citeseer. Lars Ole Andersen. 1994. Program analysis and specialization for the C programming language. Ph. D. Dissertation. Citeseer.

5. Sotiris Apostolakis , Ziyang Xu , Greg Chan , Simone Campanoni , and David I August . 2020 . Perspective: A sensible approach to speculative automatic parallelization . In Proceedings of the Twenty-Fifth International Conference on Architectural Support for Programming Languages and Operating Systems. 351–367 . Sotiris Apostolakis, Ziyang Xu, Greg Chan, Simone Campanoni, and David I August. 2020. Perspective: A sensible approach to speculative automatic parallelization. In Proceedings of the Twenty-Fifth International Conference on Architectural Support for Programming Languages and Operating Systems. 351–367.