| Modular verification of linearizability with non-fixed linearization points H Liang, X Feng Proceedings of the 34th ACM SIGPLAN Conference on Programming Language …, 2013 | 130 | 2013 |
| 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 | 69 | 2012 |
| 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 | 66 | 2016 |
| 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 | 51 | 2014 |
| 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 | 42 | 2013 |
| 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 | 39 | 2014 |
| Progress of concurrent objects with partial methods H Liang, X Feng Proceedings of the ACM on Programming Languages 2 (POPL), 1-31, 2017 | 31 | 2017 |
| 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 | 27 | 2019 |
| Abstraction for conflict-free replicated data types H Liang, X Feng Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021 | 14 | 2021 |
| 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 | 8 | 2022 |
| Refinement verification of concurrent programs and its applications H Liang PhD thesis, USTC, China, 2014 | 7 | 2014 |
| Progress of concurrent objects H Liang, X Feng Foundations and Trends® in Programming Languages 5 (4), 282-414, 2020 | 3 | 2020 |
| 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 | 2 | 2017 |
| 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 | 1 | 2018 |
| 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 | 1 | 2010 |
| Verified Validation for Affine Scheduling in Polyhedral Compilation X Li, H Liang, X Feng International Symposium on Theoretical Aspects of Software Engineering, 287-305, 2024 | | 2024 |
| 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 | | |
| A Program Logic for Concurrent Objects under Fair Scheduling (Extended Version) H Liang, X Feng | | |
Xinyu FengNanjing UniversityVerified email at nju.edu.cn