Control flow as a contour of data flow

Add to your list(s) Download to your calendar using vCal

• Dan Ghica (University of Birmingham)
• Friday 03 February 2023, 14:00-14:50
• LG23, Computer Science // Zoom.

If you have a question about this talk, please contact George Kaye.

This term, seminars will start at 14:00

Zoom details

• Link: https://bham-ac-uk.zoom.us/j/81873335084?pwd=T1NaUFg2U1l6d0RLL2RlTzFBam1IUT09
• Meeting ID: 818 7333 5084
• Passcode: 217

Abstract

I will give a reconstruction of the basic concepts of control flow analysis from string diagrams and explain how this is used in a production compiler.

This talk is part of the Theoretical computer science seminar series.

This talk is included in these lists:

• Computer Science Departmental Series
• Computer Science Distinguished Seminars
• LG23, Computer Science // Zoom
• Theoretical computer science seminar
• computer sience

Note that ex-directory lists are not shown.