Arthur Azevedo de Amorim | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Pricing

Featured Co-authors

Marco Gaboardi
2 publications
Justin Hsu
2 publications
Shin-ya Katsumata
2 publications
Guglielmo Fachini
1 publication
Ana Nora Evans
1 publication
Théo Laurent
1 publication
Benjamin C. Pierce
1 publication
Andrew Tolmach
1 publication
Marco Stronati
1 publication
Carmine Abate
1 publication
Roberto Blanco
1 publication

research

∙ 07/13/2018

Metric Semantics for Probabilistic Relational Reasoning

The Fuzz programming language [Reed and Pierce, 2010] uses an elegant li...

0 Arthur Azevedo de Amorim, et al. ∙

research

∙ 02/02/2018

When Good Components Go Bad: Formally Secure Compilation Despite Dynamic Compromise

We propose a new formal criterion for secure compilation, giving strong ...

0 Guglielmo Fachini, et al. ∙

Success!

An error occurred