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	Session Chair of Session 4A (part of SAS) Session Chair of Session 2B (part of SAS) Session Chair of Session 2C (part of SAS) Co-chair in Program Committee within the SAS-track Co-chair in Organizing Committee within the SAS-track Session Chair of Session 1A (part of SAS)
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