Hrutvik Kanabar

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 4

Top Topics

Signature Verification

Functional Language

Top Venues

Proc. ACM Program. Lang.

J. Autom. Reason.

Publications

Hrutvik Kanabar, Kacper Korban, Magnus O. Myreen
Verified Inlining and Specialisation for PureCake. ESOP (2) (2024)
Hrutvik Kanabar, Samuel Vivien, Oskar Abrahamsson, Magnus O. Myreen, Michael Norrish, Johannes Åman Pohjola, Riccardo Zanetti
PureCake: A Verified Compiler for a Lazy Functional Language. Proc. ACM Program. Lang. 7 (PLDI) (2023)
Hrutvik Kanabar, Anthony C. J. Fox, Magnus O. Myreen
Taming an Authoritative Armv8 ISA Specification: L3 Validation and CakeML Compiler Verification. ITP (2022)
Oskar Abrahamsson, Son Ho, Hrutvik Kanabar, Ramana Kumar, Magnus O. Myreen, Michael Norrish, Yong Kiam Tan
Proof-Producing Synthesis of CakeML from Monadic HOL Functions. J. Autom. Reason. 64 (7) (2020)