计算机科学与技术学院
 
师资队伍

院士


大师讲席


教授


副教授

梁红瑾


讲师


博士后

更多>>学术活动
您现在的位置:首页>师资队伍>副教授

梁红瑾

 

电   话:(0512)87161338

E- Mail:lhj1018@ustc.edu.cn 

个人主页:http://staff.ustc.edu.cn/~lhj1018

 

   

主要研究方向: 程序验证、并发理论、程序设计语言理论

梁红瑾,女,1989年生。2014年7月毕业于中国科学技术大学,获博士学位。现任中国科学技术大学计算机学院特任副研究员。主要从事程序验证、并发理论、程序设计语言理论方面的研究。

 

主 要 论 著

   

[01]  Hongjin Liang, Xinyu Feng, Zhong Shao. “Compositional Verification of Termination-Preserving Refinement of Concurrent Programs.” In Proc. 23rd EACSL Annual Conference on Computer Science Logic and 29th Annual IEEE Symposium on Logic in Computer Science (CSL-LICS'14), Vienna, Austria, Article No. 65, July 2014.
[02] Hongjin Liang, Xinyu Feng, Ming Fu. “Rely-Guarantee-Based Simulation for Compositional Verification of Concurrent Program Transformations”. ACM Transactions on Programming Languages and Systems (TOPLAS), Volume 36, Issue 1, Article No. 3, March 2014.
[03] Hongjin Liang, Jan Hoffmann, Xinyu Feng, Zhong Shao. “Characterizing Progress Properties of Concurrent Objects via Contextual Refinements.” In Proc. 24th International Conference on Concurrency Theory (CONCUR'13), Buenos Aires, Argentina, pages 227-241, August 2013.
[04] Hongjin Liang, Xinyu Feng. “Modular Verification of Linearizability with Non-Fixed Linearization Points.” In Proc. 34th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'13), Seattle, USA, pages 459-470, June 2013.
[05] Hongjin Liang, Xinyu Feng, Ming Fu. “A Rely-Guarantee-Based Simulation for Verifying Concurrent Program Transformations.” In Proc. 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'12), Philadelphia, USA, pages 455-468, January 2012.
[06] 梁红瑾,张昱,陈意云,李兆鹏,华保健. “处理指针相等关系不确定的指针逻辑.” 软件学报,2010,21(2):334-343.

 

CopyRight 2009-2014 中国科学技术大学计算机科学与技术学院 All Rights Reserved.
安徽省合肥市黄山路中国科学技术大学西区电三楼
通信地址:安徽省合肥市4号信箱 计算机科学与技术学院 邮政编码:230027