Parallelizing top-down interprocedural analyses-Reference-Cited by-同舟云学术

Parallelizing top-down interprocedural analyses

Published:2012-06-11 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 33rd ACM SIGPLAN Conference on Programming Language Design and Implementation
language:
Short-container-title:

Author:

Albarghouthi Aws¹,Kumar Rahul²,Nori Aditya V.³,Rajamani Sriram K.³

Affiliation:

1. University of Toronto, Toronto, Canada

2. Microsoft Corporation, Redmond, WA, USA

3. Microsoft Research, Bangalore, India

Publisher

ACM

Link

Reference38 articles.

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

2. BigDataflow: A Distributed Interprocedural Dataflow Analysis Framework;Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2023-11-30

3. Input splitting for cloud-based static application security testing platforms;Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2022-11-07

4. Chianina: an evolving graph system for flow- and context-sensitive analyses of million lines of C code;Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2021-06-18

5. Pipelining bottom-up data flow analysis;Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering;2020-06-27