Lucas Serrano, Van-Anh Nguyen, Ferdian Thung, Lingxiao Jiang, David Lo 0001, Julia Lawall, Gilles Muller. SPINFER: Inferring Semantic Patches for the Linux Kernel. In Ada Gavrilovska, Erez Zadok, editors, 2020 USENIX Annual Technical Conference, USENIX ATC 2020, July 15-17, 2020. pages 235-248, USENIX Association, 2020. [doi]
Abstract is missing.