Chuangjie Xu - SPLASH 2022

Mon 5 - Sat 10 December 2022 Auckland, New Zealand

Registered user since Wed 27 Nov 2019

Name:Chuangjie Xu

Country:Germany

Affiliation:fortiss GmbH

Personal website: https://cj-xu.github.io/

GitHub: https://github.com/cj-xu

Research interests:static analysis, mathematical logic

Contributions

2022

APLAS

Inferring Region Types via an Abstract Notion of Environment Transformation

Show activities from other conferences

SPLASH 2022-profile
View general profile