Skip to yearly menu bar Skip to main content


Poster
in
Workshop: VerifAI: AI Verification in the Wild

Tasks, Challenges, and Paths Towards AI for Software Engineering

Alex Gu · Naman Jain · Wen-Ding Li · Manish Shetty · Yijia Shao · Ziyang Li · Diyi Yang · Koushik Sen · Kevin Ellis · Armando Solar-Lezama


Abstract:

AI for software engineering has made remarkable progress, becoming a notable success within generative AI. Despite this, achieving fully automated software engineering is still a significant challenge, requiring research efforts across both academia and industry. In this position paper, our goal is threefold. First, we provide a taxonomy of measures and tasks to categorize work towards AI software engineering. Second, we outline the key bottlenecks permeating today's approaches. Finally, we highlight promising paths towards making progress on these bottlenecks to guide future research in this rapidly maturing field.

Chat is not available.