SSA is Freyd Categories

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

• University of Cambridge
• Tuesday 20 February 2024, 13:00-14:00
• FN05, Computer Laboratory.

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

NONSTANDARD TIME AND LOCATION

SSA is one of the most widely used intermediate representations in modern compiler design but is often given only an informal semantics at best. In this talk, we aim to give a flexible categorical semantics for SSA applicable to a wide variety of applications and underlying models, and use this to justify some of the common optimizations performed on programs in SSA .

This talk is part of the SANDWICH Seminar (Computer Laboratory) series.

This talk is included in these lists:

• FN05, Computer Laboratory

Note that ex-directory lists are not shown.