- General
- Brinch Hansen page containing his selected publications.
- Unifying Theories by Tony Hoare.
- A Bibliography of papers on symbolic execution technique and its applications.
- Java Bytecode.
- Java VM specs.
- Cool tools and projects
- Soot - a Java optimization framework.
- JavaPath Finderr (JPF) - an explicit Java model checker and much more!
- SMT-LIB - a project to aid research and development in Satisfiability Modulo Theories.
- Flare - data visualization for web.
- OpenSMT - an open-source SMT-solver.
- Abstract interpretation
- Dave Schmidt's presentations.
- Patrick Cousot's lectures (read Dave's first!)
- Patrick Cousot's MIT's course.
- Closed and Logical Relations for Over- and Under-Approximation of Powersets by Dave Schmidt.