• Sign in
  • Sign up
conf.researchr.org / Albert Rubio
  • ECOOP 2025 profile
  • ISSTA/ECOOP 2024 profile
  • PLDI 2024 profile
  • SPLASH 2020 profile
Albert Rubio

Registered user since Wed 7 Oct 2020

Name:Albert Rubio
Country:Spain
Affiliation:Complutense University of Madrid
Personal website: https://costa.fdi.ucm.es/~arubio/
Research interests:Automated Reasoning, Constraint Solving, Program Analysis, Compilers, Blockchain technologies

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

2020

SPLASH

  • Author of Taming Callbacks for Smart Contract Modularity within the OOPSLA-track
Share
xFri 23 May 04:09
using conf.researchr.org (v1.69.0)
Support page
Sign Up