BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Software Center - ECPv5.8.1//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:Software Center
X-ORIGINAL-URL:https://www.software-center.se
X-WR-CALDESC:Events for Software Center
BEGIN:VTIMEZONE
TZID:Europe/Stockholm
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20220327T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20221030T010000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=Europe/Stockholm:20220523T120000
DTEND;TZID=Europe/Stockholm:20220523T123000
DTSTAMP:20260423T214904
CREATED:20220517T121352Z
LAST-MODIFIED:20220517T121428Z
UID:4838-1653307200-1653309000@www.software-center.se
SUMMARY:Lunch seminar: Modern use of control dependency in static program analysis
DESCRIPTION:Welcome to the next Software Center lunch seminar hosted by theme 2! \nTitle: The modern use of control dependency in static program analysis \nSpeaker: Abu Naser Masud\, Mälardalen University \nControl dependency (CD) is a fundamental concept used in many program analysis techniques such as program slicing\, debugging\, parallelization\, software testing\, detecting security leaks\, etc. Since the introduction of CD in the late eighties\, numerous extensions of the standard definition and computation methods have been developed over time to deal with the modern programming language constructs. In this talk\, I will discuss the most generalized version of control dependency\, namely weak and strong control closure\, and their implication in static program analysis. I will showcase how these concepts can be used in program slicing and detecting timing leaks (a security vulnerability) in modern software. \nMost welcome to the seminar and please share this invitation with your colleagues! \n____________________________________________________________\nMicrosoft Teams-möte \nJobba på datorn eller mobilappen \nKlicka här för att ansluta till mötet \nEller ring in (endast ljud) \n+46 8 505 218 36\,\,214060663#   Sweden\, Stockholm \nTelefonkonferens-ID: 214 060 663# \nHitta ett lokalt nummer | Återställ PIN-kod \nLäs mer | Mötesalternativ \n____________________________________________
URL:https://www.software-center.se/event/lunch-seminar-modern-use-of-control-dependency-in-static-program-analysis/
LOCATION:Virtual event\, Sweden
CATEGORIES:Lunch seminar
ORGANIZER;CN="Jan%20Carlson":MAILTO:jan.carlson@mdh.se
END:VEVENT
END:VCALENDAR