Xinyu Feng -

Registered user since Tue 17 Mar 2015

Name: Xinyu Feng

Country: China

Affiliation: Nanjing University

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

Contributions

PEPM 2020	Keynote Speaker of Reasoning about Progress of Concurrent Objects within the PEPM 2020-track
APLAS 2019	Committee Member in Steering Committee
PLDI 2019	Session Chair of Systems I (part of PLDI Research Papers) Author of Towards Certified Separate Compilation for Concurrent Programs within the PLDI Research Papers-track Committee Member in Program Committee within the PLDI Research Papers-track
CoqPL 2018	Committee Member in Program Committee within the -track
POPL 2018	Session Chair of Consistency (part of Research Papers) Author of Progress of Concurrent Objects with Partial Methods within the Research Papers-track Committee Member in Program Committee within the Research Papers-track
CPP 2017	Author of Mechanized verification of preemptive OS kernels within the CPP-track
POPL 2016	Author of A Program Logic for Concurrent Objects under Fair Scheduling within the Research Papers-track
SPLASH 2015	Committee Member in Program Committee within the Workshops-track