Pavle Subotic
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
18
Venues
15
Active years
2013–2024
Best venue rank
A*
Where they publish
Papers
18 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | TASE | An Abstract Interpretation-Based Data Leakage Static Analysis. | Filip Drobnjakovic, Pavle Subotic, Caterina Urban |
| 2023 | CAIN | Automatically Resolving Data Source Dependency Hell in Large Scale Data Science Projects. | Laurent Bou, Pratap Kunireddy, Pavle Subotic |
| 2023 | FM | Efficient SMT-Based Network Fault Tolerance Verification. | Yu Liu, Pavle Subotic, Emmanuel Letier, Sergey Mechtaev, Abhik Roychoudhury |
| 2023 | PADL | Automatic Rollback Suggestions for Incremental Datalog Evaluation. | David Zhao, Pavle Subotic, Mukund Raghothaman, Bernhard Scholz |
| 2023 | SIGMOD | 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 |
| 2022 | ICSE | A Static Analysis Framework for Data Science Notebooks. | Pavle Subotic, Lazar Milikic, Milan Stojic |
| 2022 | IFM | Scalable Typestate Analysis for Low-Latency Environments. | Alen Arslanagic, Pavle Subotic, Jorge A. Prez |
| 2022 | LOPSTR | Building a Join Optimizer for Souffl. | Samuel Arch, Xiaowen Hu, David Zhao, Pavle Subotic, Bernhard Scholz |
| 2022 | PLDI | Statically detecting data leakages in data science code. | Pavle Subotic, Uros Bojanic, Milan Stojic |
| 2021 | PPDP | Towards Elastic Incrementalization for Datalog. | David Zhao, Pavle Subotic, Mukund Raghothaman, Bernhard Scholz |
| 2019 | CAV | 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 |
| 2019 | PPoPP | A specialized B-tree for concurrent datalog evaluation. | Herbert Jordan, Pavle Subotic, David Zhao, Bernhard Scholz |
| 2019 | PPoPP | Brie: A Specialized Trie for Concurrent Datalog. | Herbert Jordan, Pavle Subotic, David Zhao, Bernhard Scholz |
| 2018 | PPoPP | Two concurrent data structures for efficient datalog query processing. | Herbert Jordan, Bernhard Scholz, Pavle Subotic |
| 2016 | CAV | Souffl: On Synthesis of Program Analyzers. | Herbert Jordan, Bernhard Scholz, Pavle Subotic |
| 2016 | CC | On fast large-scale program analysis in Datalog. | Bernhard Scholz, Herbert Jordan, Pavle Subotic, Till Westmann |
| 2013 | FMCAD | Exploring interpolants. | Philipp Rmmer, Pavle Subotic |
| 2013 | VMCAI | Logico-Numerical Max-Strategy Iteration. | Peter Schrammel, Pavle Subotic |