University of Cambridge > Talks.cam > SANDWICH Seminar (Computer Laboratory) > SSA is Freyd Categories

  Browse A-Z

Log in

University Account External (via Google)

🔐 Log In

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

ℹī¸ Information

SSA is Freyd Categories

Download to your calendar using vCal

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

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:

Note that ex-directory lists are not shown.

Other lists

Computer Laboratory, William Gates Building, Room SW01 2013 UK~IRC Innovation Summit Average on Saturdays: 7712.33823529 kWh

Other talks

Decoding genomic chaos - a pancancer compendium of chromosomal instability Title to be confirmed A flexible Monte Carlo quantitative bias analysis for unmeasured confounding FILM: One With The Whale RNA-Mediated Regulation of Germinal Centre B-Cell Fitness: a tale of two DEAD-box RNA helicases Title to be confirmed
 

Š 2006-2025 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity