Elizabeth Polgreen

According to our database, Elizabeth Polgreen authored at least 42 papers between 2016 and 2026.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2026

Tensor Program Superoptimization through Cost-Guided Symbolic Program Synthesis.

Alexander Brauckmann, Aarsh Chaube, José Wesley de S. Magalhães, Elizabeth Polgreen, Michael F. P. O'Boyle

Proceedings of the IEEE/ACM International Symposium on Code Generation and Optimization, 2026

Accelerating Sparse Algebra with Program Synthesis.

José Wesley de Souza Magalhães, Shideh Hashemian, Alexander Brauckmann, Jackson Woodruff, Elizabeth Polgreen, Michael F. P. O'Boyle

Proceedings of the 35th ACM SIGPLAN International Conference on Compiler Construction, 2026

2025

Guided Tensor Lifting.

Yixuan Li, José Wesley de Souza Magalhães, Alexander Brauckmann, Michael F. P. O'Boyle, Elizabeth Polgreen

Proc. ACM Program. Lang., 2025

Metric-Guided Synthesis for Class Activation Mapping.

Alejandro Luque-Cerpa, Elizabeth Polgreen, Ajitha Rajan, Hazem Torfah

Proceedings of the Explainable Artificial Intelligence, 2025

Syntax-Guided Synthesis with Counterexample-Guided E-graphs: A Work-in-Progress Report.

Guy Frankel, Rudi Schneider, Michel Steuwer, Elizabeth Polgreen

Proceedings of the Joint Proceedings of the 23rd International Workshop on Satisfiability Modulo Theories and the 16th Pragmatics of SAT International Workshop co-located with the 31st International Conference on Principles and Practice of Constraint Programming, 2025

Unlocking Hardware Verification with Oracle Guided Synthesis.

Leiqi Ye, Yixuan Li, Guy Frankel, Jianyi Cheng, Elizabeth Polgreen

Proceedings of the 25th Conference on Formal Methods in Computer-Aided Design, 2025

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

Proceedings of the 25th Conference on Formal Methods in Computer-Aided Design, 2025

Tensorize: Fast Synthesis of Tensor Programs from Legacy Code using Symbolic Tracing, Sketching and Solving.

Alexander Brauckmann, Luc Jaulmes, José Wesley de Souza Magalhães, Elizabeth Polgreen, Michael F. P. O'Boyle

Proceedings of the 23rd ACM/IEEE International Symposium on Code Generation and Optimization, 2025

HyGenar: An LLM-Driven Hybrid Genetic Algorithm for Few-Shot Grammar Generation.

Weizhi Tang, Yixuan Li, Chris Sypherd, Elizabeth Polgreen, Vaishak Belle

Proceedings of the Findings of the Association for Computational Linguistics, 2025

Online Prompt Selection for Program Synthesis.

Yixuan Li, Lewis Frampton, Federico Mora, Elizabeth Polgreen

Proceedings of the Thirty-Ninth AAAI Conference on Artificial Intelligence, 2025

Guess, Measure & Edit: Using Lowering to Lift Tensor Code.

José Wesley de Souza Magalhães, Jackson Woodruff, Jordi Armengol-Estapé, Alexander Brauckmann, Luc Jaulmes, Elizabeth Polgreen, Michael F. P. O'Boyle

Proceedings of the 34th International Conference on Parallel Architectures and Compilation Techniques, 2025

2024

Synthetic Programming Elicitation and Repair for Text-to-Code in Very Low-Resource Programming Languages.

Federico Mora, Justin Wong, Haley Lepe, Sahil Bhatia, Karim Elmaaroufi, George Varghese, Joseph E. Gonzalez, Elizabeth Polgreen, Sanjit A. Seshia

CoRR, 2024

Synthetic Programming Elicitation for Text-to-Code in Very Low-Resource Programming and Formal Languages.

Federico Mora, Justin Wong, Haley Lepe, Sahil Bhatia, Karim Elmaaroufi, George Varghese, Joseph E. Gonzalez, Elizabeth Polgreen, Sanjit A. Seshia

Proceedings of the Advances in Neural Information Processing Systems 37: Annual Conference on Neural Information Processing Systems 2024, 2024

A Pyramid Of (Formal) Software Verification.

Martin Brain, Elizabeth Polgreen

Proceedings of the Formal Methods - 26th International Symposium, 2024

Guiding Enumerative Program Synthesis with Large Language Models.

Yixuan Li, Julian Parsert, Elizabeth Polgreen

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

Reinforcement Learning and Data-Generation for Syntax-Guided Synthesis.

Julian Parsert, Elizabeth Polgreen

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

Towards Building Verifiable CPS using Lingua Franca.

Shaokai Lin, Yatin A. Manerkar, Marten Lohstroh, Elizabeth Polgreen, Sheng-Jung Yu, Chadlia Jerad, Edward A. Lee, Sanjit A. Seshia

ACM Trans. Embed. Comput. Syst., October, 2023

Message Chains for Distributed System Verification.

Federico Mora, Ankush Desai, Elizabeth Polgreen, Sanjit A. Seshia

Proc. ACM Program. Lang., October, 2023

Synthesising Programs with Non-trivial Constants.

Alessandro Abate, Haniel Barbosa, Clark W. Barrett, Cristina David, Pascal Kesseli, Daniel Kroening, Elizabeth Polgreen, Andrew Reynolds, Cesare Tinelli

J. Autom. Reason., June, 2023

The Futures of Reactive Synthesis (Dagstuhl Seminar 23391).

Nathanaël Fijalkow, Bernd Finkbeiner, Guillermo A. Pérez, Elizabeth Polgreen, Rémi Morvan

Dagstuhl Reports, 2023

The SyGuS Language Standard Version 2.1.

Saswat Padhi, Elizabeth Polgreen, Mukund Raghothaman, Andrew Reynolds, Abhishek Udupa

CoRR, 2023

Reinforcement Learning for Syntax-Guided Synthesis.

Julian Parsert, Elizabeth Polgreen

CoRR, 2023

Genetic Algorithms for Searching a Matrix of Metagrammars for Synthesis.

Yixuan Li, Federico Mora, Elizabeth Polgreen, Sanjit A. Seshia

CoRR, 2023

C2TACO: Lifting Tensor Code to TACO.

José Wesley de Souza Magalhães, Jackson Woodruff, Elizabeth Polgreen, Michael F. P. O'Boyle

Proceedings of the 22nd ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2023

mlirSynth: Automatic, Retargetable Program Raising in Multi-Level IR Using Program Synthesis.

Alexander Brauckmann, Elizabeth Polgreen, Tobias Grosser, Michael F. P. O'Boyle

Proceedings of the 32nd International Conference on Parallel Architectures and Compilation Techniques, 2023

2022

Preface for the formal methods in system design special issue on SYNT 2021.

Elizabeth Polgreen, Guillermo Alberto Pérez

Formal Methods Syst. Des., December, 2022

Satisfiability and Synthesis Modulo Oracles.

Elizabeth Polgreen, Andrew Reynolds, Sanjit A. Seshia

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2022

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

Proceedings of the Computer Aided Verification - 34th International Conference, 2022

2021

MedleySolver: Online SMT Algorithm Selection.

Nikhil Pimpalkhare, Federico Mora, Elizabeth Polgreen, Sanjit A. Seshia

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2021, 2021

2020

Synthesis without syntactic templates.

Elizabeth Polgreen

PhD thesis, 2020

SynRG: Syntax Guided Synthesis of Invariants with Alternating Quantifiers.

Elizabeth Polgreen, Sanjit A. Seshia

CoRR, 2020

Synthesis in Uclid5.

Federico Mora, Kevin Cheang, Elizabeth Polgreen, Sanjit A. Seshia

CoRR, 2020

Gradient Descent over Metagrammars for Syntax-Guided Synthesis.

Nicolas Chan, Elizabeth Polgreen, Sanjit A. Seshia

CoRR, 2020

CounterExample Guided Neural Synthesis.

Elizabeth Polgreen, Ralph Abboud, Daniel Kroening

CoRR, 2020

Automated formal synthesis of provably safe digital controllers for continuous plants.

Alessandro Abate, Iury Bessa, Lucas C. Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening, Elizabeth Polgreen

Acta Informatica, 2020

Using model checking tools to triage the severity of security bugs in the Xen hypervisor.

Byron Cook, Björn Döbel, Daniel Kroening, Norbert Manthey, Martin Pohlack, Elizabeth Polgreen, Michael Tautschnig, Pawel Wieczorkiewicz

Proceedings of the 2020 Formal Methods in Computer Aided Design, 2020

2019

Verifying Reachability Properties in Markov Chains via Incremental Induction.

Elizabeth Polgreen, Martin Brain, Martin Fränzle, Alessandro Abate

CoRR, 2019

2018

Counterexample Guided Inductive Synthesis Modulo Theories.

Alessandro Abate, Cristina David, Pascal Kesseli, Daniel Kroening, Elizabeth Polgreen

Proceedings of the Computer Aided Verification - 30th International Conference, 2018

2017

Automated Experiment Design for Data-Efficient Verification of Parametric Markov Decision Processes.

Elizabeth Polgreen, Viraj B. Wijesuriya, Sofie Haesaert, Alessandro Abate

Proceedings of the Quantitative Evaluation of Systems - 14th International Conference, 2017

DSSynth: an automated digital controller synthesis tool for physical plants.

Alessandro Abate, Iury Bessa, Dario Cattaruzza, Lennon C. Chaves, Lucas C. Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening, Elizabeth Polgreen

Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

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

Proceedings of the Computer Aided Verification - 29th International Conference, 2017

2016

Data-Efficient Bayesian Verification of Parametric Markov Chains.

Elizabeth Polgreen, Viraj B. Wijesuriya, Sofie Haesaert, Alessandro Abate

Proceedings of the Quantitative Evaluation of Systems - 13th International Conference, 2016