SPLASH 2019 (series) / Pavle Subotic
Registered user since Wed 12 Oct 2016
Name: Pavle Subotic
Bio: http://psubotic.github.io/
Country: United Kingdom
Affiliation: Amazon
Research interests: Static Analysis
Contributions
| IC 2019 | Author of Incremental Datalog Prototype in Soufflé within the IC 2019-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
Using general profile