SPLASH 2019 (series) / Pavle Subotic

Registered user since Wed 12 Oct 2016
Name:Pavle Subotic
Country:United Kingdom
Affiliation:Amazon
Research interests:Static Analysis
Contributions
IC 2019 | Incremental Datalog Prototype in Soufflé | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
SPLASH 2019-profile
View general profile
View general profile