Ramana Kumar

Registered user since Fri 18 Nov 2016

Name: Ramana Kumar

Country: Australia

Affiliation: Data61 at CSIRO, Australia / UNSW, Australia

Personal website: http://ts.data61.csiro.au/people/?cn=Ramana+Kumar

Contributions

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
CPP 2017	Author of Verified compilation of CakeML to multiple machine-code targets within the CPP-track
Scheme 2016	Committee Member in Program Committee within the Scheme-track
PLDI 2017	Tutorial organizer of Writing Verified Programs in CakeML within the PLDI Tutorials-track
ICFP 2016	Author of A New Verified Compiler Backend for CakeML within the Research Papers-track