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
902013
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
512012
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
412014
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
332013
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
272016
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
232014
Progress of concurrent objects with partial methods
H Liang, X Feng
Proceedings of the ACM on Programming Languages 2 (POPL), 1-31, 2017
102017
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
52019
Refinement verification of concurrent programs and its applications
H Liang
PhD thesis, USTC, China, 2014
52014
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
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
A Pointer Logic Dealing with Uncertain Equality of Pointers
H Liang, Y Zhang, Y Chen, Z Li, B Hua
Journal of Software 21 (2), 334-343, 2010
12010
A Shape System and Loop Invariant Inference
H Liang, Y Zhang, Y Chen, Z Li
1
Progress of Concurrent Objects.
H Liang, X Feng
Found. Trends Program. Lang. 5 (4), 282-414, 2020
2020
Compositional Verification of Termination-Preserving Refinement of Concurrent Programs (Technical Report)
H Liang, X Feng, Z Shao
2014
Observing Progress Properties via Contextual Refinements
H Liang, J Hoffmann, X Feng, Z Shao
2013
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
A Program Logic for Concurrent Objects under Fair Scheduling (Extended Version)
H Liang, X Feng
A Program Logic for Contextual Refinement of Concurrent Objects under Fair Scheduling
H Liang, X Feng
A dissertation for doctor degree
H Liang
The system can't perform the operation now. Try again later.
Articles 1–20