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