Registered user since Wed 1 Aug 2018
Name: Rei Thiessen
Affiliation: Google Inc.
Contributions
| DPA 2018 | Simple encoding of lattices in Datalog | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ECOOP and ISSTA 2018-profile
View general profile
View general profile