• Sign in
  • Sign up
conf.researchr.org / Elizabeth Polgreen
  • CGO 2025 profile
  • PLDI 2025 profile
  • POPL 2022 profile
  • POPL 2023 profile
  • POPL 2024 profile
  • SPLASH 2023 profile
  • SPLASH 2024 profile
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

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

  • Session Chair of Program Verification (part of VMCAI 2022)
  • Author of Satisfiability and Synthesis Modulo Oracles within the VMCAI 2022-track
Share
xTue 13 May 23:17
using conf.researchr.org (v1.69.0)
Support page
Sign Up