How to research / write papers / give talks ...

• Simon Peyton Jones. How to write a great research paper
• Simon Peyton Jones. How to give a great research talk
• Simon Peyton Jones. How to write a great research proposal
• Anders Møller. How (Not) to Present a Paper
• Stephanie Weirich. How to give a research talk
• Michael Mitzenmacher. How to read a paper
• Jason Eisner. How to read a technical paper
• Richard Hamming. You and Your Research. (a Korean translation)
• Nick Benton. Bridging the Gap Between Theory and Practice
• Donald Knuth. Theory and Practice
• Matt Might. The illustrated guide to a Ph.D
• 대학원때 알았으면 좋았을 것들

How to begin software analysis research

Papers

• Our research papers. See the publication page.

Courses and lecture notes

• My courses on programming languages (COSE212), compilers (COSE312), computational logic (AAA528), program analysis (AAA616). See the course page.
• Kwangkeun Yi. Notes on Programming Languages
• Kwangkeun Yi. Program Analysis: Theories and Practices
• Mayur Naik. Software Analysis and Testing
• Anders Møller. Static Program Analysis
• Andrew Pitts. Lecture Notes on Denotional Semantics
• Andrew Pitts. Semantics of Programming Languages

Books

• Aaron R. Bradley and Zohar Manna. The Calculus of Computation
• Flemming Nielson, Hanne Riis Nielson, Chris hankin. Principles of Program Analysis
• Glynn Winskel. Formal Semantics of Programming Languages