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