Ramana Kumar
University of Cambridge(GB)
Publications by Year
Research Areas
Logic, programming, and type systems, Formal Methods in Verification, Security and Verification in Computing, Parallel Computing and Optimization Techniques, Logic, Reasoning, and Knowledge
Most-Cited Works
- → CakeML(2014)315 cited
- → Functional Big-Step Semantics(2016)67 cited
- → A new verified compiler backend for CakeML(2016)49 cited
- → The verified CakeML compiler backend(2019)47 cited
- → TacticToe: Learning to Prove with Tactics(2020)40 cited
- → Self-Formalisation of Higher-Order Logic(2016)33 cited
- → Verified Characteristic Formulae for CakeML(2017)31 cited
- → A Proof Strategy Language and Proof Script Generation for Isabelle/HOL(2017)27 cited
- → HOL with Definitions: Semantics, Soundness, and a Verified Implementation(2014)24 cited