Hongjin Liang - RankMe

15 papers A* 6B 1C 1Misc 1Journal 3Unranked 3

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	A Program Logic for Concurrent Randomized Programs in the Oblivious Adversary Model. ESOP (1) Weijie Fan, Hongjin Liang, Xinyu Feng, Hanru Jiang
2025	—	`conf`	Verifying Algorithmic Versions of the Lovász Local Lemma. ESOP (1) Rongen Lin, Hongjin Liang, Xinyu Feng
2024	Misc	`conf`	Verified Validation for Affine Scheduling in Polyhedral Compilation. TASE Xuyang Li, Hongjin Liang, Xinyu Feng
2022	A*	`conf`	Verifying optimizations of concurrent programs in the promising semantics. PLDI Junpeng Zha, Hongjin Liang, Xinyu Feng
2021	A*	`conf`	Abstraction for conflict-free replicated data types. PLDI Hongjin Liang, Xinyu Feng
2020	J	`jnl`	Progress of Concurrent Objects. Found. Trends Program. Lang. Hongjin Liang, Xinyu Feng
2019	A*	`conf`	Towards certified separate compilation for concurrent programs. PLDI Hanru Jiang, Hongjin Liang, Siyang Xiao, Junpeng Zha, Xinyu Feng
2018	C	`conf`	Non-preemptive Semantics for Data-Race-Free Programs. ICTAC Siyang Xiao, Hanru Jiang, Hongjin Liang, Xinyu Feng
2018	J	`jnl`	Progress of concurrent objects with partial methods. Proc. ACM Program. Lang. Hongjin Liang, Xinyu Feng
2016	A*	`conf`	A program logic for concurrent objects under fair scheduling. POPL Hongjin Liang, Xinyu Feng
2014	—	`conf`	Compositional verification of termination-preserving refinement of concurrent programs. CSL-LICS Hongjin Liang, Xinyu Feng, Zhong Shao
2014	J	`jnl`	Rely-Guarantee-Based Simulation for Compositional Verification of Concurrent Program Transformations. ACM Trans. Program. Lang. Syst. Hongjin Liang, Xinyu Feng, Ming Fu
2013	B	`conf`	Characterizing Progress Properties of Concurrent Objects via Contextual Refinements. CONCUR Hongjin Liang, Jan Hoffmann, Xinyu Feng, Zhong Shao
2013	A*	`conf`	Modular verification of linearizability with non-fixed linearization points. PLDI Hongjin Liang, Xinyu Feng
2012	A*	`conf`	A rely-guarantee-based simulation for verifying concurrent program transformations. POPL Hongjin Liang, Xinyu Feng, Ming Fu