Manuel M. T. Chakravarty | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

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. ∙

Success!

An error occurred