Hrutvik Kanabar

Orcid: 0000-0003-3116-0392

According to our database¹, Hrutvik Kanabar authored at least 4 papers between 2020 and 2024.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2024

Verified Inlining and Specialisation for PureCake.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Johannes Åman Pohjola

Riccardo Zanetti

Proc. ACM Program. Lang., 2023

2022

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

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

J. Autom. Reason., 2020

Hrutvik Kanabar

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...