Filter your results
- 9
- 1
- 6
- 2
- 2
- 9
- 1
- 2
- 1
- 2
- 1
- 2
- 1
- 1
- 10
- 6
- 5
- 4
- 4
- 3
- 3
- 2
- 1
- 10
- 6
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
10 Results
|
|
sorted by
|
|
Verifying a Concurrent Garbage Collector using a Rely-Guarantee MethodologyITP 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
|
||
|
Consistency in 3DInt. Conf. on Concurrency Theory (CONCUR) 2016, Aug 2016, Québec, Canada. pp.15
Conference papers
hal-01350668v1
|
||
|
Invariant Safety for Distributed ApplicationsWorkshop on Principles and Practice of Consistency for Distributed Data (PaPoC), Mar 2019, Dresden, Germany
Conference papers
hal-02052012v1
|
||
|
Consistency in 3D[Research Report] RR-8932, Institut National de la Recherche en Informatique et Automatique (Inria). 2016
Reports
hal-01343592v1
|
||
|
Verifying a Concurrent Garbage Collector with a Rely-Guarantee MethodologyJournal of Automated Reasoning, 2018, ⟨10.1007/s10817-018-9489-x⟩
Journal articles
hal-01897251v1
|
||
|
Proving the safety of highly-available distributed objects (Extended version)[0] LIP6, Sorbonne Université, Inria, Paris, France; Arm Research, Cambridge, UK. 2020
Reports
hal-02492599v1
|
||
|
Relaxed memory models: an operational approachPOPL'09, Jan 2009, Savannah, GA,, United States
Conference papers
inria-00420352v1
|
||
|
Ensuring referential integrity under causal consistency PaPoC 2018 - 5th Workshop on Principles and Practice of Consistency for Distributed Data, Apr 2018, Porto, Portugal
Conference papers
hal-01727207v1
|
||
|
Proving the safety of highly-available distributed objectsESOP 2020 - 29th European Symposium on Programming, Apr 2020, Dublin, Ireland
Conference papers
hal-02424317v3
|
||
Atomicity Refinement for Verified CompilationACM Transactions on Programming Languages and Systems (TOPLAS), 2014, pp.30
Journal articles
hal-01102435v1
|