Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/89919
Registo completo
Campo DC | Valor | Idioma |
---|---|---|
dc.contributor.author | Ribeiro, Francisco José Torres | por |
dc.contributor.author | Macedo, José Nuno Castro | por |
dc.contributor.author | Tsushima, Kanae | por |
dc.contributor.author | Abreu, Rui | por |
dc.contributor.author | Saraiva, João | por |
dc.date.accessioned | 2024-03-25T09:48:42Z | - |
dc.date.available | 2024-03-25T09:48:42Z | - |
dc.date.issued | 2023 | - |
dc.identifier.isbn | 979-8-4007-0396-6 | - |
dc.identifier.uri | https://hdl.handle.net/1822/89919 | - |
dc.description.abstract | Type systems are responsible for assigning types to terms in programs. That way, they enforce the actions that can be taken and can, consequently, detect type errors during compilation. However, while they are able to ag the existence of an error, they often fail to pinpoint its cause or provide a helpful error message. Thus, without adequate support, debugging this kind of errors can take a considerable amount of effort. Recently, neural network models have been developed that are able to understand programming languages and perform several downstream tasks. We argue that type error debugging can be enhanced by taking advantage of this deeper understanding of the language’s structure. In this paper, we present a technique that leverages GPT-3’s capabilities to automatically fix type errors in OCaml programs. We perform multiple source code analysis tasks to produce useful prompts that are then provided to GPT-3 to generate potential patches. Our publicly available tool, Mentat, supports multiple modes and was validated on an existing public dataset with thousands of OCaml programs. We automatically validate successful repairs by using Quickcheck to verify which generated patches produce the same output as the user-intended fixed version, achieving a 39% repair rate. In a comparative study, Mentat outperformed two other techniques in automatically fixing ill-typed OCaml programs. | por |
dc.description.sponsorship | This work is financed by National Funds through the Portuguese funding agency, FCT - Fundação para a Ciência e a Tecnologia, within project UIDP/50014/2020. Francisco Ribeiro and José Nuno Macedo acknowledge FCT PhD grants SFRH/BD/144938/2019 and 2021.08184.BD, respectively. Additional funding: JSPS KAKENHI-JP19K20248. | por |
dc.language.iso | eng | por |
dc.publisher | Association for Computing Machinery (ACM) | por |
dc.relation | info:eu-repo/grantAgreement/FCT/6817 - DCRRNI ID/UIDP%2F50014%2F2020/PT | por |
dc.relation | info:eu-repo/grantAgreement/FCT/POR_NORTE/SFRH%2FBD%2F144938%2F2019/PT | por |
dc.relation | 2021.08184.BD | por |
dc.relation | JSPS KAKENHI-JP19K20248 | por |
dc.rights | openAccess | por |
dc.subject | Automated Program Repair | por |
dc.subject | GPT-3 | por |
dc.subject | Fault Localization | por |
dc.subject | Code Generation | por |
dc.title | GPT-3-powered type error debugging: investigating the use of large language models for code repair | por |
dc.type | conferencePaper | por |
dc.peerreviewed | yes | por |
dc.relation.publisherversion | https://dl.acm.org/doi/10.1145/3623476.3623522 | por |
oaire.citationStartPage | 111 | por |
oaire.citationEndPage | 124 | por |
dc.identifier.doi | 10.1145/3623476.3623522 | por |
sdum.conferencePublication | SLE 2023 - Proceedings of the 16th ACM SIGPLAN International Conference on Software Language Engineering, Co-located with: SPLASH 2023 | por |
Aparece nas coleções: |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
3623476.3623522.pdf | 471,6 kB | Adobe PDF | Ver/Abrir |