SPINFER: Inferring Semantic Patches for the Linux Kernel

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]

Authors

Lucas Serrano

This author has not been identified. Look up 'Lucas Serrano' in Google

Van-Anh Nguyen

This author has not been identified. Look up 'Van-Anh Nguyen' in Google

Ferdian Thung

This author has not been identified. Look up 'Ferdian Thung' in Google

Lingxiao Jiang

This author has not been identified. Look up 'Lingxiao Jiang' in Google

David Lo 0001

This author has not been identified. Look up 'David Lo 0001' in Google

Julia Lawall

This author has not been identified. Look up 'Julia Lawall' in Google

Gilles Muller

This author has not been identified. Look up 'Gilles Muller' in Google