Browsing eNauka
Browsing by Author Subotic, Pavle
Showing results 1 to 11 of 11
| Issue Date | Title | Author(s) | Type | Мp-cat. |
|---|---|---|---|---|
| 2022 | A Static Analysis Framework for Data Science Notebooks | Subotic, Pavle; Milikic, Lazar; Stojic, Milan | Conference Paper | Mp. category will be shown later |
| 2023 | Ambit: Verification of Azure RBAC | Kupresanin, Matija; Subotic, Pavle | Conference Paper | Mp. category will be shown later |
| 2024 | An Abstract Interpretation-Based Data Leakage Static Analysis | Drobnjakovic, Filip; Subotic, Pavle; Urban, Caterina | Conference Paper | Mp. category will be shown later |
| 2023 | Automatically Resolving Data Source Dependency Hell in Large Scale Data Science Projects | Boue, Laurent; Kunireddy, Pratap; Subotic, Pavle | Conference Paper | Mp. category will be shown later |
| 2023 | Bit-Vector Typestate Analysis | Arslanagic, Alen; Subotic, Pavle; Perez, Jorge A | Article | 22M22 |
| 2022 | Building a Join Optimizer for Souffle | Arch, Samuel; Hu, Xiaowen; Zhao, David; Subotic, Pavle; Scholz, Bernhard | Conference Paper | Mp. category will be shown later |
| 2023 | Efficient SMT-Based Network Fault Tolerance Verification | Liu, Yu; Subotic, Pavle; Letier, Emmanuel; Mechtaev, Sergey; Roychoudhury, Abhik | Conference Paper | Mp. category will be shown later |
| 2023 | Program Repair Guided by Datalog-Defined Static Analysis | Liu, Yu; Mechtaev, Sergey; Subotic, Pavle; Roychoudhury, Abhik | Conference Paper | Mp. category will be shown later |
| 2025 | Reusable Formal Verification of DAG-Based Consensus Protocols | Bertrand, Nathalie; Ghorpade, Pranav; Rubin, Sasha; Scholz, Bernhard; Subotic, Pavle | Conference Paper | Mp. category will be shown later |
| 2022 | Scalable Typestate Analysis for Low-Latency Environments | Arslanagic, Alen; Subotic, Pavle; Perez, Jorge A | Conference Paper | Mp. category will be shown later |
| 2025 | Static analysis by abstract interpretation against data leakage in machine learning | Urban, Caterina; Subotic, Pavle; Drobnjakovic, Filip | Article | 22M22 |