Andrés Goens -

Registered user since Fri 31 Mar 2023

Name:Andrés Goens

Affiliation:University of Amsterdam

Personal website: https://goens.org

GitHub: https://github.com/goens

Contributions

2025

Dutch Formal Methods Day

Committee Member in Organizing Committee within the Dutch Formal Methods Day 2025-track

PLDI

Committee Member in PLDI Review Committee within the PLDI Research Papers-track

CGO

2024

PLDI

EGRAPHS

Author of Bridging Syntax and Semantics of Lean Expressions in E-Graphs within the EGRAPHS 2024-track

Dutch Formal Methods Day

Author of Guided Equality Saturation within the Dutch Formal Methods Day 2024-track

CGO

POPL

Author of Guided Equality Saturation within the POPL-track

2023

ICFP

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

PLDI

Author of Compound Memory Models within the PLDI Research Papers-track

CGO

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

2022

ICFP

United Kingdom in Evaluators within the Artifact Evaluation-track

EGRAPHS

Author of Equality Saturation as a Tactic for Proof Assistants within the EGRAPHS 2022-track