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