Jia-Ju Bai, Yu-Ping Wang, Shi-Min Hu: AutoPA: automatically generating active driver from original passive driver code. CGO 2018: 288-299