王超

2022-05-24 10:03 作者: 审核: 浏览:

姓名: 王超 性别:

 

学历: 博士 职称: 副教授
部门: 软件工程系
电话:
邮件地址:     wangch1@swu.edu.cn

研究方向: 多核和分布式并发程序,理论计算机科学,形式化方法                                                                                                                                                                                                                              





个人简介

男,副教授,硕士研究生导师。 

研究领域:

- 程序的形式化分析和验证

- 并发程序的理论和算法。这里的并发程序包括多核程序和分布式程序

- 一致性的定义、验证和理论  

发表文章多篇,包括CCF A类和CCF B类的期刊和论文。主持国家自然科学基金青年科学基金项目一项。 

求学和工作经历:

2016 - 2018, 法国巴黎第七大学 博士后 合作导师:Constantin Enea教授

2008 - 2016, 中国科学院 软件研究所 博士 导师:林惠民 院士

2004 - 2008, 吉林大学 软件学院 学士


教学情况:

开设研究生课程《计算理论》。

开设本科课程《计算机科学导论》,《python智能数据分析》。   

科研情况

基金:

- 主持国家自然科学基金青年科学基金项目一项:基于顺序规约的可复制数据类型一致性的形式化定义与验证

- 主持校级基金一项:弱内存模型下并发数据结构的验证

论文:目前发表论文10篇。

- 王超,吕毅,吴鹏,贾巧雯: TSO 内存模型下限界可线性化的可判定性研究. 软件学报.

- Teng Long, Xintao Ren, Qing Wang and Chao Wang: Verifying the correctness of distributed systems via mergeable parallelism. SETTA 2021.

- Chao Wang, Constantin Enea, Suha Orhun Mutluergil, Gustavo Petri: Replication-aware linearizability. PLDI 2019. CCF A类会议

- Chao Wang, Yi Lv, Peng Wu: TSO-to-TSO linearizability is undecidable. Acta Informatica 2018. CCF C类期刊

- Chao Wang, Yi Lv, Peng Wu: Decidability of linearizabilities for relaxed data structures. Sci. China Inf. Sci. 2018. CCF B类期刊

- Ahmed Bouajjani, Constantin Enea, Chao Wang: Checking Linearizability of Concurrent Priority Queues. CONCUR 2017. CCF B类会议

- Chao Wang, Yi Lv, Peng Wu: Decomposable Relaxation for Concurrent Data Structures. SOFSEM 2017. EI会议

- Chao Wang, Yi Lv, Peng Wu: Bounded TSO-to-SC Linearizability Is Decidable. SOFSEM 2016. EI会议

- Chao Wang, Yi Lv, Gaoang Liu, Peng Wu: Quasi-Linearizability is Undecidable. APLAS 2015. CCF C类会议

- Chao Wang, Yi Lv, Peng Wu: TSO-to-TSO Linearizability Is Undecidable. ATVA 2015. CCF C类会议


获奖情况







备注

欢迎有兴趣学习计算机科学,对保障程序的正确性感兴趣的同学加入我的小组。

希望大家心中有一份对研究的热爱,做一个能沉得下心的聪明人。