Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Ferdowsi, Kasra"'
AI-powered programming assistants are increasingly gaining popularity, with GitHub Copilot alone used by over a million developers worldwide. These tools are far from perfect, however, producing code suggestions that may be incorrect in subtle ways.
Externí odkaz:
http://arxiv.org/abs/2306.09541
Autor:
Ferdowsi, Kasra
Advanced type systems that enforce various correctness and safety guarantees--such as linear and ownership types--have a long history in the Programming Languages research community. Despite this history, a human-centered evaluation of these type sys
Externí odkaz:
http://arxiv.org/abs/2301.02308
AI-powered programming assistants are increasingly gaining popularity, with GitHub Copilot alone used by over a million developers worldwide. These tools are far from perfect, however, producing code suggestions that may be incorrect or incomplete in
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::48a6cf42daf3a604b853194c904e6ffa
http://arxiv.org/abs/2306.09541
http://arxiv.org/abs/2306.09541