Cezara Drăgoi -

Registered user since Thu 30 Jun 2016

Name: Cezara Drăgoi

Country: France

Affiliation: INRIA, ENS, CNRS

Personal website: http://www.di.ens.fr/~cezarad/

Research interests: static analysis, decision procedures, data structures

Contributions

VMCAI 2021	Committee Member in Program Committee within the VMCAI-track
SPLASH 2020	Author of Programming at the Edge of Synchrony within the OOPSLA-track Author of Testing Distributed Systems using Communication Closure within the OOPSLA-track
PLDI 2020	Committee Member in Program Committee within the PLDI Research Papers-track
POPL 2020	Committee Member in Program Committee within the Research Papers-track
VMCAI 2019	Committee Member in Program Committee within the VMCAI 2019-track Session Chair of Networks and Concurrency (part of VMCAI 2019)
ECOOP 2019	Committee Member in Program Committee within the Research Papers-track
VMCAI 2017	Committee Member in Program committee
PLDI 2017	Committee Member in Program Committee
POPL 2016	Author of PSync: a partially synchronous language for fault-tolerant distributed algorithms within the Research Papers-track