• Sign in
  • Sign up
conf.researchr.org / Elvira Albert
  • ECOOP 2019 profile
  • ICST 2020 profile
  • ICST 2021 profile
  • ISSTA 2019 profile
  • ISSTA 2020 profile
  • PEPM 2015 profile
  • POPL 2017 profile
  • POPL 2019 profile

Not registered as user yet

Name:Elvira Albert
Personal website:http://costa.ls.fi.upm.es/~elvira/

Contributions

ICST 2021 Committee Member in Program Committee within the Research Papers-track
ISSTA 2020 Committee Member in Program Committee within the WoSCA-track
ICST 2020 Committee Member in Program Committee within the Research Papers-track
VORTEX 2019 Committee Member in Program Committee within the VORTEX 2019-track
PEPM 2019 Committee Member in Program Committee within the PEPM 2019-track
ISSTA 2019 Author of Optimal Context-Sensitive Dynamic Partial Order Reduction with Observers within the Technical Papers-track
Author of SAFEVM: A Safety Verifier for Ethereum Smart Contracts within the Tool Demonstration-track
PEPM 2017 Committee Member in Programme Committee within the PEPM 2017-track
Committee Member in Programme Committee
PEPM 2015 Committee Member in Program Committee within the PEPM 2015-track
Committee Member in Steering Committee within the PEPM 2015-track

Share
xSun 22 May 10:39
using conf.researchr.org (v1.55.6)
Support page
Sign Up