Scalable and precise refinement of cache timing analysis via path-sensitive verification-Reference-Cited by-同舟云学术

Scalable and precise refinement of cache timing analysis via path-sensitive verification

Published:2013-02-02 Issue:4 Volume:49 Page:517-562
ISSN:0922-6443
Container-title:Real-Time Systems
language:en
Short-container-title:Real-Time Syst

Author:

Chattopadhyay Sudipta,Roychoudhury Abhik

Publisher

Springer Science and Business Media LLC

Subject

Electrical and Electronic Engineering,Control and Optimization,Computer Networks and Communications,Computer Science Applications,Modeling and Simulation,Control and Systems Engineering

Link

http://link.springer.com/content/pdf/10.1007/s11241-013-9178-0.pdf

Reference44 articles.

1. aiT (2000) aiT WCET analyzer. http://www.absint.com/ait

2. Altmeyer S, Burguière C (2009) A new notion of useful cache block to improve the bounds of cache-related preemption delay. In: ECRTS, pp 109–118

3. Altmeyer S, Maiza C, Reineke J (2010) Resilience analysis: tightening the CRPD bound for set-associative caches. In: LCTES, pp 153–162

4. Balakrishnan G, Reps TW (2004) Analyzing memory accesses in x86 executables. In: CC, pp 5–23

5. Balakrishnan G, Reps TW, Kidd N, Lal A, Lim J, Melski D, Gruian R, Yong SH, Chen CH, Teitelbaum T (2005) Model checking x86 executables with codesurfer/x86 and wpds++. In: CAV, pp 158–163

Cited by 17 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Leveraging LLVM's ScalarEvolution for Symbolic Data Cache Analysis;2023 IEEE Real-Time Systems Symposium (RTSS);2023-12-05

2. Warping cache simulation of polyhedral programs;Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2022-06-09

3. Assessing Intel’s Memory Bandwidth Allocation for resource limitation in real-time systems;2022 IEEE 25th International Symposium On Real-Time Distributed Computing (ISORC);2022-05-17

4. An exploration of effective fuzzing for side‐channel cache leakage;Software Testing, Verification and Reliability;2019-11-28

5. A fast analytical model of fully associative caches;Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation;2019-06-08