BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Liang:Hongjin

Contributed to:

CSL-LICS 20142014
PLDI 20132013
POPL 20122012
POPL 20162016
POPL 20182018
PLDI 20192019

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.