Paper-Conference

Introducing Compiler Semantics into Large Language Models as Programming Language Translators: A Case Study of C to x86 Assembly

Shuoming Zhang, Jiacheng Zhao, Chunwei Xia, Zheng Wang, Yunji Chen, Huimin Cui

Iterative Refinement of Project-Level Code Context for Precise Code Generation with Compiler Feedback

Bi Z, Wan Y, Zheng Wang, Zhang H, Guan B, Lu F, Zhang Z, Sui Y, Jin H, Shi X

UPBEAT: Test Input Checks of Q# Quantum Libraries

Tianming Hu, Guixin Ye, Zhanyong Tang, Shin Hwei Tan, Huanting Wang, Meng Li, Zheng Wang

Combining Structured Static Code Information and Dynamic Symbolic Traces for Software Vulnerability Prediction

Huanting Wang, Zhanyong Tang, Shin Hwei Tan, Chunwei Xia, Zheng Wang

Optimizing Deep Learning Inference via Global Analysis and Tensor Expressions

Chunwei Xia, Jiacheng Zhao, Qianqi Sun, Zheng Wang, Yuan Wen, Huimin Cui, Xiaobing Feng