Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Rei Thiessen
conf.researchr.org general profile
ECOOP and ISSTA 2018 profile
Registered user since Wed 1 Aug 2018
Name:
Rei Thiessen
Affiliation:
Google Inc.
Contributions
2018
DPA
Author of Simple encoding of lattices in Datalog within the DPA-track
Share
x
Sat 23 Nov 10:26