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
| APLAS 2022 | Inferring Region Types via an Abstract Notion of Environment Transformation | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
SPLASH 2022-profile
View general profile
View general profile