Automated and Provably Correct Code Modernization

Polgreen, Elizabeth (Principal Investigator)

School of Informatics

Status	Active
Effective start/end date	31/10/23 → 30/10/28

Funding

Royal Academy of Engineering: £737,072.00

1 Conference contribution

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., 15 Dec 2024, Advances in Neural Information Processing Systems 37 (NeurIPS 2024) Main Conference Track. Globerson, A., Mackey, L., Belgrave, D., Fan, A., Paquet, U., Tomczak, J. & Zhang, C. (eds.). Neural Information Processing Systems Foundation (NeurIPS), p. 1-15 15 p. (Advances in Neural Information Processing Systems).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access
File