For entertainment...._澳门皇冠体育,皇冠足球比分

msteffen
2020-08-11T06:29:16.533Z
type:structured-message
www.uio.no

This is not pensum, but since I am currenty ``at'' the Scottish Programming Languages and Verification Summer School ( SPLV)

at least virtually, and listening to a presentation, I might share it, i.e. the youtube link.

It's the first lecture about intermediate representations. It touches on isses loosely connected to our lecture. The presenter (Michael Steuwes) talks about state-of-the-art in modern compilers, not so much about static analysis yet, at least not explicitly. It's about IRs (which are of course important for the lecture as those are representations designed to facilitate static analysis and optimizations. In particular, the speaker talks about LLVM, the state-of-the-part ``compiler platforn'' and related issues. What the following lectures might cover, I don't know, as it's o...