Resources - SAL@KU

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

Software Analysis Lab. @ Korea University