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
Name:
Elvira Albert
Personal website:
http://costa.ls.fi.upm.es/~elvira/
Contributions
2021
ICST
Committee Member in Program Committee within the Research Papers-track
2020
ICST
Committee Member in Program Committee within the Research Papers-track
ISSTA
Committee Member in Program Committee within the WoSCA-track
2019
ISSTA
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
VORTEX
Committee Member in Program Committee within the VORTEX 2019-track
PEPM
Committee Member in Program Committee within the PEPM 2019-track
2017
PEPM
Committee Member in Programme Committee within the PEPM 2017-track
Committee Member in Programme Committee
2015
PEPM
Committee Member in Program Committee within the PEPM 2015-track
Committee Member in Steering Committee within the PEPM 2015-track
Share
x
Fri 20 Jun 04:03