K-ST: A Formal Executable Semantics of PLC Structured Text Language. - Kun Wang 023; Jingyi Wang 004; Christopher M. Poskitt; Xiangxiang Chen 002; Jun Sun 001; Peng Cheng 001 (CoRR, 2022)

K-ST: A Formal Executable Semantics of the Structured Text Language for PLCs. - Kun Wang 023; Jingyi Wang 004; Christopher M. Poskitt; Xiangxiang Chen 002; Jun Sun 001; Peng Cheng 001 (IEEE Trans. Software Eng., 2023)

Scuzer: A Scheduling Optimization Fuzzer for TVM. - Xiangxiang Chen 002; Xingwei Lin; Jingyi Wang 004; Jun Sun 001; Jiashui Wang; Wenhai Wang (ACM Trans. Softw. Eng. Methodol., 2025)