Hrutvik Kanabar

According to our database, Hrutvik Kanabar authored at least 6 papers between 2020 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Fast, Verified Computation for HOL ITPs.

Oskar Abrahamsson, Magnus O. Myreen, Michael Norrish, Hrutvik Kanabar, Johannes Åman Pohjola

J. Autom. Reason., March, 2025

A Graded Modal Approach to Relaxed Semantic Declassification.

Vineet Rajani, Alex Coleman, Hrutvik Kanabar

Proceedings of the 38th IEEE Computer Security Foundations Symposium, 2025

2024

Verified Inlining and Specialisation for PureCake.

Hrutvik Kanabar, Kacper Korban, Magnus O. Myreen

Proceedings of the Programming Languages and Systems, 2024

2023

PureCake: A Verified Compiler for a Lazy Functional Language.

Hrutvik Kanabar, Samuel Vivien, Oskar Abrahamsson, Magnus O. Myreen, Michael Norrish, Johannes Åman Pohjola, Riccardo Zanetti

Proc. ACM Program. Lang., 2023

2022

Taming an Authoritative Armv8 ISA Specification: L3 Validation and CakeML Compiler Verification.

Hrutvik Kanabar, Anthony C. J. Fox, Magnus O. Myreen

Proceedings of the 13th International Conference on Interactive Theorem Proving, 2022

2020

Proof-Producing Synthesis of CakeML from Monadic HOL Functions.

Oskar Abrahamsson, Son Ho, Hrutvik Kanabar, Ramana Kumar, Magnus O. Myreen, Michael Norrish, Yong Kiam Tan

J. Autom. Reason., 2020