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