Pavle Subotic

Registered user since Wed 12 Oct 2016

Name:Pavle Subotic
Country:Serbia
Affiliation:Microsoft Azure
Research interests:Static Analysis, Databases

Contributions

PADL 2023 Automatic Rollback Suggestions for Incremental Datalog Evaluation
Show activities from other conferences

POPL 2023-profile
View general profile