Seal: Towards Diverse Specification Inference for Linux Interfaces from Security Patches.

Wei Chen, Bowen Zhang, Chengpeng Wang, Wensheng Tang, Charles Zhang

Browse the full EuroSys paper archive.