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]
@inproceedings{SerranoNTJ0LM20,
title = {SPINFER: Inferring Semantic Patches for the Linux Kernel},
author = {Lucas Serrano and Van-Anh Nguyen and Ferdian Thung and Lingxiao Jiang and David Lo 0001 and Julia Lawall and Gilles Muller},
year = {2020},
url = {https://www.usenix.org/conference/atc20/presentation/serrano},
researchr = {https://researchr.org/publication/SerranoNTJ0LM20},
cites = {0},
citedby = {0},
pages = {235-248},
booktitle = {2020 USENIX Annual Technical Conference, USENIX ATC 2020, July 15-17, 2020},
editor = {Ada Gavrilovska and Erez Zadok},
publisher = {USENIX Association},
isbn = {978-1-939133-14-4},
}