Elizabeth Polgreen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
18
Venues
10
Active years
2017–2026
Best venue rank
A*
Where they publish
Papers
18 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CAV | Massively Parallel Mining of Specifications for Hardware Designs. | Leiqi Ye, Guy Frankel, Jianyi Cheng, Elizabeth Polgreen |
| 2026 | CC | Accelerating Sparse Algebra with Program Synthesis. | Jos Wesley de Souza Magalhes, Shideh Hashemian, Alexander Brauckmann, Jackson Woodruff, Elizabeth Polgreen, Michael F. P. O'Boyle |
| 2026 | CGO | Tensor Program Superoptimization through Cost-Guided Symbolic Program Synthesis. | Alexander Brauckmann, Aarsh Chaube, Jos Wesley de S. Magalhes, Elizabeth Polgreen, Michael F. P. O'Boyle |
| 2025 | AAAI | Online Prompt Selection for Program Synthesis. | Yixuan Li, Lewis Frampton, Federico Mora, Elizabeth Polgreen |
| 2025 | ACL | HyGenar: An LLM-Driven Hybrid Genetic Algorithm for Few-Shot Grammar Generation. | Weizhi Tang, Yixuan Li, Chris Sypherd, Elizabeth Polgreen, Vaishak Belle |
| 2025 | CGO | Tensorize: Fast Synthesis of Tensor Programs from Legacy Code using Symbolic Tracing, Sketching and Solving. | Alexander Brauckmann, Luc Jaulmes, Jos Wesley de Souza Magalhes, Elizabeth Polgreen, Michael F. P. O'Boyle |
| 2025 | FMCAD | PolyVer: A Compositional Approach for Polyglot System Modeling and Verification. | Pei-Wei Chen, Shaokai Lin, Adwait Godbole, Ramneet Singh, Elizabeth Polgreen, Edward A. Lee, Sanjit A. Seshia |
| 2025 | FMCAD | Unlocking Hardware Verification with Oracle Guided Synthesis. | Leiqi Ye, Yixuan Li, Guy Frankel, Jianyi Cheng, Elizabeth Polgreen |
| 2024 | AAAI | Reinforcement Learning and Data-Generation for Syntax-Guided Synthesis. | Julian Parsert, Elizabeth Polgreen |
| 2024 | CAV | Guiding Enumerative Program Synthesis with Large Language Models. | Yixuan Li, Julian Parsert, Elizabeth Polgreen |
| 2024 | FM | A Pyramid Of (Formal) Software Verification. | Martin Brain, Elizabeth Polgreen |
| 2023 | GPCE | C2TACO: Lifting Tensor Code to TACO. | Jos Wesley de Souza Magalhes, Jackson Woodruff, Elizabeth Polgreen, Michael F. P. O'Boyle |
| 2022 | CAV | UCLID5: Multi-modal Formal Modeling, Verification, and Synthesis. | Elizabeth Polgreen, Kevin Cheang, Pranav Gaddamadugu, Adwait Godbole, Kevin Laeufer, Shaokai Lin, Yatin A. Manerkar, Federico Mora, Sanjit A. Seshia |
| 2022 | VMCAI | Satisfiability and Synthesis Modulo Oracles. | Elizabeth Polgreen, Andrew Reynolds, Sanjit A. Seshia |
| 2021 | SAT | MedleySolver: Online SMT Algorithm Selection. | Nikhil Pimpalkhare, Federico Mora, Elizabeth Polgreen, Sanjit A. Seshia |
| 2020 | FMCAD | Using model checking tools to triage the severity of security bugs in the Xen hypervisor. | Byron Cook, Bjrn Dbel, Daniel Kroening, Norbert Manthey, Martin Pohlack, Elizabeth Polgreen, Michael Tautschnig, Pawel Wieczorkiewicz |
| 2018 | CAV | Counterexample Guided Inductive Synthesis Modulo Theories. | Alessandro Abate, Cristina David, Pascal Kesseli, Daniel Kroening, Elizabeth Polgreen |
| 2017 | CAV | Automated Formal Synthesis of Digital Controllers for State-Space Physical Plants. | Alessandro Abate, Iury Bessa, Dario Cattaruzza, Lucas C. Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening, Elizabeth Polgreen |