29 citations · 33 across the 10 of their papers we have counts for
4 papers · 1 filter
A Fast Ethereum-Compatible Forkless Database
Herbert Jordan, Kamil Jezek, Pavle Subotic +1
The State Database of a blockchain stores account data and enables authentication. Modern blockchains use fast consensus protocols to avoid forking, improving throughput and finali…
Efficient Forkless Blockchain Databases
Herbert Jordan, Kamil Jezek, Pavle Subotic +1
Operating nodes in an L1 blockchain remains costly despite recent advances in blockchain technology. One of the most resource-intensive components of a node is the blockchain datab…
Formal Model Guided Conformance Testing for Blockchains
Filip Drobnjakovic, Amir Kashapov, Matija Kupresanin +2
Modern blockchains increasingly consist of multiple clients that implement a single blockchain protocol. If there is a semantic mismatch between the protocol implementations, the b…
Provenance Guided Rollback Suggestions
David Zhao, Pavle Subotic, Mukund Raghothaman +1
Advances in incremental Datalog evaluation strategies have made Datalog popular among use cases with constantly evolving inputs such as static analysis in continuous integration an…