Published Nov. 30, 2020 6:42 AM



I have sent an email to the courses email address (the ditributor). In that email were the time sliot for every candidate (I don't repeat the names here).


Everyone should therefore know his or her slot.  I cannot check if the email list is up-to date (I have no access to that and cannot see who is on it). The list contains the oficial UIO/IFI email addresses, not possible gmail-accounts or similar, so one has to look there. In case someone does not know the slot, you have to show up 8:45 in the morning (or contact me today).

Published Aug. 20, 2020 3:36 PM


I started uploading screencasts for offline listening. It should be similar to what I say during the lecture and similar to what is in the script.

Published Aug. 14, 2020 2:47 PM

I just signed up with that one. Not sure how it works (or if it will work in a useful manner).


At any rate, that seems to be the link



I don't know if one has to sign in one self (or one can use ones UIO account. One seem even to use it anonymously, anyway, let's see how it works.



Published Aug. 14, 2020 10:29 AM

There will be MAttermost again


feel free to use it as excahgange channel. They also llaunched something called padlet, I applied for getting some login there.


I don't know what it is, so I don't know what it's supposed to work, for instance if it does something else or better than mattermost.


We have to see. If there is no clear distinction between those to channeks, I think it will be best to focus on one.



Published Aug. 14, 2020 9:37 AM

there was another lecture that is mildly related to what we will also

cover in the lecture (data flow analysis)


see lyoutube here


That is lecture 3 from that portion of the summerschool. Lecture 2 I did not link in (as less related), but of course one can look at it as well.

Published Aug. 11, 2020 8:29 AM

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

Published Aug. 11, 2020 8:06 AM

Hi, I assume the lecture will be on-site (according to the current information), Anyway, I will probably also use mattermost for communication (though the channel is not opened yet, but I asked for it). I will make a more extensive script. To which extent I make additional audio or podcast versions of the lecture, we will see.


The slides and the scrpt and other informtationwill be uploaded here, in corresponding subdirectories.