Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Xinyu Feng
conf.researchr.org general profile
APLAS 2019 profile
ICFP 2021 profile
PLDI 2019 profile
PLDI 2021 profile
PLDI 2022 profile
PLDI 2023 profile
POPL 2016 profile
POPL 2017 profile
POPL 2018 profile
POPL 2020 profile
POPL 2023 profile
POPL 2024 profile
SPLASH 2015 profile
Registered user since Tue 17 Mar 2015
Name:
Xinyu Feng
Country:
China
Affiliation:
Nanjing University
Personal website:
https://cs.nju.edu.cn/xyfeng/
Contributions
POPL 2024
Committee Member in Program Committee within the POPL-track
PLDI 2023
Committee Member in PLDI Review Committee within the PLDI Research Papers-track
CPP 2023
Committee Member in Program Committee within the CPP 2023-track
PLDI 2022
Author of Verifying Optimizations of Concurrent Programs in the Promising Semantics within the PLDI-track
ICFP 2021
Speaker of SIGPLAN CARES within the Social Events-track
PLDI 2021
Committee Member in Program Committee within the PLDI-track
Author of Abstraction for Conflict-Free Replicated Data Types within the PLDI-track
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
Share
x
Sun 4 Jun 05:36