• Sign in
  • Sign up
conf.researchr.org / Chuangjie Xu
  • APLAS 2023 profile
  • ECOOP and ISSTA 2021 profile
  • POPL 2020 profile
  • SPLASH 2022 profile
Chuangjie Xu

Registered user since Wed 27 Nov 2019

Name:Chuangjie Xu
Country:Germany
Affiliation:SonarSource
Personal website: https://cj-xu.github.io/
GitHub: https://github.com/cj-xu
Research interests:static analysis, mathematical logic

Contributions

2023

APLAS

  • Committee Member in Selection Committee within the SRC & Posters-track

2022

APLAS

  • Author of Inferring Region Types via an Abstract Notion of Environment Transformation within the APLAS-track

2021

FTfJP

  • Presenter of A Generic Type System for Featherweight Java within the FTfJP-track

2020

CPP

  • Author of Three equivalent ordinal notation systems in Cubical Agda within the CPP 2020-track
Share
xSun 18 May 12:01
using conf.researchr.org (v1.69.0)
Support page
Sign Up