- Software Engineering Upcoming Conferences: http://research.csc.ncsu.edu/ase/semap/
- Symbolic Execution – Bibliography: http://sites.google.com/site/symexbib/
- Classic papers in Programming Languages: http://www.cs.virginia.edu/~weimer/2011-6610/reading/
- Important Papers in Software Testing: http://www.odysci.com/search/?q=software+testing
- Nice tutorial for using CIL by Zachary Anderson: http://people.inf.ethz.ch/azachary/pmwiki/pmwiki.php/Main/Code