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
1112013
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
542012
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
472014
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
382016
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
362013
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
302014
Progress of concurrent objects with partial methods
H Liang, X Feng
Proceedings of the ACM on Programming Languages 2 (POPL), 1-31, 2017
142017
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
122019
Refinement verification of concurrent programs and its applications
H Liang
PhD thesis, USTC, China, 2014
52014
Abstraction for conflict-free replicated data types
H Liang, X Feng
Proceedings of the 42nd ACM SIGPLAN International Conference on Programmingá…, 2021
42021
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
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
2022
Progress of Concurrent Objects
H Liang, X Feng
Foundations and Trends« in Programming Languages 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
The system can't perform the operation now. Try again later.
Articles 1–20