Pavle Subotic

According to our database, Pavle Subotic authored at least 34 papers between 2013 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Reusable Formal Verification of DAG-based Consensus Protocols.

Nathalie Bertrand, Pranav Ghorpade, Sasha Rubin, Bernhard Scholz, Pavle Subotic

CoRR, 2024

An Abstract Interpretation-Based Data Leakage Static Analysis.

Filip Drobnjakovic, Pavle Subotic, Caterina Urban

Proceedings of the Theoretical Aspects of Software Engineering, 2024

2023

Bit-Vector Typestate Analysis.

Alen Arslanagic, Pavle Subotic, Jorge A. Pérez

Formal Aspects Comput., September, 2023

Program Repair Guided by Datalog-Defined Static Analysis.

Yu Liu, Sergey Mechtaev, Pavle Subotic, Abhik Roychoudhury

Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

Demonstration of Geyser: Provenance Extraction and Applications over Data Science Scripts.

Fotis Psallidas, Megan Eileen Leszczynski, Mohammad Hossein Namaki, Avrilia Floratou, Ashvin Agrawal, Konstantinos Karanasos, Subru Krishnan, Pavle Subotic, Markus Weimer, Yinghui Wu, Yiwen Zhu

Proceedings of the Companion of the 2023 International Conference on Management of Data, 2023

Automatic Rollback Suggestions for Incremental Datalog Evaluation.

David Zhao, Pavle Subotic, Mukund Raghothaman, Bernhard Scholz

Proceedings of the Practical Aspects of Declarative Languages, 2023

Efficient SMT-Based Network Fault Tolerance Verification.

Yu Liu, Pavle Subotic, Emmanuel Letier, Sergey Mechtaev, Abhik Roychoudhury

Proceedings of the Formal Methods - 25th International Symposium, 2023

Ambit: Verification of Azure RBAC.

Matija Kupresanin, Pavle Subotic

Proceedings of the 2023 on Cloud Computing Security Workshop, 2023

Automatically Resolving Data Source Dependency Hell in Large Scale Data Science Projects.

Laurent Boué, Pratap Kunireddy, Pavle Subotic

Proceedings of the 2nd IEEE/ACM International Conference on AI Engineering, 2023

2022

A Data Source Dependency Analysis Framework for Large Scale Data Science Projects.

Laurent Boué, Pratap Kunireddy, Pavle Subotic

CoRR, 2022

Abstract Interpretation-Based Data Leakage Static Analysis.

Filip Drobnjakovic, Pavle Subotic, Caterina Urban

CoRR, 2022

Scalable Typestate Analysis using Bit-Vector Machines.

Alen Arslanagic, Pavle Subotic, Jorge A. Pérez

CoRR, 2022

Specializing parallel data structures for Datalog.

Herbert Jordan, Pavle Subotic, David Zhao, Bernhard Scholz

Concurr. Comput. Pract. Exp., 2022

Statically detecting data leakages in data science code.

Pavle Subotic, Uros Bojanic, Milan Stojic

Proceedings of the SOAP '22: 11th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, 2022

Building a Join Optimizer for Soufflé.

Samuel Arch, Xiaowen Hu, David Zhao, Pavle Subotic, Bernhard Scholz

Proceedings of the Logic-Based Program Synthesis and Transformation, 2022

Scalable Typestate Analysis for Low-Latency Environments.

Alen Arslanagic, Pavle Subotic, Jorge A. Pérez

Proceedings of the Integrated Formal Methods - 17th International Conference, 2022

A Static Analysis Framework for Data Science Notebooks.

Pavle Subotic, Lazar Milikic, Milan Stojic

Proceedings of the 44th IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice, 2022

2021

Towards Elastic Incrementalization for Datalog.

David Zhao, Pavle Subotic, Mukund Raghothaman, Bernhard Scholz

Proceedings of the PPDP 2021: 23rd International Symposium on Principles and Practice of Declarative Programming, 2021

2020

Debugging Large-scale Datalog: A Scalable Provenance Evaluation Strategy.

David Zhao, Pavle Subotic, Bernhard Scholz

ACM Trans. Program. Lang. Syst., 2020

2019

Scalable logic defined static analysis.

Pavle Subotic

PhD thesis, 2019

Provenance for Large-scale Datalog.

David Zhao, Pavle Subotic, Bernhard Scholz

CoRR, 2019

Brie: A Specialized Trie for Concurrent Datalog.

Herbert Jordan, Pavle Subotic, David Zhao, Bernhard Scholz

Proceedings of the 10th International Workshop on Programming Models and Applications for Multicores and Manycores, 2019

A specialized B-tree for concurrent datalog evaluation.

Herbert Jordan, Pavle Subotic, David Zhao, Bernhard Scholz

Proceedings of the 24th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2019

Reachability Analysis for AWS-Based Networks.

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

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

Fast Parallel Equivalence Relations in a Datalog Compiler.

Patrick Nappa, David Zhao, Pavle Subotic, Bernhard Scholz

Proceedings of the 28th International Conference on Parallel Architectures and Compilation Techniques, 2019

2018

Automatic Index Selection for Large-Scale Datalog Computation.

Pavle Subotic, Herbert Jordan, Lijun Chang, Alan D. Fekete, Bernhard Scholz

Proc. VLDB Endow., 2018

Two concurrent data structures for efficient datalog query processing.

Herbert Jordan, Bernhard Scholz, Pavle Subotic

Proceedings of the 23rd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2018

2017

Optimal On The Fly Index Selection in Polynomial Time.

Herbert Jordan, Bernhard Scholz, Pavle Subotic

CoRR, 2017

2016

Guiding Craig interpolation with domain-specific abstractions.

Jérôme Leroux, Philipp Rümmer, Pavle Subotic

Acta Informatica, 2016

On fast large-scale program analysis in Datalog.

Bernhard Scholz, Herbert Jordan, Pavle Subotic, Till Westmann

Proceedings of the 25th International Conference on Compiler Construction, 2016

Soufflé: On Synthesis of Program Analyzers.

Herbert Jordan, Bernhard Scholz, Pavle Subotic

Proceedings of the Computer Aided Verification - 28th International Conference, 2016

2014

Horn Clauses for Communicating Timed Systems.

Hossein Hojjat, Philipp Rümmer, Pavle Subotic, Wang Yi

Proceedings of the Proceedings First Workshop on Horn Clauses for Verification and Synthesis, 2014

2013

Logico-Numerical Max-Strategy Iteration.

Peter Schrammel, Pavle Subotic

Proceedings of the Verification, 2013

Exploring interpolants.

Philipp Rümmer, Pavle Subotic

Proceedings of the Formal Methods in Computer-Aided Design, 2013