
Coping with Copilot
CS educators: AI-based developer tools are gunning for your assignments. Resistance is futile.
CS educators: AI-based developer tools are gunning for your assignments. Resistance is futile.
This post discusses the task of automatic code completion through the application of deep learning methods.
We discuss the emerging problem of automatically synthesizing neurosymbolic programs, or programs that blend together neural networks and high-level code.
POPL is the premiere conference on the theoretical foundations of programming languages. The PC Chair, General Chair, and Steering Committee Chair of POPL 2020 review this year’s event.
The wealth of code now available on-line is fertile ground to enable machine learning to be applied to programming tasks. This post is the second in a series on this topic, focusing on the tasks of semantically labeling and captioning code.