HACKER Q&A
📣 BazookaMusic

Program Analysis resources/online courses


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 Accepted Answer ✓
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
Do you write about your reseach?