Hongjin Liang

Orcid: 0000-0002-4337-6548

Affiliations:
  • Nanjing University, China


According to our database1, Hongjin Liang authored at least 13 papers between 2012 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Verified Validation for Affine Scheduling in Polyhedral Compilation.
Proceedings of the Theoretical Aspects of Software Engineering, 2024

2022
Verifying optimizations of concurrent programs in the promising semantics.
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.
Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

2020
Progress of Concurrent Objects.
Found. Trends Program. Lang., 2020

2019
Towards certified separate compilation for concurrent programs.
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

2018
Progress of concurrent objects with partial methods.
Proc. ACM Program. Lang., 2018

Non-preemptive Semantics for Data-Race-Free Programs.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2018, 2018

2016
A program logic for concurrent objects under fair scheduling.
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.
ACM Trans. Program. Lang. Syst., 2014

Compositional verification of termination-preserving refinement of concurrent programs.
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.
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013

Characterizing Progress Properties of Concurrent Objects via Contextual Refinements.
Proceedings of the CONCUR 2013 - Concurrency Theory - 24th International Conference, 2013

2012
A rely-guarantee-based simulation for verifying concurrent program transformations.
Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2012


  Loading...