Seguir
Elizabeth Polgreen
Elizabeth Polgreen
Dirección de correo verificada de ed.ac.uk - Página principal
Título
Citado por
Citado por
Año
Counterexample guided inductive synthesis modulo theories
A Abate, C David, P Kesseli, D Kroening, E Polgreen
International Conference on Computer Aided Verification, 270-288, 2018
792018
Automated formal synthesis of digital controllers for state-space physical plants
A Abate, I Bessa, D Cattaruzza, L Cordeiro, C David, P Kesseli, ...
Computer Aided Verification: 29th International Conference, CAV 2017 …, 2017
442017
Data-efficient Bayesian verification of parametric Markov chains
E Polgreen, VB Wijesuriya, S Haesaert, A Abate
Quantitative Evaluation of Systems: 13th International Conference, QEST 2016 …, 2016
262016
Automated experiment design for data-efficient verification of parametric Markov decision processes
E Polgreen, VB Wijesuriya, S Haesaert, A Abate
Quantitative Evaluation of Systems: 14th International Conference, QEST 2017 …, 2017
222017
MedleySolver: online SMT algorithm selection
N Pimpalkhare, F Mora, E Polgreen, SA Seshia
Theory and Applications of Satisfiability Testing–SAT 2021: 24th …, 2021
212021
Satisfiability and synthesis modulo oracles
E Polgreen, A Reynolds, SA Seshia
Verification, Model Checking, and Abstract Interpretation: 23rd …, 2022
172022
UCLID5: multi-modal formal modeling, verification, and synthesis
E Polgreen, K Cheang, P Gaddamadugu, A Godbole, K Laeufer, S Lin, ...
International Conference on Computer Aided Verification, 538-551, 2022
122022
Automated formal synthesis of provably safe digital controllers for continuous plants
A Abate, I Bessa, L Cordeiro, C David, P Kesseli, D Kroening, E Polgreen
Acta Informatica, 1-22, 2019
102019
DSSynth: an automated digital controller synthesis tool for physical plants
A Abate, I Bessa, D Cattaruzza, L Chaves, L Cordeiro, C David, P Kesseli, ...
2017 32nd IEEE/ACM International Conference on Automated Software …, 2017
102017
C2TACO: Lifting Tensor Code to TACO
JWS Magalhães, J Woodruff, E Polgreen, MFP O'Boyle
Proceedings of the 22nd ACM SIGPLAN International Conference on Generative …, 2023
9*2023
Counterexample guided neural synthesis
E Polgreen, R Abboud, D Kroening
arXiv preprint arXiv:2001.09245, 2020
82020
Using model checking tools to triage the severity of security bugs in the Xen hypervisor
B Cook, B Döbel, D Kroening, N Manthey, M Pohlack, E Polgreen, ...
# PLACEHOLDER_PARENT_METADATA_VALUE# 1, 185-193, 2020
82020
The SyGuS Language Standard Version 2.1
S Padhi, E Polgreen, M Raghothaman, A Reynolds, A Udupa
arXiv preprint arXiv:2312.06001, 2023
72023
Synthesis in uclid5
F Mora, K Cheang, E Polgreen, SA Seshia
arXiv preprint arXiv:2007.06760, 2020
52020
Synrg: Syntax guided synthesis of invariants with alternating quantifiers
E Polgreen, SA Seshia
CoRR abs/2007.10519, 2020
32020
Guiding enumerative program synthesis with large language models
Y Li, J Parsert, E Polgreen
arXiv preprint arXiv:2403.03997, 2024
22024
Towards building verifiable CPS using Lingua Franca
S Lin, YA Manerkar, M Lohstroh, E Polgreen, SJ Yu, C Jerad, EA Lee, ...
ACM Transactions on Embedded Computing Systems 22 (5s), 1-24, 2023
22023
Synthesising programs with non-trivial constants
A Abate, H Barbosa, C Barrett, C David, P Kesseli, D Kroening, ...
Journal of Automated Reasoning 67 (2), 19, 2023
22023
Gradient Descent over Metagrammars for Syntax-Guided Synthesis
N Chan, E Polgreen, SA Seshia
arXiv preprint arXiv:2007.06677, 2020
22020
Verifying reachability properties in Markov chains via incremental induction
E Polgreen, M Brain, M Fraenzle, A Abate
arXiv preprint arXiv:1909.08017, 2019
22019
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20