Pavle Subotic

Publications

1. A Fast Ethereum-Compatible Forkless Database, IEEE Access
   (paper)
2. Efficient Forkless Blockchain Databases, IEEE Access
   (paper)
3. Static Analysis by Abstract Interpretation Against Data Leakage in Machine Learning, Science of Computer Programming
   (paper)
4. Formal Model Guided Conformance Testing for Blockchains, TBD
   (paper)
5. Formal Verification of a Fail-Safe Cross-Chain Bridge, FMBC'25
   (paper)
6. Reusable Formal Verification of DAG-based Consensus Protocols, NFM'25
   (paper)
7. Provenance Guided Rollback Suggestions, Theory and Practice of Logic Programming
   (paper)
8. Abstract Interpretation-Based Data Leakage Static Analysis, TASE'24
   (paper)
9. Ambit: Verification of Azure RBAC, CCSW@CCS'23
   (paper)
10. Program Repair Guided by Datalog-Defined Static Analysis, ESEC/FSE'23
    (paper)
11. Bit-Vector Typestate Analysis, Formal Aspects of Computing
    (paper)
12. Automatically Resolving Data Source Dependency Hell in Large Scale Data Science Projects, CAIN'23
    (paper) (ext paper)
13. Geyser: Provenance Extraction and Applications over Data Science Scripts, SIGMOD'23
    (paper)
14. Efficient SMT-based Network Fault Tolerance Verification, FM'23
    (paper)
15. Automatic Rollback Suggestions for Incremental Datalog Evaluation, PADL'23
    (paper)
16. Building a Join Optimizer for Souffle, LOPSTR'22
    (paper)
17. Statically Detecting Data Leakages in Data Science Code, SOAP@PLDI'22
    (paper)
18. Scalable Typestate Analysis for Low-Latency Environments, iFM'22
    (paper)
19. A Static Analysis Framework for Data Science Notebooks, ICSE'22
    (paper)
20. Towards Elastic Incrementalization for Datalog, PPDP'21
    (paper)
21. A Scalable Provenance Evaluation Strategy for Datalog, TOPLAS/POPL'21
    (paper)
22. Specializing Parallel Data Structures for Datalog, CCPE Volume 34
    (paper)
23. Fast Parallel Equivalence Relations in a Datalog Compiler, PACT'19
    (paper)
24. Reachability Analysis for AWS-based Networks, CAV'19
    (paper)
25. Brie: A Specialized Trie for Concurrent Datalog, PMAM@PPoPP'19
    (paper)
26. A Specialized B-Tree for Concurrent Datalog Evaluation, PPoPP'19
    (paper)
27. Automatic Index Selection for Large-Scale Datalog Computation, VLDB'19
    (paper)
28. Two concurrent data structures for efficient datalog query processing, PPOPP'18
    (paper)
29. Souffle: On Synthesising Program Analyzers, CAV'16
    (paper)
30. On fast large-scale program analysis in Datalog, CC'16
    (paper)
31. Guiding Craig Interpolation with Domain-specific Abstractions, Acta Informatica, Issue 53
    (paper)
32. Horn Clauses for Communicating Timed Systems, HCVS'14
    (paper)
33. Exploring interpolants, FMCAD'13
    (paper)
34. Logico-Numerical Max-Strategy Iteration, VMCAI'13
    (paper)