This Special Issue of TOPLAS collects full versions of seven selected papers presented at the 30th European Symposium on Programming. ESOP 2021 was one of the four conferences of ETAPS 2021, the 24th European Joint Conferences in Theory and Practice of Software, virtually held in Luxembourg City, Luxembourg, from March 27 to April 1 in 2021.
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
Recommendations
ESOP-Based Toffoli Network Generation with Transformations
ISMVL '10: Proceedings of the 2010 40th IEEE International Symposium on Multiple-Valued LogicIn this paper a new Toffoli gate cascade synthesis method is presented. This method is based on previous work and generates a cascade of inverted-control-Toffoli gates from the ESOP representation of a multi-output function. The algorithm first ...
An Improved Reversible Circuit Synthesis Approach using Clustering of ESOP Cubes
Special Issue on Reversible Computation and Regular PapersThe problem of reversible logic synthesis has drawn the attention of many researchers over the last two decades with growing emphasis on low-power design. Among the various synthesis approaches that have been reported, the ones based on compact circuit ...
ESOP-Inspired Synthesis Method for Ternary Permutative Quantum Circuits
ISMVL '12: Proceedings of the 2012 IEEE 42nd International Symposium on Multiple-Valued LogicThe goal of this paper is to improve synthesis of ternary-input, ternary-output quantum per mutative circuits realized with Muthukrishnan-Stroud (M-S) gates. In [1], quantum ternary circuits are designed based on DSOP (Disjoint Sum of Products) cascades ...






Comments