More pointers.

papers/icfp2021/related.tex

@@ -13,7 +13,10 @@
 % Ori Lahav, Viktor Vafeiadis:
 % Owicki-Gries Reasoning for Weak Memory Models
 
-% Approche semi-automatisée (FSL automatisée dans Viper):
+% Approche semi-automatisée sans mémoire faible:
+% Automated Verification of CountDownLatch
+% https://arxiv.org/abs/1908.09758
+% Approche semi-automatisée avec mémoire faible (FSL automatisée dans Viper):
 % https://www.cs.ubc.ca/~alexsumm/papers/SummersMueller18.pdf
 
 % Dodds et al. (2015)
@@ -40,6 +43,10 @@
 % On Library Correctness under Weak Memory Consistency
 % https://www.soundandcomplete.org/papers/Libraries-POPL-2019.pdf
 
+% Cet article est probablement à connaître et à citer:
+% ReLoC Reloaded: A Mechanized Relational Logic for Fine-Grained Concurrency and Logical Atomicity
+% https://arxiv.org/abs/2006.13635
+
 \cite{vindum-birkedal-21}
 
 \cite{vindum-frumin-birkedal-21}