Pavle Subotic -

Registered user since Wed 12 Oct 2016

Name:Pavle Subotic

Bio:

http://psubotic.github.io/

Country:Serbia

Affiliation:Microsoft Azure

Personal website: http://psubotic.github.io/

Research interests:Static Analysis, Databases

Contributions

2023

Symposium on Practical Aspects of Declarative Languages

Author of Automatic Rollback Suggestions for Incremental Datalog Evaluation within the PADL 2023-track

ESEC/FSE

Author of Program Repair Guided by Datalog-Defined Static Analysis within the Research Papers-track

CAIN

Author of Automatically Resolving Data Source Dependency Hell in Large Scale Data Science Projects within the Papers-track

2022

SOAP

Presenter of Statically Detecting Data Leakages in Data Science Code within the SOAP 2022-track

ICSE

Author of A Static Analysis Framework for Data Science Notebooks within the SEIP - Software Engineering in Practice-track

2021

POPL

2020

Infer

Invited Speaker of Concise Explanations in Static Analysis Driven Code Reviews – Invited Talk within the Infer Practitioners 2020-track

2019

Incremental Computing

Author of Incremental Datalog Prototype in Soufflé within the IC 2019-track

Principles and Practice of Parallel Programming

Author of A Specialized B-Tree for Concurrent Datalog Evaluation within the Main Conference-track

2018

DPA

Author of Scalable Logic Defined Static Analysis with Soufflé within the DPA-track

2017

PLDI

Author of Engineering Static Analyzers with Soufflé within the PLDI Tutorials-track