IC Colloquium: AI-Assisted Programming Today and Tomorrow
By: Nadia Polikarpova - UC San Diego
Video of her talk
Abstract
Powered by recent advances in code-generating models, AI assistants like Github Copilot promise to change the face of programming forever. But what is this new face of programming? And how can we help programmers use these assistants more effectively?
I will start with a survey of studies on how programmers interact with state-of-the-art AI assistants, including a grounded theory study conducted in our group. I will then discuss recent work that proposes new interaction models for AI assistants, providing better support for tasks specific to AI-assisted programming, such as prompt crafting and suggestion validation. In particular, I will talk about LEAP, a python environment we developed, which uses live programming to help developers validate AI-generated code. Finally, I will share my outlook on the future of AI programming assistants more broadly, and discuss the most exciting opportunities our community has to make these assistants more effective, safe, and usable.
Bio
Nadia Polikarpova is an associate professor at UC San Diego, and a member of the Programming Systems group. She received her Ph.D. in Computer Science from ETH Zurich in 2014, and then spent some time as a postdoctoral researcher at MIT. Nadia's research interests are in program synthesis, program verification, functional programming, and developer tools. She is a 2020 Sloan Fellow, and a recipient of the 2020 NSF Career Award and the 2020 Intel Rising Stars Award.
More information
Video of her talk
Abstract
Powered by recent advances in code-generating models, AI assistants like Github Copilot promise to change the face of programming forever. But what is this new face of programming? And how can we help programmers use these assistants more effectively?
I will start with a survey of studies on how programmers interact with state-of-the-art AI assistants, including a grounded theory study conducted in our group. I will then discuss recent work that proposes new interaction models for AI assistants, providing better support for tasks specific to AI-assisted programming, such as prompt crafting and suggestion validation. In particular, I will talk about LEAP, a python environment we developed, which uses live programming to help developers validate AI-generated code. Finally, I will share my outlook on the future of AI programming assistants more broadly, and discuss the most exciting opportunities our community has to make these assistants more effective, safe, and usable.
Bio
Nadia Polikarpova is an associate professor at UC San Diego, and a member of the Programming Systems group. She received her Ph.D. in Computer Science from ETH Zurich in 2014, and then spent some time as a postdoctoral researcher at MIT. Nadia's research interests are in program synthesis, program verification, functional programming, and developer tools. She is a 2020 Sloan Fellow, and a recipient of the 2020 NSF Career Award and the 2020 Intel Rising Stars Award.
More information
Practical information
- General public
- Free
Contact
- Host: Viktor Kuncak