Compiler Conferences

• PLDI - Programming Language Design and Implementation - http://www.sigplan.org/pldi.htm

• POPL - Principles of Programming Languages - http://www.sigplan.org/popl.htm

• SPLASH - Systems, Programming, Languages, and Applications: Software for Humanity - http://www.sigplan.org/oopsla.htm

• LCTES - Languages, Compilers, and Tools for Embedded Systems - http://www.sigplan.org/lctes.htm

• ASPLOS - Architectural Support for Programming Languages and Operating Systems - http://www.sigplan.org/asplos.htm

• CASES - Compilers, Architecture, and Synthesis for Embedded Systems - http://www.esweek.org

• ICFP - International Conference on Functional Programming - http://www.icfpconference.org

• CGO - Code Generation and Optimization - http://www.cgo.org

• PACT - Parallel Architectures and Compilation Technologies - http://www.pactconf.org

• PPoPP - Principles and Practice of Parallel Programming - http://www.sigplan.org/ppopp.htm

• CF - Computing Frontiers - http://www.computingfrontiers.org

• CC - Compiler Construction (as part of ETAPS) - http://www.etaps.org

Others

• HOPL - History Of Programming Languages (1978, 1993, 2007) - http://www.sigplan.org/hopl.htm

Computer Aided Verification

• CAV'2012 – DOI: 10.1007/978-3-642-31424-7

• CAV'2011 - DOI: 10.1007/978-3-642-22110-1

• CAV'2010 - DOI: 10.1007/978-3-642-14295-6

• CAV'2009 - DOI: 10.1007/978-3-642-02658-4

Books

• Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics - 10.1007/978-3-642-14509-4