Nada Amin, Tiark Rompf. LMS-Verify: abstraction without regret for verified systems programming. In Giuseppe Castagna, Andrew D. Gordon, editors, Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, Paris, France, January 18-20, 2017. pages 859-873, ACM, 2017. [doi]
Abstract is missing.