Ramana Kumar

Registered user since Fri 18 Nov 2016

Name:Ramana Kumar
Country:United Kingdom
Affiliation:DeepMind

Contributions

PLDI 2019 Verified Compilation on a Verified Processor
Show activities from other conferences

PLDI 2019-profile
View general profile