Deep Specifications and Certified Abstraction Layers.

Ronghui Gu, Jrmie Koenig, Tahina Ramananandro, Zhong Shao, Xiongnan (Newman) Wu, Shu-Chun Weng, Haozhong Zhang, Yu Guo

Browse the full POPL paper archive.