Collaborated with:
Hanru Jiang H.Liang Junpeng Zha X.Feng
Talks about:
program (1) concurr (1) certifi (1) toward (1) compil (1) separ (1)
Person: Siyang Xiao
DBLP: Xiao:Siyang
Contributed to:
Wrote 1 papers:
- PLDI-2019-JiangLXZF #compilation #concurrent #source code #towards
- Towards certified separate compilation for concurrent programs (HJ, HL, SX, JZ, XF), pp. 111–125.