Affiliation:
1. Universität Innsbruck Innsbruck Austria
2. Amazon London United Kingdom
3. The University of Sydney Sydney Australia
Funder
Österreichische Forschungsförderungsgesellschaft
Subject
Computational Theory and Mathematics,Computer Networks and Communications,Computer Science Applications,Theoretical Computer Science,Software
Reference53 articles.
1. Strictly declarative specification of sophisticated points-to analyses
2. LopesNP BjørnerN GodefroidP JayaramanK VargheseG.Checking beliefs in dynamic networks. Paper presented at: 12th USENIX Symposium on Networked Systems Design and Implementation;2015;Oakland CA.
3. Distributed socialite
4. BrentL JurisevicA KongM et al.Vandal: a scalable security analysis framework for smart contracts. arXiv preprint arXiv:1809.03981;2018.
5. JordanH SubotićP ZhaoD ScholzB.A specialized B‐tree for concurrent datalog evaluation. In: Proceedings of the 24th Symposium on Principles and Practice of Parallel Programming;2019;Washington DC.
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Finding Cross-Rule Optimization Bugs in Datalog Engines;Proceedings of the ACM on Programming Languages;2024-04-29
2. Flan: An Expressive and Efficient Datalog Compiler for Program Analysis;Proceedings of the ACM on Programming Languages;2024-01-05
3. Bring Your Own Data Structures to Datalog;Proceedings of the ACM on Programming Languages;2023-10-16
4. An efficient interpreter for Datalog by de-specializing relations;Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2021-06-18