1 citations · 1 across the 2 of their papers we have counts for
4 papers
Satisfiability and Synthesis Modulo Oracles
Elizabeth Polgreen, Andrew Reynolds, Sanjit A. Seshia
In classic program synthesis algorithms, such as counterexample-guided inductive synthesis (CEGIS), the algorithms alternate between a synthesis phase and an oracle (verification)…
Synthesis in Uclid5
Federico Mora, Kevin Cheang, Elizabeth Polgreen +1
We describe an integration of program synthesis into Uclid5, a formal modelling and verification tool. To the best of our knowledge, the new version of Uclid5 is the only tool that…
Gradient Descent over Metagrammars for Syntax-Guided Synthesis
Nicolas Chan, Elizabeth Polgreen, Sanjit A. Seshia
The performance of a syntax-guided synthesis algorithm is highly dependent on the provision of a good syntactic template, or grammar. Provision of such a template is often left to…
SynRG: Syntax Guided Synthesis of Expressions with Alternating Quantifiers
Elizabeth Polgreen, Sanjit A. Seshia
Program synthesis is the task of automatically generating expressions that satisfy a given specification. Program synthesis techniques have been used to automate the generation of…