• Sign in
  • Sign up
conf.researchr.org / Xinyu Feng
  • APLAS 2019 profile
  • ICFP 2021 profile
  • PLDI 2019 profile
  • PLDI 2021 profile
  • PLDI 2022 profile
  • POPL 2016 profile
  • POPL 2017 profile
  • POPL 2018 profile
  • POPL 2020 profile
  • SPLASH 2015 profile
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

PLDI 2022 Author of Verifying Optimizations of Concurrent Programs in the Promising Semantics within the PLDI-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
ICFP 2021 Speaker of SIGPLAN CARES within the Social Events-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
xMon 16 May 10:34
using conf.researchr.org (v1.55.6)
Support page
Sign Up