3 ms·
I have to say personally I find general program analysis (e.g. for security) a much more interesting topic than most vanilla compiler courses. For example I rec
by anonymousDan 5y ago
I have to say personally I find general program analysis (e.g. for security) a much more interesting topic than most vanilla compiler courses. For example I recently came across this course by the maintainers of soot: https://youtube.com/playlist?list=PLamk8lFsMyPXrUIQm5naAQ08aK2ctv6gE https://youtube.com/playlist?list=PLamk8lFsMyPXrUIQm5naAQ08a...
Any pointers to similar courses much appreciated!
- the_benno 5y agoAnders Moeller and Michael Schwartzbach's book [1] on static program analysis is a fantastic resource, with (I think) a great balance of theory and practice. If you want to get really deep into the theory of program analysis, Patrick Cousot just published an incredibly thorough book on abstract interpretation (just got my copy this week, so haven't fully explored enough to have much of an opinion on it as a pedagogical resource) [1] cs.au.dk/~amoeller/spa
- anonymousDan 5y agoThanks, yes I've read the Moeller book and I agree with your evaluation. I wasn't aware of the Cousot book though, I'll be sure to check it out.
- igotsideas 5y agoThank you for YouTube link. I would of never found this and it looks like gold.
- matt_d 5y agoMore program analysis & LLVM resources (books, courses, and talks): https://gist.github.com/MattPD/00573ee14bf85ccac6bed3c0678ddbef https://gist.github.com/MattPD/00573ee14bf85ccac6bed3c0678dd...