For entertainment....

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 ongoing.




Published Aug. 11, 2020 8:29 AM - Last modified Aug. 11, 2020 8:29 AM