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

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