Opening Remarks + Keynote 1

• Titile: Towards Trustworthy AI Systems
• Time: 11:00am ~ 11:25am, Monday, October 28th

Paper 1:

• Titile: HyWE: A Hybrid Word Embedding Method for Smart Contract Vulnerability Detection
• Authors: Jinfu Chen, Zhehao Li, Dongjie Wang, Saihua Cai and Haotong Ding
• Time: 11:25am ~ 11:40am, Monday, October 28th

Paper 2:

• Titile: Business Compliance Detection of Smart Contracts in Electricity and Carbon Trading Scenarios
• Authors: Yin Wu, Haijun Wang, Yuanhui Zhang, Xitao Li, Hao Wu, Ming Fan and Ting Liu
• Time: 11:40am ~ 11:55pm, Monday, October 28th

Paper 3:

• Titile: EMI Testing of Large Language Model (LLM) Compilers
• Authors: Xiangzhong Yu, Wai Kin Wong and Shuai Wang
• Time: 11:55pm ~ 12:05pm, Monday, October 28th

Keynote 2

• Titile: Towards Trustworthy AI: Lessons from Model Analysis and Testing
• Time: 12:05pm ~ 12:30pm, Monday, October 28th