• Sign in
  • Sign up
conf.researchr.org / Ramana Kumar
  • 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
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

Share
xFri 2 Jun 08:14
using conf.researchr.org (v1.60.0)
Support page
Sign Up