• Sign in
  • Sign up
conf.researchr.org / Cezara Drăgoi
  • ECOOP 2019 profile
  • PLDI 2020 profile
  • PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM profile
  • POPL 2016 profile
  • POPL 2017 profile
  • POPL 2019 profile
  • POPL 2020 profile
  • POPL 2021 profile
  • SPLASH 2020 profile
  • SPLASH 2021 profile
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

Share
xMon 8 Mar 18:49
using conf.researchr.org (v1.43.2)
Support page
Sign Up