Pavle Subotic

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 31

Top Topics

Query Answering

Expressive Power

Top Venues

Proc. VLDB Endow.

Publications

Filip Drobnjakovic, Pavle Subotic, Caterina Urban
An Abstract Interpretation-Based Data Leakage Static Analysis. TASE (2024)
Nathalie Bertrand, Pranav Ghorpade, Sasha Rubin, Bernhard Scholz, Pavle Subotic
Reusable Formal Verification of DAG-based Consensus Protocols. CoRR (2024)
Laurent Boué, Pratap Kunireddy, Pavle Subotic
Automatically Resolving Data Source Dependency Hell in Large Scale Data Science Projects. CAIN (2023)
Yu Liu, Sergey Mechtaev, Pavle Subotic, Abhik Roychoudhury
Program Repair Guided by Datalog-Defined Static Analysis. ESEC/SIGSOFT FSE (2023)
David Zhao, Pavle Subotic, Mukund Raghothaman, Bernhard Scholz
Automatic Rollback Suggestions for Incremental Datalog Evaluation. PADL (2023)
Matija Kupresanin, Pavle Subotic
Ambit: Verification of Azure RBAC. CCSW@CCS (2023)
Fotis Psallidas, Megan Eileen Leszczynski, Mohammad Hossein Namaki, Avrilia Floratou, Ashvin Agrawal, Konstantinos Karanasos, Subru Krishnan, Pavle Subotic, Markus Weimer, Yinghui Wu, Yiwen Zhu
Demonstration of Geyser: Provenance Extraction and Applications over Data Science Scripts. SIGMOD Conference Companion (2023)
Alen Arslanagic, Pavle Subotic, Jorge A. Pérez
Bit-Vector Typestate Analysis. Formal Aspects Comput. 35 (3) (2023)
Yu Liu, Pavle Subotic, Emmanuel Letier, Sergey Mechtaev, Abhik Roychoudhury
Efficient SMT-Based Network Fault Tolerance Verification. FM (2023)
Samuel Arch, Xiaowen Hu, David Zhao, Pavle Subotic, Bernhard Scholz
Building a Join Optimizer for Soufflé. LOPSTR (2022)
Alen Arslanagic, Pavle Subotic, Jorge A. Pérez
Scalable Typestate Analysis using Bit-Vector Machines. CoRR (2022)
Alen Arslanagic, Pavle Subotic, Jorge A. Pérez
Scalable Typestate Analysis for Low-Latency Environments. IFM (2022)
Pavle Subotic, Uros Bojanic, Milan Stojic
Statically detecting data leakages in data science code. SOAP@PLDI (2022)
Pavle Subotic, Lazar Milikic, Milan Stojic
A Static Analysis Framework for Data Science Notebooks. ICSE (SEIP) (2022)
Laurent Boué, Pratap Kunireddy, Pavle Subotic
A Data Source Dependency Analysis Framework for Large Scale Data Science Projects. CoRR (2022)
Filip Drobnjakovic, Pavle Subotic, Caterina Urban
Abstract Interpretation-Based Data Leakage Static Analysis. CoRR (2022)
Herbert Jordan, Pavle Subotic, David Zhao, Bernhard Scholz
Specializing parallel data structures for Datalog. Concurr. Comput. Pract. Exp. 34 (2) (2022)
Pavle Subotic, Lazar Milikic, Milan Stojic
A Static Analysis Framework for Data Science Notebooks. CoRR (2021)
David Zhao, Pavle Subotic, Mukund Raghothaman, Bernhard Scholz
Towards Elastic Incrementalization for Datalog. PPDP (2021)
David Zhao, Pavle Subotic, Bernhard Scholz
Debugging Large-scale Datalog: A Scalable Provenance Evaluation Strategy. ACM Trans. Program. Lang. Syst. 42 (2) (2020)
Patrick Nappa, David Zhao, Pavle Subotic, Bernhard Scholz
Fast Parallel Equivalence Relations in a Datalog Compiler. PACT (2019)
Herbert Jordan, Pavle Subotic, David Zhao, Bernhard Scholz
A specialized B-tree for concurrent datalog evaluation. PPoPP (2019)
David Zhao, Pavle Subotic, Bernhard Scholz
Provenance for Large-scale Datalog. CoRR (2019)
Herbert Jordan, Pavle Subotic, David Zhao, Bernhard Scholz
Brie: A Specialized Trie for Concurrent Datalog. PMAM@PPoPP (2019)
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
Reachability Analysis for AWS-Based Networks. CAV (2) (2019)
Pavle Subotic, Herbert Jordan, Lijun Chang, Alan D. Fekete, Bernhard Scholz
Automatic Index Selection for Large-Scale Datalog Computation. Proc. VLDB Endow. 12 (2) (2018)
Herbert Jordan, Bernhard Scholz, Pavle Subotic
Two concurrent data structures for efficient datalog query processing. PPOPP (2018)
Herbert Jordan, Bernhard Scholz, Pavle Subotic
Optimal On The Fly Index Selection in Polynomial Time. CoRR (2017)
Bernhard Scholz, Herbert Jordan, Pavle Subotic, Till Westmann
On fast large-scale program analysis in Datalog. CC (2016)
Herbert Jordan, Bernhard Scholz, Pavle Subotic
Soufflé: On Synthesis of Program Analyzers. CAV (2) (2016)
Jérôme Leroux, Philipp Rümmer, Pavle Subotic
Guiding Craig interpolation with domain-specific abstractions. Acta Informatica 53 (4) (2016)
Hossein Hojjat, Philipp Rümmer, Pavle Subotic, Wang Yi
Horn Clauses for Communicating Timed Systems. HCVS (2014)
Philipp Rümmer, Pavle Subotic
Exploring interpolants. FMCAD (2013)
Peter Schrammel, Pavle Subotic
Logico-Numerical Max-Strategy Iteration. VMCAI (2013)