Pavle Subotic

Pavle Subotic PhD (UCL)

Intro

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

• I am currently a Snr. Research Software Engineer at Microsoft Azure Data Labs. I am investigating novel tooling for data science, data security and data management. I founded the NBLyzer project
• I was a Snr. Applied Scientist at Amazon where I led the automated contract driven development process at Prime Video by founding and leading the development of the Coastguard tool among many other projects.
• At AWS I founded and co-developed Tiros, a tool that analyses Ec2 networks for security vulnerabilities.
• I spent a year at Oracle Labs where I worked on Souffle with my collegues Prof. Bernhard Scholz and Herbert Jordan. (See LPOP'22 talk here)
• I was an R&D software engineer @ Optiver, Toshiba R&D and CSIRO. During my undergraduate studies I was a summer scholar at NICTA (now Data61) where I worked on hardware and processor simulation for the sel4 microkernal verification project.

Publications:

1. Abstract Interpretation-Based Data Leakage Static Analysis, TBD:
   Filip Drobnjakovic, Pavle Subotic, Caterina Urban (paper)
2. Automatically Resolving Data Source Dependency Hell in Large Scale Data Science Projects, CAIN'23:
   Laurent Boué, Pratap Kunireddy, Pavle Subotic (paper)
3. 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)
4. Efficient SMT-based Network Fault Tolerance Verification, FM'23:
   Yu Liu, Pavle Subotic, Emmanuel Letier, Sergey Mechtaev and Abhik Roychoudhury (paper)
5. Automatic Rollback Suggestions for Incremental Datalog Evaluation, PADL'23:
   David Zhao, Pavle Subotic, Mukund Raghothaman and Bernhard Scholz (paper)
6. Building a Join Optimizer for Souffle, LOPSTR'22:
   Samuel Arch, Xiaowen Hu, David Zhao,Pavle Subotic, Bernhard Scholz (paper)
7. Statically Detecting Data Leakages in Data Science Code, SOAP@PLDI'22:
   Pavle Subotic, Uros Bojanic, Milan Stojic (paper)
8. Scalable Typestate Analysis for Low-Latency Environments, iFM'22:
   Alen Arslanagic, Pavle Subotic, Jorge Perez (paper)
9. A Static Analysis Framework for Data Science Notebooks, ICSE'22:
   Pavle Subotic, Lazar Milikic, Milan Stojic (paper)
10. Towards Elastic Incrementalization for Datalog, PPDP'21:
    David Zhao, Pavle Subotic, Muhund Raghothaman, Bernhard Scholz (paper)
11. A Scalable Provenance Evaluation Strategy for Datalog, TOPLAS/POPL'21:
    David Zhao, Pavle Subotic, Bernhard Scholz (paper)
12. 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)
13. Incremental Datalog Prototype in Souffle, IC@SPLASH '19,
    David Zhao, Pavle Subotic, Bernhard Scholz
14. Specializing Parallel Data Structures for Datalog, CCPE:
    Herbert Jordan, Pavle Subotic, David Zhao, Bernhard Scholz (paper)
15. Fast Parallel Equivalence Relations in a Datalog Compiler, PACT'19:
    Patrick Nappa, David Zhao, Pavle Subotic, Bernhard Scholz (paper)
16. Reachability Analysis for AWS-based Networks, CAV'19:
    Pavle Subotic, Byron Cook and many other authors (paper)
17. Brie: A Specialized Trie for Concurrent Datalog, PMAM@PPoPP'19:
    Herbert Jordan, Pavle Subotic, David Zhao, Bernhard Scholz (paper)
18. A Specialized B-Tree for Concurrent Datalog Evaluation, PPoPP'19:
    Herbert Jordan, Pavle Subotic, David Zhao, Bernhard Scholz (paper)
19. Automatic Index Selection for Large-Scale Datalog Computation, VLDB'19:
    Pavle Subotic, Herbert Jordan, Lijun Chang, Alan Fekete, Bernhard Scholz (paper)
20. Two concurrent data structures for efficient datalog query processing, PPOPP'18:
    Herbert Jordan, Bernhard Scholz, Pavle Subotic (paper)
21. Souffle: On Synthesising Program Analyzers, CAV'16
    Herbert Jordan, Bernhard Scholz, Pavle Subotic (paper)
22. On fast large-scale program analysis in Datalog, CC'16
    Bernhard Scholz, Herbert Jordan, Pavle Subotic, Till Westmann (paper)
23. Guiding Craig Interpolation with Domain-specific Abstractions, Acta Informatica, Issue 53
    Jerome Leurox, Philipp Rümmer, Pavle Subotic (paper)
24. Horn Clauses for Communicating Timed Systems, HCVS'14
    Hossein Hojjat, Philipp Rümmer, Pavle Subotic, Wang Yi (paper)
25. Exploring interpolants, FMCAD'13
    Philipp Rümmer, Pavle Subotic (paper)
26. Logico-Numerical Max-Strategy Iteration, VMCAI'13
    Peter Schrammel, Pavle Subotic (paper)
27. Static Analysis by Elimination, Bytecode@ETAPS'13
    Pavle Subotic, Andrew Santosa, Bernhard Scholz (paper)