List of works - Pavle Subotic - Paulina

List of works by Pavle Subotic

Ambit: Verification of Azure RBAC

scientific article published on 23 November 2023

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

scientific article published on 05 June 2023

Program Repair Guided by Datalog-Defined Static Analysis

scientific article published on 30 November 2023

Paulina is supported by:

About Paulina

Help