一句话：介绍 ESOP 2021 特刊的选文流程、扩展评审与收录论文主题。
本文是 ESOP 2021 特刊导言。2021 年 ESOP 共接收 24 篇全文，编委会依据会议审稿报告和 PC 推荐选出 7 篇进入本特刊。作者需在会议版本基础上修订并补充新材料，扩展版按 TOPLAS 的高标准常规评审流程处理。收录论文涵盖 session types、π-calculus、LLVM、命令式程序复杂度分析、分离逻辑和自动微分等方向，体现了 ESOP 2021 科学程序的高质量。导言最后感谢审稿人及时且高质量的评审，使所有投稿在 ESOP'21 举办后不到一年内完成评审。
In the 2021 edition of ESOP, 24 full papers were accepted for presentations. Seven of those were selected for this Special Issue, based on the referee reports we received for their conference versions and recommendations by the PC members. Authors were asked to revise and complement the version presented at ESOP with other new material. The extended version of each paper has undergone the usual reviewing process of TOPLAS, in accordance with its high standards. I would like to thank the authors for their efforts for producing the extended versions contained in this Special Issue. The selected papers witness the high quality of the scientific program of ESOP 2021. They address session types, the π -calculus, LLVM, complexity analysis of imperative programs, separation logic, and automatic differentiation. Finally, I thank the expert reviewers for the submissions to this Special Issue. They provided high-quality and careful reviews on time. By the reviewers’ efforts, we are able to complete the review process of all submissions less than one year since the conference ESOP’21 was held. February 2022