Write a Blog >>
PLDI 2020
Mon 15 - Fri 19 June 2020
Constantin Enea

Registered user since Fri 3 Jul 2015

Name: Constantin Enea

Affiliation: University of Paris Diderot, France

Personal website: https://www.irif.fr/~cenea/

Contributions

PLDI 2020 Inductive Sequentialization of Asynchronous Programs
Behavioral Simulation for Smart Contracts
Show activities from other conferences

PLDI 2020-profile
View general profile