Cezara Drăgoi -

Registered user since Thu 30 Jun 2016

Name:Cezara Drăgoi

Affiliation:Inria / ENS / Informal Systems

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

Research interests:static analysis, decision procedures, data structures, distributed systems verification and design

Contributions

SAS 2021	Co-chair in Program Committee within the SAS-track Co-chair in Organizing Committee within the SAS-track
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 Consensus Implementations 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