BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//ical.marudot.com//iCal Event Maker
CALSCALE:GREGORIAN
BEGIN:VTIMEZONE
TZID:Europe/Berlin
LAST-MODIFIED:20240422T053451Z
TZURL:https://www.tzurl.org/zoneinfo-outlook/Europe/Berlin
X-LIC-LOCATION:Europe/Berlin
BEGIN:DAYLIGHT
TZNAME:CEST
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
DTSTART:19700329T020000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZNAME:CET
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
DTSTART:19701025T030000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTAMP:20250605T123110Z
UID:1749109999119-16463@ical.marudot.com
DTSTART;TZID=Europe/Berlin:20250612T140000
DTEND;TZID=Europe/Berlin:20250612T150000
SUMMARY:CISPA DLS / Cristian Cadar on "Program Analysis for Safe and Secure Software Evolution"
URL:https://cispa.de/en/dls-cadar
DESCRIPTION:Constant evolution is an inherent property of modern software systems. Software evolves to implement new features\, adapt to new hardware and platforms\, fix bugs and security vulnerabilities\, or improve non-functional properties such as performance and energy consumption. While these changes have an overall positive impact\, they are also responsible for a large number of critical bugs and security attacks.\n\nProgram analysis techniques such as fuzzing and symbolic execution have shown great promise in terms of improving the reliability and security of software.  However\, program analysis techniques are typically designed to be applied to entire programs and can struggle to keep up with the high pace of modern software development.  In this talk\, I will discuss some of our research efforts directed toward making program analysis more agile\, and reflect on remaining challenges and opportunities.\n\nBio\n \nCristian Cadar is a Professor in the Department of Computing at Imperial College London\, where he leads the Software Reliability Group (http://srg.doc.ic.ac.uk)\, working on automatic techniques for increasing the reliability and security of software systems.  Cristian's research has been recognised by several prestigious awards\, including the EuroSys Jochen Liedtke Award\, HVC Award\, BCS Roger Needham Award\, IEEE TCSE New Directions Award\, Humboldt Research Award\, and two test of time awards.  Many of the research techniques he co-authored have been open-sourced and used in both academia and industry.  In particular\, he is co-author and maintainer of the KLEE symbolic execution system\, a popular system with a large user base.  Cristian has a PhD in Computer Science from Stanford University\, and undergraduate and Master's degrees from the Massachusetts Institute of Technology.
LOCATION:CISPA C0\, room 0.01\, Stuhlsatzenhaus 5\, 66123 Saarbruecken
BEGIN:VALARM
ACTION:DISPLAY
DESCRIPTION:CISPA DLS / Cristian Cadar on "Program Analysis for Safe and Secure Software Evolution"
TRIGGER:-PT2H
END:VALARM
BEGIN:VALARM
ACTION:DISPLAY
DESCRIPTION:CISPA DLS / Cristian Cadar on "Program Analysis for Safe and Secure Software Evolution"
TRIGGER:-PT15M
END:VALARM
END:VEVENT
END:VCALENDAR