Introduction to the Special Issue on ESOP 2021

Abstract

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