• United States
IBM®              
                          

AI for Code: Theory and Practice

  • Main
  • Abstracts

Important information

Location:IBM Research – Israel
Haifa site, University of Haifa Campus, Mt. Carmel
Date: June 11, 2025
Time:14:00-18:00






 

Join us for a half-day seminar on AI for Code for the research community and hi-tech professionals. AI for Code is evolving rapidly and promises to change the nature of software engineering. Generative AI enables unanticipated new capabilities for software engineering, in areas such as code suggestions, code synthesis from textual descriptions, test generation, explanation, and language translation. These come with all the problems of Generative AI, including hallucinations, incorrect reasoning, biases, and the possibilities for adversarial attacks. In these talks, we’ll hear from academic and industry leaders on the theory of AI for Code and how to put it into practice.

Agenda

14:00

Gathering

14:10

Session 1

Welcome - Raviv Gal (IBM Research)

Rami Katan (IBM Research)
AI for Enterprise Code


David Harel and Assaf Marron (Weizmann Institute)
Early Fault-Detection in the Development of Exceedingly Complex Reactive Systems
15:15

Break (refreshments)

15:30

Session 2

Danny Yellin (Reichman University)
Growing Up: Using LLMs to Solve Messy Real-World Problems


Shai Rubin (Strudel)
Code Understanding with LLMs: Beyond the Hype
16:30

Break (refreshments)

16:45

Session 3

Hila Peleg (Technion)
Trust and Verification in Vibe Coding


Yishai Feldman (IBM Research)
AI for Code Through the Ages


Closing Remarks – Donny Rose (IBM Research)
18:00

Refreshments, networking

  • Registration
  • Contact the Organizers

Footer links

  • Contact
  • Privacy
  • Terms of use
  • Accessibility