• 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

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
xThu 22 May 05:47
using conf.researchr.org (v1.69.0)
Support page
Sign Up