[Colloquium] (TOMORROW) (This is an ONLINE TALK) [Staff] : Neuro-Symbolic Developer Tools for Analyzing, Executing, and Repairing Code- Tuesday, November 12th

[Abigail Santana via Colloquium]

UNIVERSITY OF CHICAGO
COMPUTER SCIENCE DEPARTMENT
PRESENTS

Michael Pradel
University of Stuttgart
Professor in the Computer Science Department

Tuesday, November 12th
12:30pm - 1:30pm

Zoom: https://uchicago.zoom.us/j/97817634995?pwd=RDFJn7P9heBrRPKU4T2nlcNgPGUaLL.1#success

Title: Neuro-Symbolic Developer Tools for Analyzing, Executing, and Repairing Code

Abstract:
Developer productivity and software quality critically depend on effective software development tools. Traditional, symbolic program analysis tools are often limited in their ability to understand developer intention and rely on various hand-crafted heuristics. Neural software analysis addresses these limitations, but remains unaware of the formal semantics of a program and hence easily misses facts and rules that are actually well known. This talk argues that carefully combining neural and symbolic reasoning provides an effective means to address various challenging software development problems. To illustrate this point, I will describe our 8-year long journey of creating neuro-symbolic developer tools, ranging from learning-based bug detectors and type predictors, to our most recent work on learning-guided execution and program repair based on an autonomous LLM-based agent. I will discuss lessons learned on this journey and conclude with an outline of open challenges waiting to be addressed in order to close the gap between symbolic and neural software developer tools.

Bio:
Michael Pradel is a full professor at the University of Stuttgart, which he joined after a PhD at ETH Zurich, a post-doc at UC Berkeley, an assistant professorship at TU Darmstadt, and a sabbatical at Facebook. His research interests span software engineering, programming languages, security, and machine learning, with a focus on tools and techniques for building reliable, efficient, and secure software. In particular, he is interested in neural software analysis, analyzing web applications, dynamic analysis, and test generation. Michael has been recognized through the Ernst-Denert Software Engineering Award, an Emmy Noether grant by the German Research Foundation (DFG), an ERC Starting Grant, best/distinguished paper awards at FSE (3x), ISSTA, ASE, and ASPLOS, and by being named an ACM Distinguished Member.


[cid:27f93aab-cdb1-411e-8cca-774114ac1288]


Host: Kexin Pei


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.cs.uchicago.edu/pipermail/colloquium/attachments/20241111/7f6b544c/attachment-0001.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Michael Pradel headshot.png
Type: image/png
Size: 56659 bytes
Desc: Michael Pradel headshot.png
URL: <http://mailman.cs.uchicago.edu/pipermail/colloquium/attachments/20241111/7f6b544c/attachment-0001.png>