Elizabeth Polgreen
Reader
Develops formal and machine-learning-based program synthesis, including synthesis guided by large language models, to scale verification.
Elizabeth Polgreen's lab at Edinburgh works on compilers & programming languages, large language models and speech synthesis & voice. 22 papers since 2023, 5 at top venues, mostly AAAI and PACMPL. 6 PhD students. 3 alumni.
At a glance
- papers, 2023–2026
- 6/ year
- at T1 venues
- 23%
- PhD students
- 6
- MS students
- 0
- alumni listed
- 3
Papers by yearfrom DBLP, 2023–2026
- 3 papers2026 · T1 0 · collecting
- 9 papers2025 · T1 2
- 4 papers2024 · T1 2
- 6 papers2023 · T1 1
T1 venuesOtherVenues: AAAI, PACMPL, Findings of ACL, NeurIPS
Research focuspaper titles that use each topic's words
- Speech synthesis & voice11 papers
- synthesis11 papers
- Large language models2 papers
- Compilers & programming languages1 paper
- machine-learning-based0 papers
Paper list
From DBLP.
20263 papers
20259 papers
- PACTGuess, Measure & Edit: Using Lowering to Lift Tensor Code (opens in a new tab)
- PACMPL (T1)Guided Tensor Lifting (opens in a new tab)
- Findings of ACLHyGenar: An LLM-Driven Hybrid Genetic Algorithm for Few-Shot Grammar Generation (opens in a new tab)
- xAIMetric-Guided Synthesis for Class Activation Mapping (opens in a new tab)
- AAAI (T1)Online Prompt Selection for Program Synthesis (opens in a new tab)
- FMCADPolyVer: A Compositional Approach for Polyglot System Modeling and Verification (opens in a new tab)
- SMT/POS@CP/SAT/SoCSSyntax-Guided Synthesis with Counterexample-Guided E-graphs: A Work-in-Progress Report (opens in a new tab)
- CGOTensorize: Fast Synthesis of Tensor Programs from Legacy Code using Symbolic Tracing, Sketching and Solving (opens in a new tab)
- FMCADUnlocking Hardware Verification with Oracle Guided Synthesis (opens in a new tab)
20244 papers
- FMA Pyramid Of (Formal) Software Verification (opens in a new tab)
- CAVGuiding Enumerative Program Synthesis with Large Language Models (opens in a new tab)
- AAAI (T1)Reinforcement Learning and Data-Generation for Syntax-Guided Synthesis (opens in a new tab)
- NeurIPS (T1)Synthetic Programming Elicitation for Text-to-Code in Very Low-Resource Programming and Formal Languages (opens in a new tab)
20236 papers
- GPCEC2TACO: Lifting Tensor Code to TACO (opens in a new tab)
- PACMPL (T1)Message Chains for Distributed System Verification (opens in a new tab)
- PACTmlirSynth: Automatic, Retargetable Program Raising in Multi-Level IR Using Program Synthesis (opens in a new tab)
- J. Autom. Reason.Synthesising Programs with Non-trivial Constants (opens in a new tab)
- Dagstuhl ReportsThe Futures of Reactive Synthesis (Dagstuhl Seminar 23391) (opens in a new tab)
- ACM Trans. Embed. Comput. Syst.Towards Building Verifiable CPS using Lingua Franca (opens in a new tab)
Where alumni went3 listed
Apply to EdinburghFall 2027
Not announced yet
Informatics PhD
- Round
- Rolling (funding consideration)
- Opens
- —
- GRE
- See program page
- English
- See program page
- Fee
- none
Not yet confirmed for this intake.
Similar labsnearest by research summary
- USMichigan
Anhong Guo
- Human-AI collaboration & trust
- USMichigan
Elizabeth Bondi-Kelly
- Reasoning & neuro-symbolic AI
- HKCUHK
Irwin King
- Graph learning
- USStanford
Emma Brunskill
- Reinforcement learning
- USMIT
Manish Raghavan
- Trustworthy & safe ML
- USGeorgia Tech
Ling Liu
- Trustworthy & safe ML
Your notes
Save this lab to keep notes.
Data
Checked against the lab homepage.
- Collected
- Verified
- Papers
- DBLP
- Members
- Lab homepage
- Alumni
- Lab homepage
Tiers are venue classifications, not lab rankings.