4 citations · 8 across the 6 of their papers we have counts for
7 papers
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…
Worst-Case Optimal Radix Triejoin
Alan Fekete, Brody Franks, Herbert Jordan +1
Relatively recently, the field of join processing has been swayed by the discovery of a new class of multi-way join algorithms. The new algorithms join multiple relations simultane…
The Economics of Smart Contracts
Kirk Baird, Seongho Jeong, Yeonsoo Kim +2
Ethereum is a distributed blockchain that can execute smart contracts, which inter-communicate and perform transactions automatically. The execution of smart contracts is paid in t…
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…