Fast and Precise Retrieval of Forward and Back Porting Information for Linux Device Drivers. - Julia Lawall; Derek Palinski; Lukas Gnirke; Gilles Muller (USENIX ATC, 2017)