Cezara Drăgoi

Registered user since Tue 8 Nov 2022

Name:Cezara Drăgoi
Affiliation: AWS / ENS
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