Xinyu Feng

Xinyu Feng is a Professor at the Department of Computer Science and Technology, Nanjing University, and collaborates with Huawei. His work focuses on programming languages and formal methods, particularly concurrent system software verification, separation logic, and certified compilation.

His research has produced influential contributions in verifying low-level system software with hardware interrupts, preemptive threads, and concurrent data structures. Notable publications include work on

• progress guarantees for concurrent objects
• modular verification of synchronization primitives
• parameterized memory models

.

In professional activities, he has served on program committees for major conferences like PLDI'21, POPL'18, and CAV'16. He received a

• Distinguished Paper Award at PLDI'19

.