Towards Certified Separate Compilation for Concurrent Programs

Hanru Jiang, Hongjin Liang, Siyang Xiao, Junpeng Zha, Xinyu Feng. PLDI 2019.

Project page at PLaX-Lab.