Manuel M. T. Chakravarty | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Aggelos Kiayias
20 publications
Wouter Swierstra
3 publications
Gabriele Keller
3 publications
Michael Peyton Jones
2 publications
Nikos Karayannidis
1 publication
Polina Vinogradova
1 publication
Jacco O. G. Krijnen
1 publication

research

∙ 01/13/2022

Translation Certification for Smart Contracts

Compiler correctness is an old problem, but with the emergence of smart ...

0 Jacco O. G. Krijnen, et al. ∙

research

∙ 06/02/2021

Babel Fees via Limited Liabilities

Custom currencies (ERC-20) on Ethereum are wildly popular, but they are ...

0 Manuel M. T. Chakravarty, et al. ∙