6 août 2026 Facebook a parallélisé Android avec l'interprétation abstraite. Voici comment ça marche. Comment Facebook a utilisé l'interprétation abstraite et l'insoundness intentionnelle pour trouver des race conditions à l'échelle dans des millions de lignes de code Android. abstract-interpretationconcurrencyandroidrace-conditions
7 juil. 2026 Attendre les race conditions est une stratégie de test épouvantable Pourquoi le model checking bat des jours d'exécution en production pour trouver les bugs de concurrence, et comment l'appliquer à votre propre code. model-checkingrace-conditionsconcurrencytesting
