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

院士


大师讲席


教授


副教授

梁红瑾


讲师


博士后

更多>>学术活动
  • 美国克拉克森大学Chen Liu副教授学术报告会

    题目:An Integrated Hardware/Software Framework for Adaptive Thread Management in Modern Microprocessors

    时间:2018年6月19日16:00

    地点: 西区电三楼632学术报告厅

  • 中国科大智能与大数据峰会

    时间:2018年6月16日-17日

    1.开幕式(6月16日上午9:00-9:30)

      地点:西区科技实验楼218会议室

    2.峰会主题演讲(6月16日上午9:30-12:00)

      地点:西区科技实验楼218会议室

      演讲嘉宾:陈国良、刘云浩

    3.分论坛(6月16日下午14:30-17:30)

      智能领域:

      地点:西区科技实验楼218会议室

      演讲嘉宾:田第鸿、方明、庞建新、户磊

      大数据领域:

      地点:西区科技实验楼118会议室

      演讲嘉宾:熊辉、谭营、徐泽水、张师超

      物联网领域:

      地点:西区电三楼632会议室

      演讲嘉宾:张燕咏、梁家恩、陈云霁

  • 南瑞集团研究院杨志宏副院长报告会

    题目:能源互联网前沿技术应用

    时间:2018年6月13日10:00

    地点:西区电三楼632学术报告厅

您现在的位置:首页>师资队伍>副教授

梁红瑾

 

电   话:(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