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

All Activities

• Committee Member in Program Committee for Scheme 2016
• Author of Verifying Efficient Function Calls in CakeML within the Research Papers-track in ICFP 2017
• Author of A New Verified Compiler Backend for CakeML within the Research Papers-track in ICFP 2016
• Presenter of Tutorial T1: Writing Verified Programs in CakeML within the Tutorials-track in ICFP 2017
• Presenter of Tutorial T1: Writing Verified Programs in CakeML (part 3) within the Tutorials-track in ICFP 2017
• Presenter of Tutorial T1: Writing Verified Programs in CakeML (part 2) within the Tutorials-track in ICFP 2017
• Committee Member in Program Committee for ML 2018
• Tutorial organizer of Writing Verified Programs in CakeML within the PLDI Tutorials-track in PLDI 2017
• Author of Verified compilation of CakeML to multiple machine-code targets within the CPP-track in CPP 2017