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