Course Overview:

Duration: 30 min

Open Challenges for the Next Generation of Programming Agents

Programming agents have made tremendous progress recently, to the point where many organizations can rely on them to produce most of their code. Despite this success, a number of open problems remain to push these tools to the next level of productivity. In this presentation, I will outline some of these open problems and provide an overview of some ongoing research aimed at addressing these limitations.

Open Challenges for the Next Generation of Programming Agents

Instructor:

Armando Solar-Lezama

Distinguished Professor of Computing | Associate Director and COO at MIT Schwarzman College of Computing | CSAIL

Armando Solar-Lezama is Distinguished Professor of Computing in the MIT Schwarzman College of Computing and currently serves as Associate Director and COO of CSAIL. Professor Solar-Lezama is best known for his work on program synthesis, the automatic generation of programs from high-level specifications. As a PhD student, he developed the Sketch language, which first demonstrated the potential of applying automated reasoning techniques to help programmers discover challenging details of complicated pieces of code.

At MIT, Prof. Solar-Lezama has led the Computer Aided Programming group, which has made key contributions to the field, including demonstrating the use of program synthesis for automated tutoring, some of the earliest applications of language models to program synthesis tasks, as well as early applications of program synthesis to the rejuvenation of legacy code. His work has been awarded the ACM SIGPLAN Robin Milner Young Researcher Award for his impact on the field of programming languages.

Limited Time Offer

A Sip of the Best: Sample Our Premium Content

  • 00 Days
  • 00 Hours
  • 00 Minutes
  • 00 Seconds

Unlock Premium Features with a Subscription

  • Live Training:

    Full access to all live workshops and training sessions.

  • 500+ Expert-Led Sessions:

    Master the frontier of AI Engineering: from RAG and autonomous agents to Healthtech and Physical AI.

  • ODSC AI Conference Discounts:

    Receive extra discounts to attend ODSC AI conferences.