Shing-Chi Cheung

18 papers at tracked venues · 16 at CORE A* · active 2024–2026

DBLP profile ↗ORCID search ↗

Venues

ASE ×5 FSE ×5 ACL ×3 AAAI ×1 FM ×1 ICSE ×1 ISSTA ×1 S&P ×1

Frequent coauthors

Jialun Cao

×8

Hengcheng Zhu

×5

Jiarong Wu

×5

Yaojie Lu

×4

Le Sun

×4

Yepang Liu

×4

Valerio Terragni

×4

Haoyang Ma

×4

Hongyu Lin

×3

Xianpei Han

×3

Songqiang Chen

×3

Yongqiang Tian

×3

Papers

Across Programming Language Silos: A Study on Cross-Lingual Retrieval-Augmented Code Generation
ACL 2026 ·
Qiming Zhu
,
Jialun Cao
,
Xuanang Chen
,
Weili Zhang
,
Yaojie Lu
,
Hongyu Lin
,
Xianpei Han
,
Le Sun
, Shing-Chi Cheung
Look Before You Leap: Context-Sensitive GUI Grounding for Boosting Automated Extended Reality (XR) Testing
FSE 2026 ·
Shuqing Li
,
Binchang Li
,
Yepang Liu
,
Cuiyun Gao
,
Jianping Zhang
, Shing-Chi Cheung,
Michael R. Lyu
MR-Coupler: Automated Metamorphic Test Generation via Functional Coupling Analysis
FSE 2026 ·
Congying Xu
,
Hengcheng Zhu
,
Songqiang Chen
,
Jiarong Wu
,
Valerio Terragni
, Shing-Chi Cheung
ModelWisdom: An Integrated Toolkit for TLA+ Model Visualization, Digest and Repair (Short Tool Paper)
FM 2026 ·
Zhiyong Chen
,
Jialun Cao
,
Chang Xu
, Shing-Chi Cheung
A Tale of Two DL Cities: When Library Tests Meet Compiler
ICSE 2025 ·
Qingchao Shen
,
Yongqiang Tian
,
Haoyang Ma
,
Junjie Chen
,
Lili Huang
,
Ruifeng Fu
, Shing-Chi Cheung,
Zan Wang
An Empirical Study of Bugs in Data Visualization Libraries
FSE 2025 ·
Weiqi Lu
,
Yongqiang Tian
,
Xiaohan Zhong
,
Haoyang Ma
,
Zhenyang Xu
, Shing-Chi Cheung,
Chengnian Sun
CRUXEVAL-X: A Benchmark for Multilingual Code Reasoning, Understanding and Execution
ACL 2025 ·
Ruiyang Xu
,
Jialun Cao
,
Yaojie Lu
,
Ming Wen
,
Hongyu Lin
,
Xianpei Han
,
Ben He
, Shing-Chi Cheung,
Le Sun
Cross2OH: Enabling Seamless Porting of C/C++ Software Libraries to OpenHarmony
ASE 2025 ·
Qian Zhang
,
Tsz-On Li
,
Ying Wang
,
Li Li
, Shing-Chi Cheung
DOMAINEVAL: An Auto-Constructed Benchmark for Multi-Domain Code Generation
AAAI 2025 ·
Qiming Zhu
,
Jialun Cao
,
Yaojie Lu
,
Hongyu Lin
,
Xianpei Han
,
Le Sun
, Shing-Chi Cheung
Demystifying Cross-Language C/C++ Binaries: A Robust Software Component Analysis Approach
ASE 2025 ·
Meiqiu Xu
,
Ying Wang
,
Wei Tang
,
Xian Zhan
, Shing-Chi Cheung,
Hai Yu
,
Zhiliang Zhu
From Informal to Formal - Incorporating and Evaluating LLMs on Natural Language Requirements to Verifiable Formal Proofs
ACL 2025 ·
Jialun Cao
,
Yaojie Lu
,
Meiziniu Li
,
Haoyang Ma
,
Haokun Li
,
Mengda He
,
Cheng Wen
,
Le Sun
,
Hongyu Zhang
,
Shengchao Qin
, Shing-Chi Cheung,
Cong Tian
LspFuzz: Hunting Bugs in Language Servers
ASE 2025 ·
Hengcheng Zhu
,
Songqiang Chen
,
Valerio Terragni
,
Lili Wei
,
Yepang Liu
,
Jiarong Wu
, Shing-Chi Cheung
SemBIC: Semantic-Aware Identification of Bug-Inducing Commits
FSE 2025 ·
Xiao Chen
,
Hengcheng Zhu
,
Jialun Cao
,
Ming Wen
, Shing-Chi Cheung
Understanding and Characterizing Mock Assertions in Unit Tests
FSE 2025 ·
Hengcheng Zhu
,
Valerio Terragni
,
Lili Wei
, Shing-Chi Cheung,
Jiarong Wu
,
Yepang Liu
JavaBench: A Benchmark of Object-Oriented Code Generation for Evaluating Large Language Models
ASE 2024 ·
Jialun Cao
,
Zhiyong Chen
,
Jiarong Wu
, Shing-Chi Cheung,
Chang Xu
MR-Adopt: Automatic Deduction of Input Transformation Function for Metamorphic Testing
ASE 2024 ·
Congying Xu
,
Songqiang Chen
,
Jiarong Wu
, Shing-Chi Cheung,
Valerio Terragni
,
Hengcheng Zhu
,
Jialun Cao
Nyx: Detecting Exploitable Front-Running Vulnerabilities in Smart Contracts
S&P 2024 ·
Wuqi Zhang
,
Zhuo Zhang
,
Qingkai Shi
,
Lu Liu
,
Lili Wei
,
Yepang Liu
,
Xiangyu Zhang
, Shing-Chi Cheung
Towards Understanding the Bugs in Solidity Compiler
ISSTA 2024 ·
Haoyang Ma
,
Wuqi Zhang
,
Qingchao Shen
,
Yongqiang Tian
,
Junjie Chen
, Shing-Chi Cheung