Hongjin Liang

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 8

Top Topics

Piecewise Affine

Concurrent Programs

Multivalued Dependencies

Top Venues

Proc. ACM Program. Lang.

Found. Trends Program. Lang.

Publications

Xuyang Li, Hongjin Liang, Xinyu Feng
Verified Validation for Affine Scheduling in Polyhedral Compilation. TASE (2024)
Jiehang Deng, Haomin Wei, Dongdong He, Guosheng Gu, Xiaodong Kang, Hongjin Liang, Chao Liu, Peijie Wu, Yuanli Zhong, Shihe Xu, Wing-Kuen Ling, Jian Zhao
A coarse to fine framework for recognizing and locating multiple diatoms with highly complex backgrounds in forensic investigation. Multim. Tools Appl. 81 (4) (2022)
Hongjin Liang, Xinyu Feng
Abstraction for conflict-free replicated data types. PLDI (2021)
Hongjin Liang, Xinyu Feng
Progress of Concurrent Objects. Found. Trends Program. Lang. 5 (4) (2020)
Hanru Jiang, Hongjin Liang, Siyang Xiao, Junpeng Zha, Xinyu Feng
Towards certified separate compilation for concurrent programs. PLDI (2019)
Siyang Xiao, Hanru Jiang, Hongjin Liang, Xinyu Feng
Non-preemptive Semantics for Data-Race-Free Programs. ICTAC (2018)
Hongjin Liang, Xinyu Feng
Progress of concurrent objects with partial methods. Proc. ACM Program. Lang. 2 (POPL) (2018)
Hongjin Liang, Xinyu Feng
A program logic for concurrent objects under fair scheduling. POPL (2016)
Hongjin Liang, Xinyu Feng, Ming Fu
Rely-Guarantee-Based Simulation for Compositional Verification of Concurrent Program Transformations. ACM Trans. Program. Lang. Syst. 36 (1) (2014)
Hongjin Liang, Xinyu Feng, Zhong Shao
Compositional verification of termination-preserving refinement of concurrent programs. CSL-LICS (2014)
Hongjin Liang, Jan Hoffmann, Xinyu Feng, Zhong Shao
Characterizing Progress Properties of Concurrent Objects via Contextual Refinements. CONCUR (2013)
Hongjin Liang, Xinyu Feng
Modular verification of linearizability with non-fixed linearization points. PLDI (2013)
Hongjin Liang, Xinyu Feng, Ming Fu
A rely-guarantee-based simulation for verifying concurrent program transformations. POPL (2012)