Hongjin Liang

According to our database, Hongjin Liang authored at least 15 papers between 2012 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Verifying Algorithmic Versions of the Lovász Local Lemma.

Rongen Lin, Hongjin Liang, Xinyu Feng

Proceedings of the Programming Languages and Systems, 2025

A Program Logic for Concurrent Randomized Programs in the Oblivious Adversary Model.

Weijie Fan, Hongjin Liang, Xinyu Feng, Hanru Jiang

Proceedings of the Programming Languages and Systems, 2025

2024

Verified Validation for Affine Scheduling in Polyhedral Compilation.

Xuyang Li, Hongjin Liang, Xinyu Feng

Proceedings of the Theoretical Aspects of Software Engineering, 2024

2022

Verifying optimizations of concurrent programs in the promising semantics.

Junpeng Zha, Hongjin Liang, Xinyu Feng

Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022

2021

Abstraction for conflict-free replicated data types.

Hongjin Liang, Xinyu Feng

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

2020

Progress of Concurrent Objects.

Hongjin Liang, Xinyu Feng

Found. Trends Program. Lang., 2020

2019

Towards certified separate compilation for concurrent programs.

Hanru Jiang, Hongjin Liang, Siyang Xiao, Junpeng Zha, Xinyu Feng

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

2018

Progress of concurrent objects with partial methods.

Hongjin Liang, Xinyu Feng

Proc. ACM Program. Lang., 2018

Non-preemptive Semantics for Data-Race-Free Programs.

Siyang Xiao, Hanru Jiang, Hongjin Liang, Xinyu Feng

Proceedings of the Theoretical Aspects of Computing - ICTAC 2018, 2018

2016

A program logic for concurrent objects under fair scheduling.

Hongjin Liang, Xinyu Feng

Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

2014

Rely-Guarantee-Based Simulation for Compositional Verification of Concurrent Program Transformations.

Hongjin Liang, Xinyu Feng, Ming Fu

ACM Trans. Program. Lang. Syst., 2014

Compositional verification of termination-preserving refinement of concurrent programs.

Hongjin Liang, Xinyu Feng, Zhong Shao

Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014

2013

Modular verification of linearizability with non-fixed linearization points.

Hongjin Liang, Xinyu Feng

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013

Characterizing Progress Properties of Concurrent Objects via Contextual Refinements.

Hongjin Liang, Jan Hoffmann, Xinyu Feng, Zhong Shao

Proceedings of the CONCUR 2013 - Concurrency Theory - 24th International Conference, 2013

2012

A rely-guarantee-based simulation for verifying concurrent program transformations.

Hongjin Liang, Xinyu Feng, Ming Fu

Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2012