Search - Archive ouverte HAL Access content directly

Filter your results

10 Results
Image document

Verifying a Concurrent Garbage Collector using a Rely-Guarantee Methodology

Yannick Zakowski , David Cachera , Delphine Demange , Gustavo Petri , David Pichardie et al.
ITP 2017 - 8th International Conference on Interactive Theorem Proving, Sep 2017, Brasília, Brazil. pp.496-513, ⟨10.1007/978-3-319-66107-0_31⟩
Conference papers hal-01613389v1
Image document

Consistency in 3D

Marc Shapiro , Masoud Saeida Ardekani , Gustavo Petri
Int. Conf. on Concurrency Theory (CONCUR) 2016, Aug 2016, Québec, Canada. pp.15
Conference papers hal-01350668v1
Image document

Invariant Safety for Distributed Applications

Sreeja S Nair , Gustavo Petri , Marc Shapiro
Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC), Mar 2019, Dresden, Germany
Conference papers hal-02052012v1
Image document

Consistency in 3D

Marc Shapiro , Masoud Saeida Ardekani , Gustavo Petri
[Research Report] RR-8932, Institut National de la Recherche en Informatique et Automatique (Inria). 2016
Reports hal-01343592v1
Image document

Verifying a Concurrent Garbage Collector with a Rely-Guarantee Methodology

Yannick Zakowski , David Cachera , Delphine Demange , Gustavo Petri , David Pichardie et al.
Journal of Automated Reasoning, 2018, ⟨10.1007/s10817-018-9489-x⟩
Journal articles hal-01897251v1
Image document

Proving the safety of highly-available distributed objects (Extended version)

Sreeja S Nair , Gustavo Petri , Marc Shapiro
[0] LIP6, Sorbonne Université, Inria, Paris, France; Arm Research, Cambridge, UK. 2020
Reports hal-02492599v1
Image document

Relaxed memory models: an operational approach

Gérard Boudol , Gustavo Petri
POPL'09, Jan 2009, Savannah, GA,, United States
Conference papers inria-00420352v1
Image document

Ensuring referential integrity under causal consistency

Marc Shapiro , Annette Bieniusa , Peter Zeller , Gustavo Petri
PaPoC 2018 - 5th Workshop on Principles and Practice of Consistency for Distributed Data, Apr 2018, Porto, Portugal
Conference papers hal-01727207v1
Image document

Proving the safety of highly-available distributed objects

Sreeja S Nair , Gustavo Petri , Marc Shapiro
ESOP 2020 - 29th European Symposium on Programming, Apr 2020, Dublin, Ireland
Conference papers hal-02424317v3

Atomicity Refinement for Verified Compilation

Suresh Jagannathan , Vincent Laporte , Gustavo Petri , David Pichardie , Jan Vitek et al.
ACM Transactions on Programming Languages and Systems (TOPLAS), 2014, pp.30
Journal articles hal-01102435v1