Follow
Hongjin Liang
Title
Cited by
Cited by
Year
Modular verification of linearizability with non-fixed linearization points
H Liang, X Feng
Proceedings of the 34th ACM SIGPLAN Conference on Programming Language …, 2013
1282013
A rely-guarantee-based simulation for verifying concurrent program transformations
H Liang, X Feng, M Fu
Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2012
722012
A program logic for concurrent objects under fair scheduling
H Liang, X Feng
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2016
542016
Compositional verification of termination-preserving refinement of concurrent programs
H Liang, X Feng, Z Shao
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference …, 2014
542014
Characterizing progress properties of concurrent objects via contextual refinements
H Liang, J Hoffmann, X Feng, Z Shao
International Conference on Concurrency Theory, 227-241, 2013
452013
Rely-guarantee-based simulation for compositional verification of concurrent program transformations
H Liang, X Feng, M Fu
ACM Transactions on Programming Languages and Systems (TOPLAS) 36 (1), 1-55, 2014
352014
Progress of concurrent objects with partial methods
H Liang, X Feng
Proceedings of the ACM on Programming Languages 2 (POPL), 1-31, 2017
272017
Towards certified separate compilation for concurrent programs
H Jiang, H Liang, S Xiao, J Zha, X Feng
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language …, 2019
212019
Abstraction for conflict-free replicated data types
H Liang, X Feng
Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021
112021
Refinement verification of concurrent programs and its applications
H Liang
PhD thesis, USTC, China, 2014
52014
Verifying optimizations of concurrent programs in the promising semantics
J Zha, H Liang, X Feng
Proceedings of the 43rd ACM SIGPLAN International Conference on Programming …, 2022
42022
Progress of concurrent objects
H Liang, X Feng
Foundations and Trends® in Programming Languages 5 (4), 282-414, 2020
32020
Progress of concurrent objects with partial methods (extended version)
H Liang, X Feng
Technical Report. https://cs. nju. edu. cn/hongjin/papers/popl18-partial-tr. pdf, 2017
22017
An example of reasoning in extended pointer logic: AIO remove request function in Glibc
HJ Liang, Y Zhang, YY Chen, ZP Li, BJ Hua
Technical Report. http://home. ustc. edu. cn/~ lhj1018, 0
2
A shape system and loop invariant inference
H Liang, Y Zhang, Y Chen, Z Li
2
Non-Preemptive Semantics for Data-Race-Free Programs
S Xiao, H Jiang, H Liang, X Feng
International Colloquium on Theoretical Aspects of Computing, 513-531, 2018
12018
Pointer logic dealing with uncertain equality of pointers
梁红瑾, 张昱, 陈意云, 李兆鹏, 华保健
Journal of Software 21 (2), 334-343, 2010
12010
Compositional Verification of Termination-Preserving Refinement of Concurrent Programs (Technical Report)
H Liang, X Feng, Z Shao
2014
A Rely-Guarantee-Based Logical Relation for Concurrent Program Transformations
H Liang, X Feng, M Fu
School of Computer Science and Technology, University of Science and …, 2011
2011
Towards Certified Compositional Compilation for Concurrent Programs
H Jiang, H Liang, X Feng
The system can't perform the operation now. Try again later.
Articles 1–20