Travelled to:1 × Austria
2 × USA
Collaborated with:X.Feng Z.Shao M.Fu Hanru Jiang Siyang Xiao Junpeng Zha
Talks about:concurr (5) program (4) object (2) verif (2) transform (1) progress (1) lineariz (1) guarante (1) composit (1) schedul (1)
Person: Hongjin Liang
DBLP: Liang:Hongjin
Contributed to:
2014
2013
2012201620182019Wrote 6 papers:
- LICS-CSL-2014-LiangFS #composition #concurrent #refinement #source code #verification
- Compositional verification of termination-preserving refinement of concurrent programs (HL, XF, ZS), p. 10.
- PLDI-2013-LiangF #composition #verification
- Modular verification of linearizability with non-fixed linearization points (HL, XF), pp. 459–470.
- POPL-2012-LiangFF #concurrent #program transformation #simulation #verification
- A rely-guarantee-based simulation for verifying concurrent program transformations (HL, XF, MF), pp. 455–468.
- POPL-2016-LiangF #concurrent #logic #scheduling
- A program logic for concurrent objects under fair scheduling (HL, XF), pp. 385–399.
- POPL-2018-LiangF #concurrent
- Progress of concurrent objects with partial methods (HL, XF), p. 31.
- PLDI-2019-JiangLXZF #compilation #concurrent #source code #towards
- Towards certified separate compilation for concurrent programs (HJ, HL, SX, JZ, XF), pp. 111–125.