Elizabeth Polgreen

52 papers A* 4A 3B 8Journal 27Unranked 9
YearRankTypeTitle / Venue / Authors
2026 B conf
Accelerating Sparse Algebra with Program Synthesis.
CC
José Wesley de Souza Magalhães, Shideh Hashemian, Alexander Brauckmann, Jackson Woodruff, Elizabeth Polgreen, Michael F. P. O'Boyle
2026 A conf
Tensor Program Superoptimization through Cost-Guided Symbolic Program Synthesis.
CGO
Alexander Brauckmann, Aarsh Chaube, José Wesley de S. Magalhães, Elizabeth Polgreen, Michael F. P. O'Boyle
2025 B conf
Guess, Measure & Edit: Using Lowering to Lift Tensor Code.
PACT
José Wesley de Souza Magalhães, Jackson Woodruff, Jordi Armengol-Estapé, Alexander Brauckmann, Luc Jaulmes, Elizabeth Polgreen, Michael F. P. O'Boyle
2025 J jnl
Guided Tensor Lifting.
CoRR
Yixuan Li, José Wesley de Souza Magalhães, Alexander Brauckmann, Michael F. P. O'Boyle, Elizabeth Polgreen
2025 J jnl
Guided Tensor Lifting.
Proc. ACM Program. Lang.
Yixuan Li, José Wesley de Souza Magalhães, Alexander Brauckmann, Michael F. P. O'Boyle, Elizabeth Polgreen
2025 — conf
HyGenar: An LLM-Driven Hybrid Genetic Algorithm for Few-Shot Grammar Generation.
ACL (Findings)
Weizhi Tang, Yixuan Li, Chris Sypherd, Elizabeth Polgreen, Vaishak Belle
2025 J jnl
HyGenar: An LLM-Driven Hybrid Genetic Algorithm for Few-Shot Grammar Generation.
CoRR
Weizhi Tang, Yixuan Li, Chris Sypherd, Elizabeth Polgreen, Vaishak Belle
2025 — conf
Metric-Guided Synthesis for Class Activation Mapping.
xAI (3)
Alejandro Luque-Cerpa, Elizabeth Polgreen, Ajitha Rajan, Hazem Torfah
2025 J jnl
Metric-Guided Synthesis of Class Activation Mapping.
CoRR
Alejandro Luque-Cerpa, Elizabeth Polgreen, Ajitha Rajan, Hazem Torfah
2025 A* conf
Online Prompt Selection for Program Synthesis.
AAAI
Yixuan Li, Lewis Frampton, Federico Mora, Elizabeth Polgreen
2025 J jnl
Online Prompt Selection for Program Synthesis.
CoRR
Yixuan Li, Lewis Frampton, Federico Mora, Elizabeth Polgreen
2025 B conf
PolyVer: A Compositional Approach for Polyglot System Modeling and Verification.
FMCAD
Pei-Wei Chen, Shaokai Lin, Adwait Godbole, Ramneet Singh, Elizabeth Polgreen, Edward A. Lee, Sanjit A. Seshia
2025 J jnl
PolyVer: A Compositional Approach for Polyglot System Modeling and Verification.
CoRR
Pei-Wei Chen, Shaokai Lin, Adwait Godbole, Ramneet Singh, Elizabeth Polgreen, Edward A. Lee, Sanjit A. Seshia
2025 A conf
Tensorize: Fast Synthesis of Tensor Programs from Legacy Code using Symbolic Tracing, Sketching and Solving.
CGO
Alexander Brauckmann, Luc Jaulmes, José Wesley de Souza Magalhães, Elizabeth Polgreen, Michael F. P. O'Boyle
2025 B conf
Unlocking Hardware Verification with Oracle Guided Synthesis.
FMCAD
Leiqi Ye, Yixuan Li, Guy Frankel, Jianyi Cheng, Elizabeth Polgreen
2024 — conf
A Pyramid Of (Formal) Software Verification.
FM (2)
Martin Brain, Elizabeth Polgreen
2024 — conf
Guiding Enumerative Program Synthesis with Large Language Models.
CAV (2)
Yixuan Li, Julian Parsert, Elizabeth Polgreen
2024 J jnl
Guiding Enumerative Program Synthesis with Large Language Models.
CoRR
Yixuan Li, Julian Parsert, Elizabeth Polgreen
2024 A* conf
Reinforcement Learning and Data-Generation for Syntax-Guided Synthesis.
AAAI
Julian Parsert, Elizabeth Polgreen
2024 J jnl
Synthetic Programming Elicitation and Repair for Text-to-Code in Very Low-Resource Programming Languages.
CoRR
Federico Mora, Justin Wong, Haley Lepe, Sahil Bhatia, Karim Elmaaroufi, George Varghese, Joseph E. Gonzalez, Elizabeth Polgreen, Sanjit A. Seshia
2024 A* conf
Synthetic Programming Elicitation for Text-to-Code in Very Low-Resource Programming and Formal Languages.
NeurIPS
Federico Mora, Justin Wong, Haley Lepe, Sahil Bhatia, Karim Elmaaroufi, George Varghese, Joseph E. Gonzalez, Elizabeth Polgreen, Sanjit A. Seshia
2023 B conf
C2TACO: Lifting Tensor Code to TACO.
GPCE
José Wesley de Souza Magalhães, Jackson Woodruff, Elizabeth Polgreen, Michael F. P. O'Boyle
2023 J jnl
Genetic Algorithms for Searching a Matrix of Metagrammars for Synthesis.
CoRR
Yixuan Li, Federico Mora, Elizabeth Polgreen, Sanjit A. Seshia
2023 J jnl
Message Chains for Distributed System Verification.
Proc. ACM Program. Lang.
Federico Mora, Ankush Desai, Elizabeth Polgreen, Sanjit A. Seshia
2023 J jnl
Reinforcement Learning for Syntax-Guided Synthesis.
CoRR
Julian Parsert, Elizabeth Polgreen
2023 J jnl
Synthesising Programs with Non-trivial Constants.
J. Autom. Reason.
Alessandro Abate, Haniel Barbosa, Clark W. Barrett, Cristina David, Pascal Kesseli, Daniel Kroening, Elizabeth Polgreen, Andrew Reynolds, Cesare Tinelli
2023 J jnl
The Futures of Reactive Synthesis (Dagstuhl Seminar 23391).
Dagstuhl Reports
Nathanaël Fijalkow, Bernd Finkbeiner, Guillermo A. Pérez, Elizabeth Polgreen, Rémi Morvan
2023 J jnl
The SyGuS Language Standard Version 2.1.
CoRR
Saswat Padhi, Elizabeth Polgreen, Mukund Raghothaman, Andrew Reynolds, Abhishek Udupa
2023 J jnl
Towards Building Verifiable CPS using Lingua Franca.
ACM Trans. Embed. Comput. Syst.
Shaokai Lin, Yatin A. Manerkar, Marten Lohstroh, Elizabeth Polgreen, Sheng-Jung Yu, Chadlia Jerad, Edward A. Lee, Sanjit A. Seshia
2023 B conf
mlirSynth: Automatic, Retargetable Program Raising in Multi-Level IR Using Program Synthesis.
PACT
Alexander Brauckmann, Elizabeth Polgreen, Tobias Grosser, Michael F. P. O'Boyle
2023 J jnl
mlirSynth: Automatic, Retargetable Program Raising in Multi-Level IR using Program Synthesis.
CoRR
Alexander Brauckmann, Elizabeth Polgreen, Tobias Grosser, Michael F. P. O'Boyle
2022 J jnl
Preface for the formal methods in system design special issue on SYNT 2021.
Formal Methods Syst. Des.
Elizabeth Polgreen, Guillermo Alberto Pérez
2022 B conf
Satisfiability and Synthesis Modulo Oracles.
VMCAI
Elizabeth Polgreen, Andrew Reynolds, Sanjit A. Seshia
2022 J jnl
UCLID5: Multi-Modal Formal Modeling, Verification, and Synthesis.
CoRR
Elizabeth Polgreen, Kevin Cheang, Pranav Gaddamadugu, Adwait Godbole, Kevin Laeufer, Shaokai Lin, Yatin A. Manerkar, Federico Mora, Sanjit A. Seshia
2022 — conf
UCLID5: Multi-modal Formal Modeling, Verification, and Synthesis.
CAV (1)
Elizabeth Polgreen, Kevin Cheang, Pranav Gaddamadugu, Adwait Godbole, Kevin Laeufer, Shaokai Lin, Yatin A. Manerkar, Federico Mora, Sanjit A. Seshia
2021 A conf
MedleySolver: Online SMT Algorithm Selection.
SAT
Nikhil Pimpalkhare, Federico Mora, Elizabeth Polgreen, Sanjit A. Seshia
2021 J jnl
Satisfiability and Synthesis Modulo Oracles.
CoRR
Elizabeth Polgreen, Andrew Reynolds, Sanjit A. Seshia
2020 J jnl
Automated formal synthesis of provably safe digital controllers for continuous plants.
Acta Informatica
Alessandro Abate, Iury Bessa, Lucas C. Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening, Elizabeth Polgreen
2020 J jnl
CounterExample Guided Neural Synthesis.
CoRR
Elizabeth Polgreen, Ralph Abboud, Daniel Kroening
2020 J jnl
Gradient Descent over Metagrammars for Syntax-Guided Synthesis.
CoRR
Nicolas Chan, Elizabeth Polgreen, Sanjit A. Seshia
2020 J jnl
SynRG: Syntax Guided Synthesis of Invariants with Alternating Quantifiers.
CoRR
Elizabeth Polgreen, Sanjit A. Seshia
2020 J jnl
Synthesis in Uclid5.
CoRR
Federico Mora, Kevin Cheang, Elizabeth Polgreen, Sanjit A. Seshia
2020 — —
Synthesis without syntactic templates.
Elizabeth Polgreen
2020 B conf
Using model checking tools to triage the severity of security bugs in the Xen hypervisor.
FMCAD
Byron Cook, Björn Döbel, Daniel Kroening, Norbert Manthey, Martin Pohlack, Elizabeth Polgreen, Michael Tautschnig, Pawel Wieczorkiewicz
2019 J jnl
Verifying Reachability Properties in Markov Chains via Incremental Induction.
CoRR
Elizabeth Polgreen, Martin Brain, Martin Fränzle, Alessandro Abate
2018 — conf
Counterexample Guided Inductive Synthesis Modulo Theories.
CAV (1)
Alessandro Abate, Cristina David, Pascal Kesseli, Daniel Kroening, Elizabeth Polgreen
2017 — conf
Automated Experiment Design for Data-Efficient Verification of Parametric Markov Decision Processes.
QEST
Elizabeth Polgreen, Viraj B. Wijesuriya, Sofie Haesaert, Alessandro Abate
2017 J jnl
Automated Experiment Design for Data-Efficient Verification of Parametric Markov Decision Processes.
CoRR
Elizabeth Polgreen, Viraj B. Wijesuriya, Sofie Haesaert, Alessandro Abate
2017 — conf
Automated Formal Synthesis of Digital Controllers for State-Space Physical Plants.
CAV (1)
Alessandro Abate, Iury Bessa, Dario Cattaruzza, Lucas C. Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening, Elizabeth Polgreen
2017 J jnl
Automated Formal Synthesis of Digital Controllers for State-Space Physical Plants.
CoRR
Alessandro Abate, Iury Bessa, Dario Cattaruzza, Lucas C. Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening, Elizabeth Polgreen
2017 A* conf
DSSynth: an automated digital controller synthesis tool for physical plants.
ASE
Alessandro Abate, Iury Bessa, Dario Cattaruzza, Lennon C. Chaves, Lucas C. Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening, Elizabeth Polgreen
2016 — conf
Data-Efficient Bayesian Verification of Parametric Markov Chains.
QEST
Elizabeth Polgreen, Viraj B. Wijesuriya, Sofie Haesaert, Alessandro Abate