IC637 : Program Analysis, 2025 Fall

Course Information

• Instructor: Minseok Jeon (전민석)
  • Office: 211, E7 Bldg
  • Email: minseok_jeon@dgist.ac.kr

Course Materials

• Self-contained lecture notes are provided

• References

  • Xavier Rival and Kwangkeun Yi. Introduction to Static Analysis: An Abstract Interpretation Perspective. MIT Press

Slides

• Course Overview: lecture0.pdf