IOHK |
Library
Library > Manuel Chakravarty
Manuel Chakravarty
Technical Architect
Engineering
Netherlands
A Layered Certifying Compiler Architecture
Jacco Krijnen,Wouter Swierstra,Manuel Chakravarty,Joris Dral,Gabriele Keller
October/2025, To appear in: FUNARCH '25
Translation certification for smart contracts (SCP)
Jacco Krijnen,Manuel Chakravarty,Gabriele Keller,Wouter Swierstra
November/2023, Science of Computer Programming
The Extended UTXO Model
Manuel Chakravarty,James Chapman,Kenneth MacKenzie,Orestis Melkonian,Michael Peyton Jones,Prof Philip Wadler
February/2020, Workshop on Trusted Smart Contracts (Financial Cryptography 2020)