Cezara Drăgoi -

Registered user since Tue 8 Nov 2022

Name:Cezara Drăgoi

Affiliation: AWS / ENS

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

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

Contributions

SOAP 2023	Committee Member in Program Committee within the SOAP 2023-track
VMCAI 2023	Program Co-Chair in Organizing Committee within the VMCAI 2023-track Committee Member in Program Committee within the VMCAI 2023-track
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
ECOOP 2019	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)
PLDI 2017	Committee Member in Program Committee
VMCAI 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