Towards certified separate compilation for concurrent programs.

Hanru Jiang, Hongjin Liang, Siyang Xiao, Junpeng Zha, Xinyu Feng

Browse the full PLDI paper archive.