João Santos Reis

Publication Activity (10 Years)

Years Active: 2020-2020
Publications (10 Years): 4

Top Topics

Static Analysis

Abstract Interpretation

Intermediate Representation

Top Venues

Publications

João Santos Reis, Paul Andrew Crocker, Simão Melo de Sousa
Tezla, an Intermediate Representation for Static Analysis of Michelson Smart Contracts. CoRR (2020)
Luís Pedro Arrojado da Horta, João Santos Reis, Simão Melo de Sousa, Mário Pereira
. Blockchain (2020)
Luís Pedro Arrojado da Horta, João Santos Reis, Mário Pereira, Simão Melo de Sousa
WhylSon: Proving your Michelson Smart Contracts in Why3. CoRR (2020)
João Santos Reis, Paul Andrew Crocker, Simão Melo de Sousa
Tezla, an Intermediate Representation for Static Analysis of Michelson Smart Contracts. FMBC@CAV (2020)