Exploring the Verifiability of Code Generated by GitHub Copilot

Dafny: An automatic program verifier for functional correctness. In International Conference on Logic for Programming Artificial Intelligence and Reasoning . Springer, 348–370

K Rustan M Leino. 2010 · 2010

Earlier work this paper cites.

Binary heaps formally verified in Why3

Asma Tafat and Claude Marché. 2011 · 2011

Earlier work this paper cites.

The Dafny integrated development environment

Original

K Rustan M Leino and Valentin Wüstholz. 2014 · 2014

Earlier work this paper cites.

Evaluating large language models trained on code

Original

Mark Chen, Jerry Tworek, Heewoo Jun, Qiming Yuan, Henrique Ponde de Oliveira Pinto, Jared Kaplan, Harri Edwards, Yuri Burda, Nicholas Joseph, Greg Brockman, et al · 2021

Earlier work this paper cites.

GitHub Copilot: Copyright, Fair Use, Creativity, Transformativity, and Algorithms

Gavin D Howard. 2021 · 2021

Earlier work this paper cites.

GitHub Copilot AI pair programmer: Asset or Liability?

Original

Arghavan Moradi Dakhel, Vahid Majdinasab, Amin Nikanjam, Foutse Khomh, Michel C Desmarais, Zhen Ming, et al · 2022

Cited alongside, same era.

Your AI pair programmer

GitHub. 2022 · 2022

Cited alongside, same era.

An Empirical Evaluation of GitHub Copilot’s Code Suggestions. In 2022 IEEE/ACM 19th International Conference on Mining Software Repositories (MSR) . IEEE, 1–5

Nhan Nguyen and Sarah Nadi. 2022 · 2022

Cited alongside, same era.

Asleep at the Keyboard? Assessing the Security of GitHub Copilot’s Code Contributions. In 2022 IEEE Symposium on Security and Privacy (SP) . IEEE, 754–768

Hammond Pearce, Baleegh Ahmad, Benjamin Tan, Brendan Dolan-Gavitt, and Ramesh Karri. 2022 · 2022

Cited alongside, same era.

An Empirical Study of Code Smells in Transformer-based Code Generation Techniques. In 2022 IEEE 22nd International Working Conference on Source Code Analysis and Manipulation (SCAM)

Mohammed Latif Siddiq, Shafayat H. Majumder, Maisha R. Mim, Sourov Jajodia, and Joanna C. S. Santos. 2022 · 2022

Closest in time.

Choose your programming Copilot: a comparison of the program synthesis performance of GitHub copilot and genetic programming. In Proceedings of the Genetic and Evolutionary Computation Conference . 1019–1027

Dominik Sobania, Martin Briesch, and Franz Rothlauf. 2022 · 2022

Closest in time.

Expectation vs. Experience: Evaluating the Usability of Code Generation Tools Powered by Large Language Models. In CHI Conference on Human Factors in Computing Systems Extended Abstracts . 1–7

Priyan Vaithilingam, Tianyi Zhang, and Elena L Glassman. 2022 · 2022

Closest in time.

The Apple goto fail vulnerability: lessons learned

David A. Wheeler. 2021 · 2022

Closest in time.