Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Elvira Albert
conf.researchr.org general profile
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
x
Thu 24 Jun 15:37