BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Penn Engineering Events - ECPv6.16.3//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:Penn Engineering Events
X-ORIGINAL-URL:https://seasevents.nmsdev7.com
X-WR-CALDESC:Events for Penn Engineering Events
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:America/New_York
BEGIN:DAYLIGHT
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
TZNAME:EDT
DTSTART:20240310T070000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:EST
DTSTART:20241103T060000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
TZNAME:EDT
DTSTART:20250309T070000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:EST
DTSTART:20251102T060000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
TZNAME:EDT
DTSTART:20260308T070000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:EST
DTSTART:20261101T060000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20250417T153000
DTEND;TZID=America/New_York:20250417T163000
DTSTAMP:20260602T085842
CREATED:20250410T191631Z
LAST-MODIFIED:20250410T191631Z
UID:13897-1744903800-1744907400@seasevents.nmsdev7.com
SUMMARY:CIS Seminar: "Correctness Matters: Automatic Software Engineering in the age of Generative AI"
DESCRIPTION: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. \nIn this talk\, I will discuss my work on techniques to automate a broad range of software engineering and programming tasks. I position program transformation as a search problem over a space of potential program edits; automating transformation entails careful design choices to manage and successfully traverse this trivially infinite space.  I will focus especially on the fundamental challenge of ensuring that automatically transformed code is of acceptable quality\, and ways to tackle that challenge\, 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.
URL:https://seasevents.nmsdev7.com/event/cis-seminar-correctness-matters-automatic-software-engineering-in-the-age-of-generative-ai/
LOCATION:Levine 307\, 3330 Walnut Street\, Philadelphia\, PA\, 19104\, United States
ORGANIZER;CN="Computer and Information Science":MAILTO:cherylh@cis.upenn.edu
END:VEVENT
END:VCALENDAR