29 citations · 33 across the 10 of their papers we have counts for
10 papers
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…
Reusable Formal Verification of DAG-based Consensus Protocols
Nathalie Bertrand, Pranav Ghorpade, Sasha Rubin +2
Blockchains use consensus protocols to reach agreement, e.g., on the ordering of transactions. DAG-based consensus protocols are increasingly adopted by blockchain companies to red…
Abstract Interpretation-Based Data Leakage Static Analysis
Filip Drobnjaković, Pavle Subotić, Caterina Urban
Data leakage is a well-known problem in machine learning. Data leakage occurs when information from outside the training dataset is used to create a model. This phenomenon renders…
Scalable Typestate Analysis for Low-Latency Environments
Alen Arslanagić, Pavle Subotić, Jorge A. Pérez
Static analyses based on typestates are important in certifying correctness of code contracts. Such analyses rely on Deterministic Finite Automata (DFAs) to specify properties of a…
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…
Optimal On The Fly Index Selection in Polynomial Time
Herbert Jordan, Bernhard Scholz, Pavle Subotić
The index selection problem (ISP) is an important problem for accelerating the execution of relational queries, and it has received a lot of attention as a combinatorial knapsack p…
Horn Clauses for Communicating Timed Systems
Hossein Hojjat, Philipp Rümmer, Pavle Subotic +1
Languages based on the theory of timed automata are a well established approach for modelling and analysing real-time systems, with many applications both in industrial and academi…