Add resouces page

content/resources/_index.md

@@ -0,0 +1,43 @@
++++
+draft = false
+title = 'Resources'
+menu = 'main'
+weight = 90
++++
+
+# How to research / write papers / give talks ...
+
+- Simon Peyton Jones. [How to write a great research paper](./simon-papers.pdf)
+- Simon Peyton Jones. [How to give a great research talk](./simon-talks.pdf)
+- Simon Peyton Jones. [How to write a great research proposal](./simon-proposal.pdf)
+- Anders Møller. [How (Not) to Present a Paper](./anders-talks.pdf)
+- Stephanie Weirich. [How to give a research talk](./giving-a-talk.pdf)
+- Michael Mitzenmacher. [How to read a paper](http://www.eecs.harvard.edu/~michaelm/postscripts/ReadPaper.pdf)
+- Jason Eisner. [How to read a technical paper](http://www.cs.jhu.edu/~jason/advice/how-to-read-a-paper.html)
+- Richard Hamming. [You and Your Research](./hamming-en.pdf) ([a Korean translation](./hamming-ko.pdf))
+- Nick Benton. [Bridging the Gap Between Theory and Practice](./why-cs-theory.ps)
+- Donald Knuth. [Theory and Practice](./knuth-theory-practice.pdf)
+- Matt Might. [The illustrated guide to a Ph.D](http://matt.might.net/articles/phd-school-in-pictures/)
+- [대학원때 알았으면 좋았을 것들](http://gradschoolstory.net/)
+
+# How to begin software analysis research
+
+## Papers
+
+- Our research papers. See the [publication page]({{< ref "/publications" >}}).
+
+## Courses and lecture notes
+
+- My courses on programming languages (COSE212), compilers (COSE312), computational logic (AAA528), program analysis (AAA616). See the [course page]({{< ref "/courses" >}}).
+- Kwangkeun Yi. [Notes on Programming Languages](http://ropas.snu.ac.kr/~kwang/pl-book-draft.pdf)
+- Kwangkeun Yi. [Program Analysis: Theories and Practices](http://ropas.snu.ac.kr/~kwang/4541.664A/16/)
+- Mayur Naik. [Software Analysis and Testing](http://www.cis.upenn.edu/~mhnaik/edu/cis700/index.htmls)
+- Anders Møller. [Static Program Analysis](http://cs.au.dk/~amoeller/spa/)
+- Andrew Pitts. [Lecture Notes on Denotional Semantics](./pitt-lecture-denotational-semantics-1998.ps)
+- Andrew Pitts. [Semantics of Programming Languages](./sempl.pdf)
+
+## Books
+
+- Aaron R. Bradley and Zohar Manna. [The Calculus of Computation](https://www.amazon.com/Calculus-Computation-Procedures-Applications-Verification/dp/3540741127)
+- Flemming Nielson, Hanne Riis Nielson, Chris hankin. [Principles of Program Analysis](https://www.amazon.com/Principles-Program-Analysis-Flemming-Nielson/dp/3540654100)
+- Glynn Winskel. [Formal Semantics of Programming Languages](https://www.amazon.com/Formal-Semantics-Programming-Languages-Winskel/dp/0262731037)