​
Login / Signup
Tie Cheng
ORCID
Publication Activity (10 Years)
Years Active: 2012-2022
Publications (10 Years): 2
Top Topics
Static Analysis
Symbolic Execution
Visual Cues
Cd Rom
Top Venues
CoRR
ICMI
ESOP
</>
Publications
</>
Yihe Liu
,
Ziqi Yuan
,
Huisheng Mao
,
Zhiyun Liang
,
Wanqiuyue Yang
,
Yuanzhe Qiu
,
Tie Cheng
,
Xiaoteng Li
,
Hua Xu
,
Kai Gao
Make Acoustic and Visual Cues Matter: CH-SIMS v2.0 Dataset and AV-Mixup Consistent Module.
CoRR
(2022)
Yihe Liu
,
Ziqi Yuan
,
Huisheng Mao
,
Zhiyun Liang
,
Wanqiuyue Yang
,
Yuanzhe Qiu
,
Tie Cheng
,
Xiaoteng Li
,
Hua Xu
,
Kai Gao
Make Acoustic and Visual Cues Matter: CH-SIMS v2.0 Dataset and AV-Mixup Consistent Module.
ICMI
(2022)
Tie Cheng
,
Xavier Rival
Static Analysis of Spreadsheet Applications for Type-Unsafe Operations Detection.
ESOP
(2015)
Tie Cheng
,
Xavier Rival
An Abstract Domain to Infer Types over Zones in Spreadsheets.
SAS
(2012)