Reversible Gray Debugging of Concurrent Systems

Projektinformationen

ReGraDe-CS

ID Finanzhilfevereinbarung: 101106046

DOI

10.3030/101106046

Projekt abgeschlossen

EK-Unterschriftsdatum 24 April 2023

Startdatum 1 Dezember 2023

Enddatum 30 November 2025

Finanziert unter

• Marie Skłodowska-Curie Actions (MSCA)

Gesamtkosten

Keine Daten

EU-Beitrag

€ 172 750,08

Koordiniert durch

ALMA MATER STUDIORUM - UNIVERSITA DI BOLOGNA
Italy

CORDIS bietet Links zu öffentlichen Ergebnissen und Veröffentlichungen von HORIZONT-Projekten.

Links zu Ergebnissen und Veröffentlichungen von RP7-Projekten sowie Links zu einigen Typen spezifischer Ergebnisse wie Datensätzen und Software werden dynamisch von OpenAIRE abgerufen.

Leistungen

Data Management Plan (1)

Data Management Plan

The Data Management Plan describes the data management life cycle for all data sets that will be collected, processed or generated by the action. It is a document describing what data will be collected, processed or generated and following what methodology and standards, whether and how this data will be shared and/or made open, and how it will becurated and preserved.

Documents, reports (1)

Communication, Dissemination & Exploitation Plan

The plan describes the planned measures to maximize the impact of the project, including the dissemination and exploitation measures that are planned, and the target group(s) addressed. Regarding communication measures and public engagement strategy, the aim is to inform and reach out to society and show the activities performed, and the use and the benefits the project will have for citizens.

Veröffentlichungen

Book chapters (3)

A Small-Step Semantics for Janus

Autoren: Lami, Pietro; Lanese, Ivan; Stefani, Jean-Bernard
Veröffentlicht in: Lecture Notes in Computer Science ISBN: 9783031620751, 2024
Herausgeber: Springer
DOI: 10.1007/978-3-031-62076-8_8

Causal Debugging for Concurrent Systems

Autoren: Lanese, Ivan; Gössler, Gregor
Veröffentlicht in: Lecture Notes in Computer Science ISBN: 14680, 2024
Herausgeber: Springer
DOI: 10.1007/978-3-031-62076-8_1

Towards Quantum Multiparty Session Types

Autoren: Lanese, Ivan; Dal Lago, Ugo; Choudhury, Vikraman
Veröffentlicht in: Lecture Notes in Computer Science ISBN: 9783031773815, 2024
Herausgeber: Springer
DOI: 10.48550/ARXIV.2409.11133

Conference proceedings (7)

Reversible Debugging of Erlang Programs in CauDEr

Autoren: Lanese, Ivan; Vidal, Germán
Veröffentlicht in: Proceedings of the 2nd ACM International Workshop on Future Debugging Techniques, 2024, ISBN 9798400711107
Herausgeber: Association for Computing Machinery
DOI: 10.1145/3678720.3685319

Scheme Pearl: Quantum Continuations

Autoren: Choudhury, Vikraman; Agapiev, Borislav; Sabry, Amr; Choudhury, Vikraman; Agapiev, Borislav; Sabry, Amr
Veröffentlicht in: Scheme Workshop 2022, 2024
Herausgeber: Arxiv
DOI: 10.48550/ARXIV.2409.11106

Semantic Analysis of Normalisation for Directional Logic Programming

Autoren: Choudhury, Vikraman; Suo, Ariadne, Si; Krishnaswami, Neel; Choudhury, Vikraman; Krishnaswami, Neel; Suo, Ariadne, Si
Veröffentlicht in: WITS 2025 - Fourth Workshop on the Implementation of Type Systems, 2025
Herausgeber: HAL

Towards Quantum Multiparty Session Types

Autoren: Ivan Lanese; Ugo Dal Lago; Vikraman Choudhury
Veröffentlicht in: Fifth International Workshop on Programming Languages for Quantum Computing (PLanQC 2025), 2025
Herausgeber: HAL

Intrinsically Correct Sorting in Cubical Agda

Autoren: Cass Alexandru; Vikraman Choudhury; Jurriaan Rot; Niels van der Weide
Veröffentlicht in: Proceedings of the 14th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2025, ISBN 9798400713477
Herausgeber: Association for Computing Machinery
DOI: 10.1145/3703595.3705873

On commutativity, total orders, and sorting

Autoren: Simon Gay; Wind Wong; Vikraman Choudhury; Wind Wong; Vikraman Choudhury; Simon Gay
Veröffentlicht in: Workshop on Homotopy Type Theory / Univalent Foundations (HoTT/UF 2024), 2024
Herausgeber: HAL

Reversibility with Holes

Autoren: Fabbretti, Giovanni; Lanese, Ivan; Stefani, Jean-Bernard
Veröffentlicht in: Reversible Computation: 16th International Conference, RC 2024, 2024, ISBN 978-3-031-62076-8
Herausgeber: Springer
DOI: 10.1007/978-3-031-62076-8_5

Peer reviewed articles (2)

The Duality of λ-Abstraction

Autoren: Vikraman Choudhury, Simon J. Gay
Veröffentlicht in: Proceedings of the ACM on Programming Languages, Ausgabe 9, 2025, ISSN 2475-1421
Herausgeber: Association for Computing Machinery (ACM)
DOI: 10.1145/3704848

revTPL: The Reversible Temporal Process Language

Autoren: Laura Bocchi, Ivan Lanese, Claudio Antares Mezzina, Shoji Yuen
Veröffentlicht in: Logical Methods in Computer Science, Ausgabe Volume 20, Ausgabe 1, 2024, ISSN 1860-5974
Herausgeber: Centre pour la Communication Scientifique Directe (CCSD)
DOI: 10.46298/lmcs-20(1:11)2024