Please note: This seminar will take place in DC 1304.
Claire Le Goues, Professor
School of Computer Science, Carnegie Mellon University
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.). Modern programming is thus a continual process of iteratively transforming existing programs into something new, and hopefully better.
In this talk, I will discuss my work on techniques to automate a broad range of software engineering and programming tasks. I will focus especially on the fundamental challenge of building trust that automatically transformed code is of acceptable quality, especially in light of recent advances in generative AI. Throughout, I will highlight my vision of how to develop future-generation tools to help engineers make better software, and make existing software better, by carefully integrating domain knowledge and semantics-based reasoning with powerful heuristic search.
Bio: Claire Le Goues is a Professor of Computer Science at Carnegie Mellon University. Her expertise lies in software engineering and applied programming languages, and especially in techniques for improving software quality via automatic program analysis and transformation. Le Goues received MS and PhD degrees in Computer Science from the University of Virginia, and a BA in the same from Harvard College.
More information is available at www.cs.cmu.edu/~clegoues.