SPINFER: Inferring Semantic Patches for the Linux Kernel.

Lucas Serrano, Van-Anh Nguyen, Ferdian Thung, Lingxiao Jiang, David Lo, Julia Lawall, Gilles Muller

Browse the full USENIX paper archive.