
Registered user since Wed 12 Oct 2016
Name:Pavle Subotic
Country:Serbia
Affiliation:Microsoft Azure
Personal website:http://psubotic.github.io/
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
View general profile