Incremental whole-program analysis in Datalog with lattices-Reference-Cited by-同舟云学术

Incremental whole-program analysis in Datalog with lattices

Published:2021-06-18 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation
language:
Short-container-title:

Author:

Szabó Tamás¹^ORCID,Erdweg Sebastian²^ORCID,Bergmann Gábor³^ORCID

Affiliation:

1. JGU Mainz, Germany / Workday, Germany

2. JGU Mainz, Germany

3. Budapest University of Technology and Economics, Hungary / IncQuery Labs, Hungary

Publisher

ACM

Link

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

Reference41 articles.

1. DBToaster

2. Reviser: efficiently updating IDE-/IFDS-based data-flow analyses in response to incremental program changes

3. The secret sauce in efficient and precise static analysis

4. Logic and lattices for distributed programming

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

1. Homeostasis: Design and Implementation of a Self-Stabilizing Compiler;ACM Transactions on Programming Languages and Systems;2024-05

2. Interactive Abstract Interpretation with Demanded Summarization;ACM Transactions on Programming Languages and Systems;2024-03-29

3. On The Suitability of Differential Dataflow For Datalog Interpretation In Highly Dynamic Settings;2023 6th Artificial Intelligence and Cloud Computing Conference (AICCC);2023-12-16

4. PAVUDI: Patch-based Vulnerability Discovery using Machine Learning;Annual Computer Security Applications Conference;2023-12-04

5. Incrementalizing Production CodeQL Analyses;Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2023-11-30