Chuangjie Xu
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
8
Active years
2020–2025
Best venue rank
A*
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | LICS | Ordinal Exponentiation in Homotopy Type Theory. | Tom de Jong, Nicolai Kraus, Fredrik Nordvall Forsberg, Chuangjie Xu |
| 2024 | SACMAT | Static and Dynamic Analysis of a Usage Control System. | Ulrich Schpp, Fathiyeh Faghih, Subhajit Bandopadhyay, Hussein Joumaa, Amjad Ibrahim, Chuangjie Xu, Xin Ye, Theo Dimitrakos |
| 2023 | LICS | Set-Theoretic and Type-Theoretic Ordinals Coincide. | Tom de Jong, Nicolai Kraus, Fredrik Nordvall Forsberg, Chuangjie Xu |
| 2023 | SACMAT | Specifying a Usage Control System. | Ulrich Schpp, Chuangjie Xu, Amjad Ibrahim, Fathiyeh Faghih, Theo Dimitrakos |
| 2022 | APLAS | Inferring Region Types via an Abstract Notion of Environment Transformation. | Ulrich Schpp, Chuangjie Xu |
| 2021 | ECOOP | A generic type system for featherweight Java. | Ulrich Schpp, Chuangjie Xu |
| 2021 | MFCS | Connecting Constructive Notions of Ordinals in Homotopy Type Theory. | Nicolai Kraus, Fredrik Nordvall Forsberg, Chuangjie Xu |
| 2021 | PPDP | Type-based Enforcement of Infinitary Trace Properties for Java. | Serdar Erbatur, Ulrich Schpp, Chuangjie Xu |
| 2020 | CPP | Three equivalent ordinal notation systems in cubical Agda. | Fredrik Nordvall Forsberg, Chuangjie Xu, Neil Ghani |
| 2020 | FSCD | A Gentzen-Style Monadic Translation of Gdel's System T. | Chuangjie Xu |