Presentation

The CinRC project aims at improving current specification languages for concurrent, reversible programs and protocols. It is an international collaborative project funded by the NSF, taking primarily place in the Augusta University’s School of Computer Science.

Augusta University wrote an article presenting the project, and our local television station aired a short segment about it as well.

Members

This project is carried out by Clément Aubert, with the help of the following collaborators (in alphabetical order):

• Peter Browning (Augusta University, USA),
• Doriana Medić (University of Turin, Italy),
• Claudio Antares Mezzina (University of Urbino, Italy),
• Jorge A. Pérez (University of Groningen, The Netherlands),
• Emilio Tuosto (Gran Sasso Science Institute, Italy),
• Daniele Varacca (Université Paris Est - Créteil, France).

Quan Long and Deivid Vale were offered the PhD and post-doctoral positions, respectively, and should join the project in January 2024 and July 2024, respectively.

Papers

• Clément Aubert. Replications in Reversible Concurrent Calculi. RC 2023, ⟨hal-04174437⟩
• Clément Aubert and Peter Browning. Implementation of Reversible Distributed Calculus. RC 2023, ⟨hal-04035458⟩.
• Clément Aubert. The Correctness of Concurrencies in (Reversible) Concurrent Calculi. 2023. JLAMP, ⟨hal-03950347⟩.

Tools

• IRDC-CCSK, a Java implementation of distributed reversible computation verification, is hosted on gihtub.
• A collection of small exercises about CSS and its reversible declensions is hosted on github

Miscellaneous

• Contact: caubert@augusta.edu
• Created with debian, pandoc and latex.
• All my documents are under Creative Commons Attribution 4.0 International License. Sources are available upon motivated request.
• You will need a pdf reader to consult some of the documents: I recommend choosing an open-source pdf reader.