Pavle Subotic

View on GitHub

Pavle Subotic PhD (UCL)


I am interested in researching and engineering solutions to large-scale industrial problems, in particular relating to Verifiers, Compilers, Databases, and Distributed Systems. I have a PhD from University College London (UCL)


  1. Reusable Formal Verification of DAG-based Consensus Protocols, TBD'24
    Nathalie Bertrand, Pranav Ghorpade, Sasha Rubin, Bernhard Scholz, Pavle Subotić (paper)
  2. Abstract Interpretation-Based Data Leakage Static Analysis, TASE'24
    Filip Drobnjakovic, Pavle Subotic, Caterina Urban (paper)
  3. Ambit: Verification of Azure RBAC, CCSW@CCS'23
    Matija Kupresanin and Pavle Subotic (paper)
  4. Program Repair Guided by Datalog-Defined Static Analysis, ESEC/FSE'23
    Yu Liu, Sergey Mechtaev, Pavle Subotic, and Abhik Roychoudhury (paper)
  5. Bit-Vector Typestate Analysis, Formal Aspects of Computing
    Alen Arslanagic, Pavle Subotic, Jorge Perez (paper)
  6. Automatically Resolving Data Source Dependency Hell in Large Scale Data Science Projects, CAIN'23
    Laurent Boué, Pratap Kunireddy, Pavle Subotic (paper) (ext paper)
  7. Geyser: Provenance Extraction and Applications over Data Science Scripts, SIGMOD'23
    F.Psallidas, M.Leszczynski, M.Namaki, A.Floratou, A.Agrawal, K.Karanasos, S.Krishnan, P.Subotic, M.Weimer, Y.Wu, Y.Zh (paper)
  8. Efficient SMT-based Network Fault Tolerance Verification, FM'23
    Yu Liu, Pavle Subotic, Emmanuel Letier, Sergey Mechtaev and Abhik Roychoudhury (paper)
  9. Automatic Rollback Suggestions for Incremental Datalog Evaluation, PADL'23
    David Zhao, Pavle Subotic, Mukund Raghothaman and Bernhard Scholz (paper)
  10. Building a Join Optimizer for Souffle, LOPSTR'22
    Samuel Arch, Xiaowen Hu, David Zhao,Pavle Subotic, Bernhard Scholz (paper)
  11. Statically Detecting Data Leakages in Data Science Code, SOAP@PLDI'22
    Pavle Subotic, Uros Bojanic, Milan Stojic (paper)
  12. Scalable Typestate Analysis for Low-Latency Environments, iFM'22
    Alen Arslanagic, Pavle Subotic, Jorge Perez (paper)
  13. A Static Analysis Framework for Data Science Notebooks, ICSE'22
    Pavle Subotic, Lazar Milikic, Milan Stojic (paper)
  14. Towards Elastic Incrementalization for Datalog, PPDP'21
    David Zhao, Pavle Subotic, Muhund Raghothaman, Bernhard Scholz (paper)
  15. A Scalable Provenance Evaluation Strategy for Datalog, TOPLAS/POPL'21
    David Zhao, Pavle Subotic, Bernhard Scholz (paper)
  16. Specializing Parallel Data Structures for Datalog, CCPE Volume 34
    Herbert Jordan, Pavle Subotic, David Zhao, Bernhard Scholz (paper)
  17. Fast Parallel Equivalence Relations in a Datalog Compiler, PACT'19
    Patrick Nappa, David Zhao, Pavle Subotic, Bernhard Scholz (paper)
  18. Reachability Analysis for AWS-based Networks, CAV'19
    Pavle Subotic, Byron Cook and many other authors (paper)
  19. Brie: A Specialized Trie for Concurrent Datalog, PMAM@PPoPP'19
    Herbert Jordan, Pavle Subotic, David Zhao, Bernhard Scholz (paper)
  20. A Specialized B-Tree for Concurrent Datalog Evaluation, PPoPP'19
    Herbert Jordan, Pavle Subotic, David Zhao, Bernhard Scholz (paper)
  21. Automatic Index Selection for Large-Scale Datalog Computation, VLDB'19
    Pavle Subotic, Herbert Jordan, Lijun Chang, Alan Fekete, Bernhard Scholz (paper)
  22. Two concurrent data structures for efficient datalog query processing, PPOPP'18
    Herbert Jordan, Bernhard Scholz, Pavle Subotic (paper)
  23. Souffle: On Synthesising Program Analyzers, CAV'16
    Herbert Jordan, Bernhard Scholz, Pavle Subotic (paper)
  24. On fast large-scale program analysis in Datalog, CC'16
    Bernhard Scholz, Herbert Jordan, Pavle Subotic, Till Westmann (paper)
  25. Guiding Craig Interpolation with Domain-specific Abstractions, Acta Informatica, Issue 53
    Jerome Leurox, Philipp Rümmer, Pavle Subotic (paper)
  26. Horn Clauses for Communicating Timed Systems, HCVS'14
    Hossein Hojjat, Philipp Rümmer, Pavle Subotic, Wang Yi (paper)
  27. Exploring interpolants, FMCAD'13
    Philipp Rümmer, Pavle Subotic (paper)
  28. Logico-Numerical Max-Strategy Iteration, VMCAI'13
    Peter Schrammel, Pavle Subotic (paper)

Technical Reports/Workshops/Abstracts

  1. Towards Formal Verification of DAG-Based Blockchain Consensus Protocols (Extended Abstract) FMBC'24,
    Nathalie Bertrand, Pranav Ghorpade, Sasha Rubin, Bernhard Scholz, Pavle Subotić (paper)
  2. Designing a Datalog Engine for Industrial-Grade Static Analysis, (Position Paper) LPOP'23,
    Pavle Subotic and Bernhard Scholz (paper, talk)
  3. Rinser: Deriving Succinct Evidence for Automated Code Reviews, (Invited Talk) Infer Practitioners@PLDI'20,
    Thanh-Toan Nguyen, Pavle Subotic, Bor-Yuh Evan Chang (paper, talk)
  4. Incremental Datalog Prototype in Souffle, (Extended Abstract) IC@SPLASH'19,
    David Zhao, Pavle Subotic, Bernhard Scholz
  5. Static Analysis by Elimination, Bytecode@ETAPS'13
    Pavle Subotic, Andrew Santosa, Bernhard Scholz (paper)
  6. Enhancement of Teleconferencing Audio – Meta Information Extraction from Meeting Recordings. In Proc. CSIRO ICT Centre Conference'04,
    Claudia Schremmer, Silvia Pfeiffer, Pavle Subotic, Eva Cheng