• Sign in
  • Sign up
conf.researchr.org / Hernán Ponce de León
  • ECOOP and ISSTA 2023 profile
  • PLDI 2020 profile
  • PLDI 2021 profile
  • PLDI 2022 profile
  • POPL 2022 profile
  • POPL 2024 profile
  • SPLASH 2020 profile
  • SPLASH 2022 profile
  • SPLASH 2023 profile
  • SPLASH/ISSTA 2026 profile
Hernán Ponce de León

Registered user since Sun 19 Jan 2020

Name:Hernán Ponce de León
Country:Germany
Affiliation:Huawei Dresden Research Center
Personal website: https://hernanponcedeleon.github.io
X (Twitter): https://x.com/h_poncedeleon
GitHub: https://github.com/hernanponcedeleon

Contributions

2026

SPLASH

  • Committee Member in OOPSLA Review Committee within the OOPSLA-track

2024

The Future of Weak Memory

  • Author of On the need for available, functional, and reusable memory models within the The Future of Weak Memory 2024-track

2023

SPLASH

  • Author of Static Analysis of Memory Models for SMT Encodings within the OOPSLA-track

ECOOP

  • Co-chair in Extended Review Committee and External Reviewers within the Research Papers-track
  • Co-chair in Artifact Evaluation Committee within the Artifacts-track
  • Artifact Evaluation Co-Chair in Organizing Committee

2022

SPLASH

  • Author of CAAT: Consistency as a Theory within the OOPSLA-track

PLDI

  • Committee Member in Artifact Evaluation Committee within the Research Artifacts-track

POPL

  • Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track

2021

PLDI

  • Committee Member in Artifact Evaluation Committee within the Research Artifacts-track

2020

SPLASH

  • Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track

PLDI

  • Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
Share
xSat 14 Jun 09:16
using conf.researchr.org (v1.69.0)
Support page
Sign Up