Languages

Biblio

Filters: Author is Hongjin Liang  [Clear All Filters]
2016
Liang H, Feng X.  2016.  A Program Logic for Concurrent Objects under Fair Scheduling. Proc. 43rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2016), pp 385-399.
2014
Liang H, Feng X, Shao Z.  2014.  Compositional Verification of Termination-Preserving Refinement of Concurrent Programs. Proc. Joint Meeting of the 23rd EACSL Annual Conference on Computer Science Logic and the 29th Annual ACM/IEEE Symposium on Logic in Computer Science (CSL-LICS'14). 2014.07.14-18. pp 65:1-65:10.
Liang H, Feng X, Fu M.  2014.  Rely-Guarantee-Based Simulation for Compositional Verification of Concurrent Program Transformations. ACM Transactions on Programming Languages and Systems (TOPLAS), 36(1), pp 3:1-3:55.
2013
Liang H, Hoffmann J, Feng X, Shao Z.  2013.  Characterizing Progress Properties of Concurrent Objects via Contextual Refinements. 24th International Conference on Concurrency Theory (CONCUR'13).
Liang H, Feng X.  2013.  Modular Verification of Linearizability with Non-Fixed Linearization Points. 34th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'13).
2012
Liang H, Feng X, Fu M.  2012.  A Rely-Guarantee-Based Simulation for Verifying Concurrent Program Transformations. 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'12).