ProfessorsProfessors of Nanjing UniversityXinyu Feng

Xinyu Feng

Nanjing University

H-index: 24

Asia-China

About Xinyu Feng

Xinyu Feng, With an exceptional h-index of 24 and a recent h-index of 14 (since 2020), a distinguished researcher at Nanjing University, specializes in the field of Programming Languages, Formal Verification.

His recent articles reflect a diverse array of research interests and contributions to the field:

Verifying optimizations of concurrent programs in the promising semantics

AUTOGR: automated geo-replication with fast system performance and preserved application semantics

对涉及所有权转移的上下文精化关系的验证

Verifying contextual refinement with ownership transfer

Abstraction for conflict-free replicated data types

SPARCv8 代码的模块化验证

Progress of Concurrent Objects.

Xinyu Feng Information

University	Nanjing University
Position	___
Citations(all)	2142
Citations(since 2020)	600
Cited By	1779
hIndex(all)	24
hIndex(since 2020)	14
i10Index(all)	33
i10Index(since 2020)	19
Email	Access Email
University Profile Page	Nanjing University
Google Scholar	View Google Scholar Profile

Xinyu Feng Skills & Research Interests

Programming Languages

Formal Verification

Top articles of Xinyu Feng

Title	Journal	Author(s)	Publication Date
Verifying optimizations of concurrent programs in the promising semantics		Junpeng Zha Hongjin Liang Xinyu Feng	2022/6/13
AUTOGR: automated geo-replication with fast system performance and preserved application semantics	Proceedings of the VLDB Endowment	Jiawei Wang Cheng Li Kai Ma Jingze Huo Feng Yan ...	2021/5/1
对涉及所有权转移的上下文精化关系的验证	计算机科学技术学报	Zhao-Hui Li Xin-Yu Feng	2021/12/1
Verifying contextual refinement with ownership transfer	Journal of Computer Science and Technology	Zhao-Hui Li Xin-Yu Feng	2021/12
Abstraction for conflict-free replicated data types		Hongjin Liang Xinyu Feng	2021/6/19
SPARCv8 代码的模块化验证	计算机科学技术学报	Jun-Peng Zha Xin-Yu Feng Lei Qiao	2020/12/1
Progress of Concurrent Objects.	Found. Trends Program. Lang.	Hongjin Liang Xinyu Feng	2020/5/17