OFence est un outil académique conçu pour identifier et corriger les bugs de concurrence dans le noyau Linux. Il s'appuie sur des techniques d'analyse de barrières mémoire pour détecter des incohérences dans le code et proposer des correctifs. Ce projet vise à améliorer la fiabilité et la stabilité des systèmes d'exploitation en ciblant spécifiquement les problèmes liés à la synchronisation entre threads.