Registered user since Fri 28 Apr 2017
Name:Ben Laurie
Affiliation:Google Research
Contributions
DeepSpec 2019 | Project Oak: Control Data in Distributed Systems, Verify All The Things | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
PLDI 2019-profile
View general profile
View general profile