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

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
  • TENSORIZE: Fast synthesis of Tensor programs from legacy code using symbolic tracing, sketching and solving

    Brauckmann, A., Jaulmes, L., de Souza Magalhães, J. W., Polgreen, E. & O'Boyle, M. F. P., 4 Nov 2024, (Accepted/In press) Proceedings of the 23rd ACM/IEEE International Symposium on Code Generation and Optimization (CGO ’25). New York, NY, USA: Association for Computing Machinery (ACM), p. 1-16 16 p. (Proceedings of the CGO).

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

    Open Access
    File
  • Synthetic programming elicitation for text-to-code in very low-resource programming and formal languages

    Mora, F., Wong, J., Lepe, H., Bhatia, S., Elmaaroufi, K., Varghese, G., González, J. E., Polgreen, E. & Seshia, S. A., 26 Sept 2024, (Accepted/In press) Proceedings of the Thirty-Eighth Annual Conference on Neural Information Processing Systems. ACM, p. 1-15 15 p.

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

    Open Access
    File
  • A pyramid of (formal) software verification

    Brain, M. & Polgreen, E., 13 Sept 2024, Proceedings of the 26th International Symposium on Formal Methods, Part II. Platzer, A., Rozier, K. Y., Pradella, M. & Rossi, M. (eds.). Springer, p. 393-419 27 p. (Lecture Notes in Computer Science; vol. 14934).

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

    Open Access
    File
  • Guiding enumerative program synthesis with large language models

    Li, Y., Parsert, J. & Polgreen, E., 26 Mar 2024, (Accepted/In press) Computer Aided Verification: 36th International Conference. Springer, (Lecture Notes in Computer Science).

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

    Open Access
    File
  • Reinforcement Learning and Data-Generation for Syntax-Guided Synthesis

    Parsert, J. & Polgreen, E., 24 Mar 2024, The 38th Annual AAAI Conference on Artificial Intelligence: AAAI Technical Track on Knowledge Representation and Reasoning. 9 ed. AAAI Press, Vol. 38. p. 10670-10678 9 p. (Proceedings of the AAAI Conference on Artificial Intelligence).

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

    Open Access
    File