Elizabeth Polgreen

According to our database, Elizabeth Polgreen authored at least 30 papers between 2016 and 2024.

Collaborative distances:

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

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

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