https://www.dagstuhl.de/23172

April 23 – 26 , 2023, Dagstuhl Seminar 23172

Formal Methods for Correct Persistent Programming

Organizers

Ori Lahav (Tel Aviv University, IL)
Azalea Raad (Imperial College London, GB)
Joseph Tassarotti (Boston College, US)
Viktor Vafeiadis (MPI-SWS – Kaiserslautern, DE)

For support, please contact

Jutka Gasiorowski for administrative matters

Michael Gerke for scientific matters

Related Dagstuhl Seminar

Classification

  • Distributed / Parallel / And Cluster Computing
  • Programming Languages

Keywords

  • Non-volatile-memory
  • Persistency
  • Verification
  • Formal methods
  • Concurrency

Documentation

In the series Dagstuhl Reports each Dagstuhl Seminar and Dagstuhl Perspectives Workshop is documented. The seminar organizers, in cooperation with the collector, prepare a report that includes contributions from the participants' talks together with a summary of the seminar.

 

Download overview leaflet (PDF).

Dagstuhl's Impact

Please inform us when a publication was published as a result from your seminar. These publications are listed in the category Dagstuhl's Impact and are presented on a special shelf on the ground floor of the library.

Publications

Furthermore, a comprehensive peer-reviewed collection of research papers can be published in the series Dagstuhl Follow-Ups.