skip to main content
introduction
Free Access

Introduction to the Special Section on ESOP 2020

Published:15 November 2021Publication History

The European Symposium on Programming (ESOP) is one of the European Joint Conferences on Theory and Practice of Software (ETAPS). It is devoted to fundamental issues in the specification, design, analysis, and implementation of programming languages and systems. ESOP 2020 was originally scheduled to be held April 27–30, 2020, in Dublin, Ireland. However, the COVID-19 pandemic forced the organizers to first postpone and then cancel the conference.

Before this decision was made, the program committee had selected 27 papers to appear at the conference. Of those, the committee selected an outstanding few and invited the authors to submit extended versions of their ESOP papers to this special section of TOPLAS. This issue includes two of those extended papers:

In “ Trace-relating Compiler Correctness and Secure Compilation,” Carmine Abate, Roberto Blanco, Ştefan Ciobâcă, Deepak Garg, Cătălin Hriţcu, Marco Patrignani, Éric Tanter, and Jérémy Thibault study a relaxed compiler correctness definition, which uses source and target traces drawn from potentially different sets and connected by an arbitrary relation. This approach generalizes to hyperproperties and secure compilation.

In “ RustHorn: CHC-based Verification for Rust Programs,” Yusuke Matsushita, Takeshi Tsukada, and Naoki Kobayashi present a verification technique for Rust programs that uses the linearity guarantees provided by Rust’s system type to avoid an explicit representation of the memory. This approach is explored in the context of constrained Horn clauses and has already been adapted to other verification approaches.

I thank the authors and reviewers for all their effort in producing and reviewing these papers. I also gratefully acknowledge the support of the TOPLAS editor-in-chief, Andrew Myers, the TOPLAS editorial staff, and the ESOP 2020 program committee for their help in selecting the invited papers.

Peter MüllerESOP 2020 PC ChairETH ZurichGuest Editor

Index Terms

(auto-classified)
  1. Introduction to the Special Section on ESOP 2020

          Recommendations

          Comments

          Login options

          Check if you have access through your login credentials or your institution to get full access on this article.

          Sign in

          Full Access

          • Published in

            cover image ACM Transactions on Programming Languages and Systems
            ACM Transactions on Programming Languages and Systems  Volume 43, Issue 4
            December 2021
            272 pages
            ISSN:0164-0925
            EISSN:1558-4593
            DOI:10.1145/3492431
            Issue’s Table of Contents

            Copyright © 2021 Copyright held by the owner/author(s).

            Publisher

            Association for Computing Machinery

            New York, NY, United States

            Publication History

            • Published: 15 November 2021
            Published in toplas Volume 43, Issue 4

            Permissions

            Request permissions about this article.

            Request Permissions

            Check for updates

            Qualifiers

            • introduction
            • Refereed
          • Article Metrics

            • Downloads (Last 12 months)105
            • Downloads (Last 6 weeks)11

            Other Metrics

          PDF Format

          View or Download as a PDF file.

          PDF

          eReader

          View online with eReader.

          eReader

          HTML Format

          View this article in HTML Format .

          View HTML Format
          About Cookies On This Site

          We use cookies to ensure that we give you the best experience on our website.

          Learn more

          Got it!