Xinyu Feng -

Registered user since Tue 17 Mar 2015

Name:Xinyu Feng

Country:China

Affiliation:Nanjing University & Huawei

Personal website: https://cs.nju.edu.cn/xyfeng/

Contributions

2024

POPL

Committee Member in Program Committee within the POPL-track

2023

PLDI

Committee Member in PLDI Review Committee within the PLDI Research Papers-track

CPP

Committee Member in Program Committee within the CPP 2023-track

2022

PLDI

Author of Verifying Optimizations of Concurrent Programs in the Promising Semantics within the PLDI-track

2021

ICFP

Speaker of SIGPLAN CARES within the Social Events-track

PLDI

2020

PEPM

Keynote Speaker of Reasoning about Progress of Concurrent Objects within the PEPM 2020-track

2019

APLAS

Committee Member in Steering Committee

PLDI

2018

CoqPL

Committee Member in Program Committee within the -track

POPL

2017

CPP

Author of Mechanized verification of preemptive OS kernels within the CPP-track

2016

POPL

Author of A Program Logic for Concurrent Objects under Fair Scheduling within the Research Papers-track

2015

SPLASH

Committee Member in Program Committee within the Workshops-track