If you made any changes in Pure these will be visible here soon.

Personal profile

Research Interests

I am interested in program synthesis techniques and their applications, particularly the use of synthesis to increase the scalability of verification.

Qualifications

BA Electrical and Electronic Engineering - Cambridge 2010
MEng Electrical and Electronic Engineering - Cambridge 2011
DPhil Computer Science - Oxford 2020

Fingerprint

Dive into the research topics where Elizabeth Polgreen is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles

Network

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
  • UCLID5: Multi-Modal Formal Modeling, Verification, and Synthesis

    Polgreen, E., Cheang, K., Gaddamadugu, P., Godbole, A., Laeufer, K., Lin, S., Manerkar, Y. A., Mora, F. & Seshia, S. A., 7 Aug 2022, Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part I. Shoham, S. & Vizel, Y. (eds.). Springer, Cham, p. 538–551 13 p. (Lecture Notes in Computer Science; vol. 13371).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Satisfiability and Synthesis Modulo Oracles

    Polgreen, E., Reynolds, A. & Seshia, S. A., 14 Jan 2022, Verification, Model Checking, and Abstract Interpretation: 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022, Proceedings. Finkbeiner, B. & Wies, T. (eds.). Cham, Switzerland: Springer International Publishing, p. 263-284 12 p. (Lecture Notes in Computer Science; vol. 13182).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • MedleySolver: Online SMT Algorithm Selection

    Pimpalkhare, N., Mora, F., Polgreen, E. & Seshia, S. A., 2 Jul 2021, Theory and Applications of Satisfiability Testing - SAT 2021: 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings. Li, C-M. & Manyà, F. (eds.). Cham: Springer International Publishing Switzerland, p. 453-470 18 p. (Lecture Notes in Computer Science; vol. 12831).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Using Model Checking Tools to Triage the Severity of Security Bugs in the Xen Hypervisor

    Cook, B., Doebel, B., Kroening, D., Manthey, N., Pohlack, M., Polgreen, E., Tautschnig, M. & Wieczorkiewicz, P., 23 Sep 2020, Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design – FMCAD 2020. Ivrii, A. & Strichman, O. (eds.). TU Wien Academic Press, p. 185-193 9 p. (Conference Series: Formal Methods in Computer-Aided Design; vol. 1).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Automated formal synthesis of provably safe digital controllers for continuous plants

    Abate, A., Bessa, I., Cordeiro, L., David, C., Kesseli, P., Kroening, D. & Polgreen, E., 1 Apr 2020, In: Acta Informatica. 57, 1-2, p. 223-244 22 p.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    File