Elizabeth Polgreen
Assistant Professor
School of Informatics
University of Edinburgh
elizabeth.polgreen[at]ed.ac.uk
About
I am a lecturer (~Assistant Professor in US terminology) in the School of Informatics at the University of Edinburgh. I am interested in formal program synthesis techniques and the use of synthesis to increase the scalability of verification. I hold a research fellowship from the Royal Academy of Engineering.
Previously, I was a postdoctoral research scholar in Professor Sanjit Seshia's group at the University of California, Berkeley. I completed my PhD at the University of Oxford, supervised by Professor Alessandro Abate.
My CV is available here.
News
September 2024- Our paper on Synthetic Programming Elicitation and Repair for Text-to-Code in Very Low Resource Programming Languages is accepted at Neurips 2024
- The paper the goes along with our tutorial on The Pyramid of (Formal) Software Verification is in the FM proceedings here.
- Slides from my keynote at SYNT 2024 are here.
- A pre-print of our work on Synthetic Programming Elicitation and Repair for Text-to-Code in Very Low Resource Programming Languages is available here.
- I presented our work using program synthesis for program lifting at the VeTSS annual meeting.
- My TedX Talk on Sherlock Holmes and the Case of the Untrustworthy Software is online.
- Our work on Guiding Enumerative Program Synthesis with Large Language Models is accepted at CAV 2024. Yixuan Li is also presenting this work at the EuroProofNet workshop. Pre-print, workshop.
- The proceedings for AAAI 2024 are now out. Our paper is here.
- Our work on Reinforcement Learning and Data-Generation for Syntax-Guided Synthesis is accepted at AAAI 2024. Pre-print.
- I have a PhD studentship available. More details here.
- Our work lifting C to TACO received the Best Paper Award at GPCE
- I am giving a talk at TedXUniversityofEdinburgh on the 21st October. The theme is "The Great Unknown".
- I have received a research fellowship from the Royal Academy of Engineering which begins on the 31st October
- José Wesley De Souza Magalhães will present our work on automatically lifting tensor code to TACO at GPCE 2023
- Federico Mora will present our work on verifying distributed systems with message chains at OOPSLA 2023
- Alexander Brauckman will present our work on Automatic, Retargetable Program Raising in Multi-Level IR using Program Synthesis at PACT 2023
- Shaokai Lin presented our Verifiable CPS using Lingua Franca at EMSOFT 2023
- Yixuan Li will talk about our work using genetic algorithms to find good grammars for synthesis at SYNT 2023
- Julian Parsert will present our work using reinforcement learning in Syntax Guided Synthesis at SYNT 2023
- I have received an Amazon Research Award to fund my work on automatically modernizing code.
Talks
Some of the talks I have given are available on YouTube:- Sherlock Holmes and the Case of the Untrustworthy Software - TedXUniversityOfEdinburgh video
- Introduction to SAT and SMT - SPLV 2022: Part 1 video, Part 2 video
- Satisfiability and Synthesis Modulo Oracles - VMCAI 2022: video
- Should We Wake the Developer Up? Using Model Checking to Triage the Severity of Security Vulnerabilities in the Xen Hypervisor - FMCAD 2020: video