Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

6 résultats
Page :
triés par

Shape Analysis

 Bor-Yuh Evan Chang , Cezara Dragoi , Roman Manevich , Noam Rinetzky , Xavier Rival
Foundations and Trends in Programming Languages, 2020, 6 (1–2), pp.1-158. ⟨10.1561/2500000037⟩
Article dans une revue hal-03081617v1
Image document

Invariant Synthesis for Programs Manipulating Lists with Unbounded Data

 Ahmed Bouajjani , Cezara Dragoi , Constantin Enea , Ahmed Rezine , Mihaela Sighireanu
2010
Autre publication scientifique hal-00473754v1
Image document

Executable Rounds: a Programming Abstraction for Fault-Tolerant Protocols

 Cezara Dragoi , Josef Widder , Damien Zufferey
2019
Pré-publication, Document de travail hal-02317446v1
Image document

Testing consensus implementations using communication closure

 Cezara Dragoi , Constantin Enea , Burcu Kulahcioglu Ozkan , Rupak Majumdar , Filip Niksic
SPLASH 2020 : ACM SIGPLAN conference on Systems, Programming, Languages, and Applications: Software for Humanity, Oct 2021, Chiccago / Virtual, United States. ⟨10.1145/3428278⟩
Communication dans un congrès hal-03134294v1
Image document

Programming at the edge of synchrony

 Cezara Dragoi , Josef Widder , Damien Zufferey
SPLASH 2020 - ACM SIGPLAN conference on Systems, Programming, Languages, and Applications: Software for Humanity, Oct 2020, Chicago / Virtual, United States. ⟨10.1145/3428281⟩
Communication dans un congrès hal-03134314v1
Image document

Communication-closed asynchronous protocols

 Andrei Damian , Cezara Dragoi , Alexandru Militaru , Josef Widder
2019
Pré-publication, Document de travail hal-01991415v1
Page :