conf.researchr.org / Jianhui Chen
  • ASE 2020 profile
  • PLDI 2020 profile

Registered user since Fri 29 Dec 2017

Name: Jianhui Chen

Contributions

ASE 2020Author of Proving Termination by k-Induction within the NIER track-track
PLDI 2020Author of Proving Almost-Sure Termination by Omega-Regular Decomposition within the PLDI Research Papers-track

xThu 3 Dec 09:43
using conf.researchr.org (v1.38.0)