Elizabeth Polgreen -

Registered user since Tue 14 May 2024

Name:Elizabeth Polgreen

Country:United Kingdom

Affiliation:University of Edinburgh

Personal website: https://polgreen.github.io

Contributions

2026

SPLASH

Committee Member in OOPSLA Review Committee within the OOPSLA-track

CGO

Author of Tensor Program Superoptimization through Cost-Guided Symbolic Program Synthesis within the Main Conference-track

CC

Author of Accelerating Sparse Algebra with Program Synthesis within the Main Conference-track

2025

PLDI

Author of Guided Tensor Lifting within the PLDI Research Papers-track

CGO

Author of Tensorize: Fast Synthesis of Tensor Programs from Legacy Code using Symbolic Tracing, Sketching and Solving within the Main Conference-track

2024

GPCE

Author in Program Committee within the GPCE 2024-track

SPLASH

Committee Member in Reviewers within the Student Research Competition-track

VMCAI

Committee Member in Program Committee within the VMCAI 2024-track

2023

GPCE

Author of C2TACO: Lifting Tensor Code to TACO within the GPCE 2023-track

SPLASH

Author of Message Chains for Distributed System Verification within the OOPSLA-track

PriSC

Committee Member in Program Committee within the PriSC 2023-track

2022

VMCAI