4 citations · 8 across the 6 of their papers we have counts for
4 papers · 1 filter
The Choice Construct in the Souffle Language
Xiaowen Hu, Joshua Karp, David Zhao +3
Datalog has become a popular implementation language for solving large-scale, real-world problems, including bug finders, network analysis tools, and disassemblers. These applicati…
Provenance for Large-scale Datalog
David Zhao, Pavle Subotic, Bernhard Scholz
Logic programming languages such as Datalog have become popular as Domain Specific Languages (DSLs) for solving large-scale, real-world problems, in particular, static program anal…
Vandal: A Scalable Security Analysis Framework for Smart Contracts
Lexi Brent, Anton Jurisevic, Michael Kong +5
The rise of modern blockchains has facilitated the emergence of smart contracts: autonomous programs that live and run on the blockchain. Smart contracts have seen a rapid climb to…
SPARK: Static Program Analysis Reasoning and Retrieving Knowledge
Wasuwee Sodsong, Bernhard Scholz, Sanjay Chawla
Program analysis is a technique to reason about programs without executing them, and it has various applications in compilers, integrated development environments, and security. In…