No. |
Title |
Author |
Year |
---|
1 |
The Challenges of Weak Persistency (Invited Talk) |
Vafeiadis, Viktor |
2021 |
2 |
Reconciling Event Structures with Modern Multiprocessors |
Moiseenko, Evgenii et al. |
2020 |
3 |
Reconciling Event Structures with Modern Multiprocessors (Artifact) |
Moiseenko, Evgenii et al. |
2020 |
4 |
Promising Compilation to ARMv8 POP |
Podkopaev, Anton et al. |
2017 |
5 |
Strong Logic for Weak Memory: Reasoning About Release-Acquire Consistency in Iris |
Kaiser, Jan-Oliver et al. |
2017 |
6 |
Strong Logic for Weak Memory: Reasoning About Release-Acquire Consistency in Iris (Artifact) |
Kaiser, Jan-Oliver et al. |
2017 |
7 |
Verification of Evolving Graph Structures (Dagstuhl Seminar 15451) |
Aziz Abdulla, Parosh et al. |
2016 |
8 |
Asynchronous Liquid Separation Types |
Kloos, Johannes et al. |
2015 |
9 |
Rely/Guarantee Reasoning for Asynchronous Programs |
Gavran, Ivan et al. |
2015 |