• PLDI tutorial
• JVM Specificaiton
  • JVM Structure
  • .class file format
  • Opcode descriptions
• Lengauer-Tarjan Algorithm
  • ACM Dig Library Link
  • My notes
• Schwartz-Sharir Intervals Algorithm
  • SETL Newsletter #204
  • ACM Dig Library Link
• Sparse Data Flow Graphs
• SSA paper
• Value Numbering
• Constant Propagation
• Compact Representations of Control Dependnece
• Shasha-Snir
• Access Anomoly Detetion
  • An empirical comparison of monitoring algorithms for access anomaly detection
  • Detecting access anomalies in programs with critical sections
• Efficient path profiling (Ball and Larus)
• Superoptimizer paper
• code-generator generators