Hongjin Liang

PhD Student

Advisors: Zhong Shao, Xinyu Feng, Yiyun Chen

USTC-Yale Joint Research Center for High Confidence Software

School of Computer Science and Technology, USTC

mailto: lhj1018 AT mail DOT ustc DOT edu DOT cn

Here is my CV (2011-10).

Publications

Ø A Rely-Guarantee-Based Simulation for Verifying Concurrent Program Transformations

Hongjin Liang, Xinyu Feng, Ming Fu.

In Proc. 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'12), Philadelphia, USA, pages 455-468, January, 2012. 

Ø A Pointer Logic Dealing with Uncertain Equality of Pointers

Hongjin Liang, Yu Zhang, Yiyun Chen, Zhaopeng Li, Baojian Hua. Journal of Software, 21(2):334-343, Feb. 2010.

² Appendix: An Example of Reasoning in Extended Pointer Logic: AIO Remove Request Function in Glibc (pdf).

Drafts

Ø A Shape System and Loop Invariant Inference (Draft). Hongjin Liang, Yu Zhang, Yiyun Chen, Zhaopeng Li. 2010.

² A demo tool for loop invariant inference (zip).

My Talks

Teaching Assistant

l Principles of Compiler (Spring 2010)