Concepedia

Ramana Kumar

RK

17

Publications

708

Citations

13

H-Index

2014

Active since

Affiliations

Data61(Current)

Chalmers University of Technology

University of Cambridge

University of Kent

Commonwealth Scientific and Industrial Research Organisation

Ramana Kumar is an author at Data61 specializing in engineering, computer science, and verification.

Top concepts

EngineeringComputer ScienceVerificationAutomated ReasoningFormal MethodsProgram AnalysisFormal VerificationCompilersSoftware AnalysisComputer Engineering

Publications per year

2014–2023

17

Publications

17

CakeML

Ramana Kumar, Magnus O. Myreen, Michael Norrish et al. · 2014 · 313 citations

Program Checking, Engineering, Compiler Technology +18

A new verified compiler backend for CakeML

Yong Kiam Tan, Magnus O. Myreen, Ramana Kumar et al. · 2016 · 49 citations · Full text

The verified CakeML compiler backend

Yong Kiam Tan, Magnus O. Myreen, Ramana Kumar et al. · Journal of Functional Programming · 2019 · 47 citations

Engineering, Compiler Technology, Verification +21

Ramana Kumar, Magnus O. Myreen, Michael Norrish et al. · ACM SIGPLAN Notices · 2014 · 45 citations · Full text

Compiler Bootstrapping, Engineering, Runtime Verification +15

TacticToe: Learning to Prove with Tactics

Thibault Gauthier, Cezary Kaliszyk, Josef Urban et al. · Journal of Automated Reasoning · 2020 · 39 citations · Full text

Reward Hacking, Engineering, Automated Reasoning +7

Rows per page

1–5 of 17