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 | 77 | 2018 |
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 | 44 | 2017 |
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 | 26 | 2016 |
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 | 22 | 2017 |
MedleySolver: online SMT algorithm selection N Pimpalkhare, F Mora, E Polgreen, SA Seshia Theory and Applications of Satisfiability Testing–SAT 2021: 24th …, 2021 | 20 | 2021 |
Satisfiability and synthesis modulo oracles E Polgreen, A Reynolds, SA Seshia Verification, Model Checking, and Abstract Interpretation: 23rd …, 2022 | 16 | 2022 |
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 | 10 | 2022 |
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 | 10 | 2017 |
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 | 9 | 2019 |
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 | 8 | 2020 |
The SyGuS Language Standard Version 2.1 S Padhi, E Polgreen, M Raghothaman, A Reynolds, A Udupa arXiv preprint arXiv:2312.06001, 2023 | 7 | 2023 |
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 | 7* | 2023 |
Counterexample guided neural synthesis E Polgreen, R Abboud, D Kroening arXiv preprint arXiv:2001.09245, 2020 | 7 | 2020 |
Synthesis in uclid5 F Mora, K Cheang, E Polgreen, SA Seshia arXiv preprint arXiv:2007.06760, 2020 | 5 | 2020 |
Synrg: Syntax guided synthesis of invariants with alternating quantifiers E Polgreen, SA Seshia CoRR abs/2007.10519, 2020 | 3 | 2020 |
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 | 2 | 2023 |
Gradient Descent over Metagrammars for Syntax-Guided Synthesis N Chan, E Polgreen, SA Seshia arXiv preprint arXiv:2007.06677, 2020 | 2 | 2020 |
Verifying reachability properties in Markov chains via incremental induction E Polgreen, M Brain, M Fraenzle, A Abate arXiv preprint arXiv:1909.08017, 2019 | 2 | 2019 |
mlirSynth: Automatic, Retargetable Program Raising in Multi-Level IR using Program Synthesis A Brauckmann, E Polgreen, T Grosser, MFP O'Boyle 2023 32nd International Conference on Parallel Architectures and Compilation …, 2023 | 1 | 2023 |
Message Chains for Distributed System Verification F Mora, A Desai, E Polgreen, SA Seshia Proceedings of the ACM on Programming Languages 7 (OOPSLA2), 2224-2250, 2023 | 1 | 2023 |