• Sign in
  • Sign up
conf.researchr.org / Elvira Albert
  • ECOOP 2025 profile
  • FLOPS 2022 profile
  • ICST 2020 profile
  • ISSTA/ECOOP 2024 profile
  • PLDI 2022 profile
  • PLDI 2024 profile
  • SPLASH 2020 profile
Elvira Albert

Registered user since Fri 9 Oct 2020

Name:Elvira Albert
Country:Spain
Affiliation:Complutense University of Madrid

Contributions

2025

ECOOP

  • Committee Member in Programme Committee within the Technical Papers-track

2024

ISSTA

  • Author of Synthesis of Sound and Precise Storage Cost Bounds via Unsound Resource Analysis and Max-SMT within the Technical Papers-track

PLDI

  • Author of SuperStack: Superoptimization of Stack-Bytecode via Greedy, Constraint-Based, and SAT Techniques within the PLDI Research Papers-track

2022

SOAP

  • Keynote Speaker of Program Analysis for the Optimization and Verification of (Ethereum) Smart Contracts within the SOAP 2022-track

FLOPS

  • Committee Member in Program Committee within the FLOPS 2022-track

2020

SPLASH

  • Author of Taming Callbacks for Smart Contract Modularity within the OOPSLA-track

ICST

  • Author of Smart - and also reliable and gas-efficient - Contracts within the Research Papers-track
Share
xTue 20 May 19:53
using conf.researchr.org (v1.69.0)
Support page
Sign Up