FormaliSE 2023
Dates to be announced Melbourne, Australia
co-located with ICSE 2023
ICSE 2023 (series) / FormaliSE 2023 (series) / Tianxiao Gu
Tianxiao Gu

Registered user since Wed 20 Dec 2017

Name:Tianxiao Gu
Affiliation:TikTok Inc.
Personal website: http://tianxiaogu.github.io
Research interests:Programming Language, Compiler and Managed Runtime, Software Testing, Program Analysis

Contributions

Show activities from other conferences

ICSE 2023-profile
View general profile