Pavle Subotic

44 papers B 9C 3Misc 1Journal 19Unranked 11
YearRankTypeTitle / Venue / Authors
2025 J jnl
A Fast Ethereum-Compatible Forkless Database.
CoRR
Herbert Jordan, Kamil Jezek, Pavle Subotic, Bernhard Scholz
2025 J jnl
Efficient Forkless Blockchain Databases.
IEEE Access
Herbert Jordan, Kamil Jezek, Pavle Subotic, Bernhard Scholz
2025 J jnl
Efficient Forkless Blockchain Databases.
CoRR
Herbert Jordan, Kamil Jezek, Pavle Subotic, Bernhard Scholz
2025 J jnl
Formal Model Guided Conformance Testing for Blockchains.
CoRR
Filip Drobnjakovic, Amir Kashapov, Matija Kupresanin, Bernhard Scholz, Pavle Subotic
2025 — conf
Formal Verification of a Fail-Safe Cross-Chain Bridge.
FMBC
Filip Maric, Bernhard Scholz, Pavle Subotic
2025 J jnl
Provenance Guided Rollback Suggestions.
CoRR
David Zhao, Pavle Subotic, Mukund Raghothaman, Bernhard Scholz
2025 J jnl
Provenance Guided Rollback Suggestions.
Theory Pract. Log. Program.
David Zhao, Pavle Subotic, Mukund Raghothaman, Bernhard Scholz
2025 — conf
Reusable Formal Verification of DAG-Based Consensus Protocols.
NFM
Nathalie Bertrand, Pranav Ghorpade, Sasha Rubin, Bernhard Scholz, Pavle Subotic
2025 J jnl
Static analysis by abstract interpretation against data leakage in machine learning.
Sci. Comput. Program.
Caterina Urban, Pavle Subotic, Filip Drobnjakovic
2024 Misc conf
An Abstract Interpretation-Based Data Leakage Static Analysis.
TASE
Filip Drobnjakovic, Pavle Subotic, Caterina Urban
2024 J jnl
Reusable Formal Verification of DAG-based Consensus Protocols.
CoRR
Nathalie Bertrand, Pranav Ghorpade, Sasha Rubin, Bernhard Scholz, Pavle Subotic
2023 — conf
Ambit: Verification of Azure RBAC.
CCSW@CCS
Matija Kupresanin, Pavle Subotic
2023 C conf
Automatic Rollback Suggestions for Incremental Datalog Evaluation.
PADL
David Zhao, Pavle Subotic, Mukund Raghothaman, Bernhard Scholz
2023 B conf
Automatically Resolving Data Source Dependency Hell in Large Scale Data Science Projects.
CAIN
Laurent Boué, Pratap Kunireddy, Pavle Subotic
2023 J jnl
Bit-Vector Typestate Analysis.
Formal Aspects Comput.
Alen Arslanagic, Pavle Subotic, Jorge A. Pérez
2023 — conf
Demonstration of Geyser: Provenance Extraction and Applications over Data Science Scripts.
SIGMOD Conference Companion
Fotis Psallidas, Megan Eileen Leszczynski, Mohammad Hossein Namaki, Avrilia Floratou, Ashvin Agrawal, Konstantinos Karanasos, Subru Krishnan, Pavle Subotic, Markus Weimer, Yinghui Wu, Yiwen Zhu
2023 B conf
Efficient SMT-Based Network Fault Tolerance Verification.
FM
Yu Liu, Pavle Subotic, Emmanuel Letier, Sergey Mechtaev, Abhik Roychoudhury
2023 — conf
Program Repair Guided by Datalog-Defined Static Analysis.
ESEC/SIGSOFT FSE
Yu Liu, Sergey Mechtaev, Pavle Subotic, Abhik Roychoudhury
2022 J jnl
A Data Source Dependency Analysis Framework for Large Scale Data Science Projects.
CoRR
Laurent Boué, Pratap Kunireddy, Pavle Subotic
2022 — conf
A Static Analysis Framework for Data Science Notebooks.
ICSE (SEIP)
Pavle Subotic, Lazar Milikic, Milan Stojic
2022 J jnl
Abstract Interpretation-Based Data Leakage Static Analysis.
CoRR
Filip Drobnjakovic, Pavle Subotic, Caterina Urban
2022 C conf
Building a Join Optimizer for Soufflé.
LOPSTR
Samuel Arch, Xiaowen Hu, David Zhao, Pavle Subotic, Bernhard Scholz
2022 B conf
Scalable Typestate Analysis for Low-Latency Environments.
IFM
Alen Arslanagic, Pavle Subotic, Jorge A. Pérez
2022 J jnl
Scalable Typestate Analysis using Bit-Vector Machines.
CoRR
Alen Arslanagic, Pavle Subotic, Jorge A. Pérez
2022 J jnl
Specializing parallel data structures for Datalog.
Concurr. Comput. Pract. Exp.
Herbert Jordan, Pavle Subotic, David Zhao, Bernhard Scholz
2022 — conf
Statically detecting data leakages in data science code.
SOAP@PLDI
Pavle Subotic, Uros Bojanic, Milan Stojic
2021 J jnl
A Static Analysis Framework for Data Science Notebooks.
CoRR
Pavle Subotic, Lazar Milikic, Milan Stojic
2021 C conf
Towards Elastic Incrementalization for Datalog.
PPDP
David Zhao, Pavle Subotic, Mukund Raghothaman, Bernhard Scholz
2020 J jnl
Debugging Large-scale Datalog: A Scalable Provenance Evaluation Strategy.
ACM Trans. Program. Lang. Syst.
David Zhao, Pavle Subotic, Bernhard Scholz
2019 B conf
A specialized B-tree for concurrent datalog evaluation.
PPoPP
Herbert Jordan, Pavle Subotic, David Zhao, Bernhard Scholz
2019 — conf
Brie: A Specialized Trie for Concurrent Datalog.
PMAM@PPoPP
Herbert Jordan, Pavle Subotic, David Zhao, Bernhard Scholz
2019 B conf
Fast Parallel Equivalence Relations in a Datalog Compiler.
PACT
Patrick Nappa, David Zhao, Pavle Subotic, Bernhard Scholz
2019 J jnl
Provenance for Large-scale Datalog.
CoRR
David Zhao, Pavle Subotic, Bernhard Scholz
2019 — conf
Reachability Analysis for AWS-Based Networks.
CAV (2)
John Backes, Sam Bayless, Byron Cook, Catherine Dodge, Andrew Gacek, Alan J. Hu, Temesghen Kahsai, Bill Kocik, Evgenii Kotelnikov, Jure Kukovec, Sean McLaughlin, Jason Reed, Neha Rungta, John Sizemore, Mark A. Stalzer, Preethi Srinivasan, Pavle Subotic, Carsten Varming, Blake Whaley
2019 — —
Scalable logic defined static analysis.
Pavle Subotic
2018 J jnl
Automatic Index Selection for Large-Scale Datalog Computation.
Proc. VLDB Endow.
Pavle Subotic, Herbert Jordan, Lijun Chang, Alan D. Fekete, Bernhard Scholz
2018 B conf
Two concurrent data structures for efficient datalog query processing.
PPoPP
Herbert Jordan, Bernhard Scholz, Pavle Subotic
2017 J jnl
Optimal On The Fly Index Selection in Polynomial Time.
CoRR
Herbert Jordan, Bernhard Scholz, Pavle Subotic
2016 J jnl
Guiding Craig interpolation with domain-specific abstractions.
Acta Informatica
Jérôme Leroux, Philipp Rümmer, Pavle Subotic
2016 B conf
On fast large-scale program analysis in Datalog.
CC
Bernhard Scholz, Herbert Jordan, Pavle Subotic, Till Westmann
2016 — conf
Soufflé: On Synthesis of Program Analyzers.
CAV (2)
Herbert Jordan, Bernhard Scholz, Pavle Subotic
2014 — conf
Horn Clauses for Communicating Timed Systems.
HCVS
Hossein Hojjat, Philipp Rümmer, Pavle Subotic, Wang Yi
2013 B conf
Exploring interpolants.
FMCAD
Philipp Rümmer, Pavle Subotic
2013 B conf
Logico-Numerical Max-Strategy Iteration.
VMCAI
Peter Schrammel, Pavle Subotic