conf.researchr.org / Ramana Kumar
Registered user since Fri 18 Nov 2016
Name:Ramana Kumar
Country:United Kingdom
Affiliation:DeepMind
Contributions
2020
Symposium on Practical Aspects of Declarative Languages
2019
Symposium on Practical Aspects of Declarative Languages
2017
ICFP
- Author of Verifying Efficient Function Calls in CakeML within the Research Papers-track
- Presenter of Tutorial T1: Writing Verified Programs in CakeML within the Tutorials-track
- Presenter of Tutorial T1: Writing Verified Programs in CakeML (part 3) within the Tutorials-track
- Presenter of Tutorial T1: Writing Verified Programs in CakeML (part 2) within the Tutorials-track