Ramana Kumar -

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