Ask HN: Program Analysis resources/online courses

5 pointsBazookaMusic3 years ago2 comments

Hello HN, I have an idea around a project that involves static analysis and code analyzers and I'd like to implement it as part of an industrial Phd.

I took some courses programming language theory in university, but I'd like to build some stronger foundation before seeking a professor to pitch the idea.

Do you have any resources (papers, books, YouTube) or even better online courses to suggest on the following topics: 1) Code transformations 2) Type theory/semantics

nextos 3y

The top books in static analysis are by the Nielsons:

* https://link.springer.com/book/10.1007/978-3-662-03811-6

* https://arxiv.org/abs/2012.10086

RonaldOlzheim 3y

Do you write about your reseach?

Comments