CIS Seminar: “Correctness Matters: Automatic Software Engineering in the age of Generative AI”
/
Levine 307
3330 Walnut Street, Philadelphia, PA, United States
Software engineers never start from a blank page, but rather from an extant and usually long-running project in need of modification (for repair, extension, update, etc.). One way to view modern programming is thus as a continual process of iteratively transforming existing programs into something new, and hopefully better. In this talk, I will discuss […]


