
Registered user since Wed 12 Oct 2016
Name:Pavle Subotic
Country:Serbia
Affiliation:Microsoft and Mathematical Institute, Serbian Academy of Sciences and Arts (SASA)
Personal website:http://psubotic.github.io/
Research interests:Static Analysis, Databases
Contributions
POPL 2021 | Debugging Large-Scale Datalog: A Scalable Provenance Evaluation Strategy Abstracting Large-scale Datalog: A Scalable Provenance Evaluation Strategy | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2021-profile
View general profile
View general profile