Elvira Albert -

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