Data-Efficient Bayesian Verification of Parametric Markov Chains. - Elizabeth Polgreen; Viraj B. Wijesuriya; Sofie Haesaert; Alessandro Abate (QEST, 2016)

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 (CAV (1), 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 (ASE, 2017)

Automated Experiment Design for Data-Efficient Verification of Parametric Markov Decision Processes. - Elizabeth Polgreen; Viraj B. Wijesuriya; Sofie Haesaert; Alessandro Abate (QEST, 2017)

Counterexample Guided Inductive Synthesis Modulo Theories. - Alessandro Abate; Cristina David; Pascal Kesseli; Daniel Kroening; Elizabeth Polgreen (CAV (1), 2018)

Verifying Reachability Properties in Markov Chains via Incremental Induction. - Elizabeth Polgreen; Martin Brain; Martin Fränzle; Alessandro Abate (CoRR, 2019)

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 (FMCAD, 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)

CounterExample Guided Neural Synthesis. - Elizabeth Polgreen; Ralph Abboud; Daniel Kroening (CoRR, 2020)

Gradient Descent over Metagrammars for Syntax-Guided Synthesis. - Nicolas Chan; Elizabeth Polgreen; Sanjit A. Seshia (CoRR, 2020)

Synthesis in Uclid5. - Federico Mora 002; Kevin Cheang; Elizabeth Polgreen; Sanjit A. Seshia (CoRR, 2020)

SynRG: Syntax Guided Synthesis of Invariants with Alternating Quantifiers. - Elizabeth Polgreen; Sanjit A. Seshia (CoRR, 2020)

Synthesis without syntactic templates. - Elizabeth Polgreen (2020)

MedleySolver: Online SMT Algorithm Selection. - Nikhil Pimpalkhare; Federico Mora 002; Elizabeth Polgreen; Sanjit A. Seshia (SAT, 2021)

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 002; Sanjit A. Seshia (CAV (1), 2022)

Satisfiability and Synthesis Modulo Oracles. - Elizabeth Polgreen; Andrew Reynolds 001; Sanjit A. Seshia (VMCAI, 2022)

Preface for the formal methods in system design special issue on SYNT 2021. - Elizabeth Polgreen; Guillermo Alberto Pérez (Formal Methods Syst. Des., 2022)

mlirSynth: Automatic, Retargetable Program Raising in Multi-Level IR Using Program Synthesis. - Alexander Brauckmann; Elizabeth Polgreen; Tobias Grosser; Michael F. P. O'Boyle (PACT, 2023)

C2TACO: Lifting Tensor Code to TACO. - José Wesley de Souza Magalhães; Jackson Woodruff; Elizabeth Polgreen; Michael F. P. O'Boyle (GPCE, 2023)

Genetic Algorithms for Searching a Matrix of Metagrammars for Synthesis. - Yixuan Li 003; Federico Mora 002; Elizabeth Polgreen; Sanjit A. Seshia (CoRR, 2023)

Reinforcement Learning for Syntax-Guided Synthesis. - Julian Parsert; Elizabeth Polgreen (CoRR, 2023)

The SyGuS Language Standard Version 2.1. - Saswat Padhi; Elizabeth Polgreen; Mukund Raghothaman; Andrew Reynolds 001; Abhishek Udupa (CoRR, 2023)

The Futures of Reactive Synthesis (Dagstuhl Seminar 23391). - Nathanaël Fijalkow; Bernd Finkbeiner; Guillermo A. Pérez 001; Elizabeth Polgreen; Rémi Morvan (Dagstuhl Reports, 2023)

Synthesising Programs with Non-trivial Constants. - Alessandro Abate; Haniel Barbosa; Clark W. Barrett; Cristina David; Pascal Kesseli; Daniel Kroening; Elizabeth Polgreen; Andrew Reynolds 001; Cesare Tinelli (J. Autom. Reason., 2023)

Message Chains for Distributed System Verification. - Federico Mora 002; Ankush Desai; Elizabeth Polgreen; Sanjit A. Seshia (Proc. ACM Program. Lang., 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., 2023)

Reinforcement Learning and Data-Generation for Syntax-Guided Synthesis. - Julian Parsert; Elizabeth Polgreen (AAAI, 2024)

Guiding Enumerative Program Synthesis with Large Language Models. - Yixuan Li 003; Julian Parsert; Elizabeth Polgreen (CAV (2), 2024)

A Pyramid Of (Formal) Software Verification. - Martin Brain; Elizabeth Polgreen (FM (2), 2024)

Synthetic Programming Elicitation for Text-to-Code in Very Low-Resource Programming and Formal Languages. - Federico Mora 002; Justin Wong; Haley Lepe; Sahil Bhatia; Karim Elmaaroufi; George Varghese; Joseph E. Gonzalez; Elizabeth Polgreen; Sanjit Seshia (NeurIPS, 2024)

Synthetic Programming Elicitation and Repair for Text-to-Code in Very Low-Resource Programming Languages. - Federico Mora 002; Justin Wong; Haley Lepe; Sahil Bhatia; Karim Elmaaroufi; George Varghese; Joseph E. Gonzalez; Elizabeth Polgreen; Sanjit A. Seshia (CoRR, 2024)

Online Prompt Selection for Program Synthesis. - Yixuan Li 003; Lewis Frampton; Federico Mora 002; Elizabeth Polgreen (AAAI, 2025)

HyGenar: An LLM-Driven Hybrid Genetic Algorithm for Few-Shot Grammar Generation. - Weizhi Tang; Yixuan Li 003; Chris Sypherd; Elizabeth Polgreen; Vaishak Belle (ACL (Findings), 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 (CGO, 2025)

Guided Tensor Lifting. - Yixuan Li 003; José Wesley de Souza Magalhães; Alexander Brauckmann; Michael F. P. O'Boyle; Elizabeth Polgreen (Proc. ACM Program. Lang., 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 (CoRR, 2025)

Metric-Guided Synthesis of Class Activation Mapping. - Alejandro Luque-Cerpa; Elizabeth Polgreen; Ajitha Rajan; Hazem Torfah (CoRR, 2025)