Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Ramana Kumar
conf.researchr.org general profile
ECOOP 2022 profile
ICFP 2016 profile
ICFP 2017 profile
ICFP 2018 profile
PLDI 2019 profile
PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM profile
POPL 2017 profile
POPL 2019 profile
POPL 2020 profile
Registered user since Fri 18 Nov 2016
Name:
Ramana Kumar
Country:
United Kingdom
Affiliation:
DeepMind
Contributions
ECOOP 2022
Author of Verified Compilation and Optimization of Floating-Point Programs in CakeML within the Research Papers-track
PADL 2020
Committee Member in Program Committee within the PADL 2020-track
PLDI 2019
Author of Verified Compilation on a Verified Processor within the PLDI Research Papers-track
PADL 2019
Committee Member in Program Committee within the PADL 2019-track
ML 2018
Committee Member in Program Committee within the ML 2018-track
ICFP 2017
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
PLDI 2017
Tutorial organizer of Writing Verified Programs in CakeML within the PLDI Tutorials-track
CPP 2017
Author of Verified compilation of CakeML to multiple machine-code targets within the CPP-track
ICFP 2016
Author of A New Verified Compiler Backend for CakeML within the Research Papers-track
Scheme 2016
Committee Member in Program Committee within the Scheme-track
Share
x
Fri 2 Jun 08:14