POPL 2025

POPL 2025, or Principles of Programming Languages 2025, is one of the important conferences in the field of programming language principles. POPL is the oldest and highest-level international conference in the field of programming languages, and is also a Class A conference recommended by the China Computer Federation (CCF). The conference focuses on the basic principles and important innovations of programming languages, covering specific areas such as programming language design, program analysis, program verification, and compiler technology.

The conference focused on the following areas:

1. Programming Language Theory: Includes basic research such as grammar and semantics.
2. Language design and implementation: Explores how to build an efficient and reliable programming language.
3. Type system: Study how to use types to ensure the correctness and security of programs.
4. Program Analysis and Verification: Focus on how to check and ensure the quality of the program.
5. Application of programming languages: Such as applications in software engineering, system security and other fields.