22 May 2023
Tool to detect and fix Linux Kernel bugs wins EuroSys best paper
New heuristic detects unknown concurrency bugs and unnecessary barriers to prevent data corruption and system crashes. The OFence tool outperforms existing software tools and has won best paper at EuroSys 2023.
