APSEC 2024
Tue 3 - Fri 6 December 2024 China
APSEC 2024 (series) / Ronghui Grand Hotel /

Room information: Room 2 (Xiangshan Ballroom)

VenueRonghui Grand Hotel
Room nameRoom 2 (Xiangshan Ballroom)
Floor3
Room InformationNo extra information available
Program

You're viewing the program in a time zone which is different from your device's time zone change time zone

Tue 3 Dec

Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

09:00 - 10:30
TutorialTutorials at Room 2 (Xiangshan Ballroom)
09:00
90m
Tutorial
Software Supply Chain: Issues, Challenges and Opportunities
Tutorials
Xiang Gao Beihang University, Ying Wang Northeastern University
11:00 - 12:30
TutorialTutorials at Room 2 (Xiangshan Ballroom)
11:00
90m
Tutorial
Software Supply Chain: Issues, Challenges and Opportunities
Tutorials
Xiang Gao Beihang University, Ying Wang Northeastern University
14:00 - 15:30
TutorialTutorials at Room 2 (Xiangshan Ballroom)
14:00
90m
Tutorial
An Introduction to Quantum Software Engineering
Tutorials
Jianjun Zhao Kyushu University
16:00 - 17:30
TutorialTutorials at Room 2 (Xiangshan Ballroom)
16:00
90m
Tutorial
An Introduction to Quantum Software Engineering
Tutorials
Jianjun Zhao Kyushu University

Wed 4 Dec

Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

14:00 - 15:30
Session (2)Technical Track at Room 2 (Xiangshan Ballroom)
Chair(s): Jianjun Zhao Kyushu University
14:00
30m
Talk
CDHF: Coordination Driven Hybrid Fuzzing for EOSIO Smart Contracts
Technical Track
Yongxu Han Hebei University, Meng Wang Hebei university
14:30
30m
Talk
A DNN Fuzz Testing Method Based on Gradient-weighted Class Activation Map
Technical Track
Zhouning Chen Sichuan University, Qiaoyun Liu Sichuan University, Shengxin Dai Sichuan University, Qiuhui Yang Sichuan University
15:00
30m
Talk
Prioritizing Test Cases through Dual-uncertainty Evaluating for Road Disease Detection System
Technical Track
Niu Chenxu College of Computer Science, ChongQing University, Huijun Liu College of Computer Science, Chongqing University, Ao Li School of Big Data & Software Engineering, Chongqing University, Tianhao Xiao College of Computer Science, Chongqing University, Zhimin Ruan China Merchants Chongqing Communications Technology Research & Design Institute Co. Ltd., Yongxin Ge School of Big Data & Software Engineering, Chongqing University
16:00 - 17:30
Session (5)Technical Track at Room 2 (Xiangshan Ballroom)
Chair(s): Haoye Tian University of Melbourne
16:00
30m
Talk
SwFuzz: Structure-Sensitive WebAssembly Fuzzing
Technical Track
Jiashui Wang Zhejiang University, Ziyi Guo Northwestern University, Xinlei Ying Ant Group, Peng Qian Zhejiang University, Yan Chen Northwestern University
16:30
30m
Talk
Data Conflicts-Guided Interleaved Thread Scheduling for Flaky Test Detection in Multithreaded Programs
Technical Track
Tianzi Wang College of lnformation Science and Technology, Beijing University of chemical Technology, Beijing, China, Ruilian Zhao Beijing University of Chemical Technology, Weiwei Wang College of lnformation Science and Technology, Beijing University of chemical Technology, Beijing, China, Weixi Zhang College of Information Engineering, Beijing Institute of Petrochemical Technology, Beijing, China
17:00
30m
Talk
AS-Fuzzer: An Optimized ADS Fuzzing Method via Scenario Segmentation and Parallel Evolution
Technical Track
Fansong Chen Institute of Information Engineering, Chinese Academy of Sciences, Shenghao Lin Institute of Information Engineering, Chinese Academy of Sciences, Weicheng Lin Institute of Information Engineering, Chinese Academy of Sciences, Laile Xi Institute of Information Engineering, Chinese Academy of Sciences , Yongji Liu Institute of Information Engineering, Chinese Academy of Sciences, Lun Li Institute of Information Engineering at Chinese Academy of Sciences, Hongsong Zhu Institute of Information Engineering at Chinese Academy of Sciences; University of Chinese Academy of Sciences

Thu 5 Dec

Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

14:00 - 15:30
Session (9)Technical Track / ERA - Early Research Achievements at Room 2 (Xiangshan Ballroom)
Chair(s): Zhiqiang Li
14:00
30m
Talk
Multi-Hierarchy Metamorphic Testing for Hyphenated Words in Machine Translation
Technical Track
Rui Zhu Nanjing University of Aeronautics and Astronautics, Chuanqi Tao Nanjing University of Aeronautics and Astronautics, Jerry Gao San Jose State University
14:30
30m
Talk
Exploring the Depths of WebAudio: Advancing Greybox Fuzzing for Enhanced Vulnerability Detection in Safari
Technical Track
Jiashui Wang Zhejiang University, Jiahui Wang Zhejiang University, Jundong Xie Ant Group, Zhenyuan Li Zhejiang University, Yan Chen Northwestern University, Peng Qian Zhejiang University
15:00
20m
Talk
A Study On C Code Defect Detection With Fine-tuned Large Language Models
ERA - Early Research Achievements
Yue Wang Beihang University, Xu Wang Beihang University, Hongwei Yu Beihang University, Fei Gao Beijing Aerospace Automatic Control Institute, Xueshi Liu Beijing Aerospace Automatic Control Institute, Xiaoling Wang
16:00 - 17:30
Session (13)ERA - Early Research Achievements / Technical Track at Room 2 (Xiangshan Ballroom)
Chair(s): Yanlin Wang Sun Yat-sen University
16:00
30m
Talk
Who is in Charge here? Understanding How Runtime Configuration Affects Software along with Variables&Constants
Technical Track
Chaopeng Luo National University of Defense Technology, Yuanliang Zhang National University of Defense Technology, Haochen He National University of Defense Technology, Zhouyang Jia National University of Defense Technology, Teng Wang National University of Defense Technology, Shulin Zhou National University of Defense Technology, Si Zheng National University of Defense Technology, Shanshan Li National University of Defense Technology
16:30
20m
Talk
Toward Automation of Module Lazy Loading in Single-Page Web Applications
ERA - Early Research Achievements
Yizhi Mei Oita University, Tetsuo Kamina Oita University
16:50
20m
Talk
Designing a Reactive Programming Language for Shape-Adaptive Computers
ERA - Early Research Achievements
Yusuke Izawa Tokyo Metropolitan University, Junichiro Kadomoto The University of Tokyo, Hidetsugu Irie University of Tokyo, Shuichi Sakai University of Tokyo
17:10
20m
Talk
Actor of Things: Resilient and Efficient Distributed AIoT Applications in an Actor System
ERA - Early Research Achievements
Tianqi Ren State Key Laboratory for Novel Software Technology, Department of Computer Science and Technology, Nanjing University, Chun Cao State Key Laboratory for Novel Software Technology, Nanjing University, Jun Ma Nanjing University

Fri 6 Dec

Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

14:00 - 15:30
Session (19)Technical Track / ERA - Early Research Achievements at Room 2 (Xiangshan Ballroom)
Chair(s): Ke Yu Chongqing University
14:00
30m
Talk
Sound Floating-Point Neural Network Verification with MILP
Technical Track
Shifu Yang College of Computer, National University of Defense Technology, Changsha, China, Liqian Chen National University of Defense Technology, Banghu Yin College of Computer, National University of Defense Technology, Changsha, China, Minghao Li College of Computer, National University of Defense Technology, Changsha, China, Yuan Zhou University of Oxford, Ji Wang National University of Defense Technology
14:30
30m
Talk
Parallel symbolic execution for smart contracts with load balancing
Technical Track
Xiaorui Nie hbuniexiaorui@163.com, Meng Wang Hebei university
15:00
20m
Talk
Designing distributed systems using SAT solvers
ERA - Early Research Achievements
Puneet Bhateja DA-IICT

Tue 3 Dec

Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Room 2 (Xiangshan Ballroom)

Tutorials

Tutorial

Tutorials

Tutorial

Tutorials

Tutorial

Tutorials

Tutorial

Wed 4 Dec

Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

Room14:003015:003016:003017:0030
Room 2 (Xiangshan Ballroom)

Technical Track

Session (2)

Technical Track

Session (5)

Thu 5 Dec

Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

Room14:003015:003016:003017:0030
Room 2 (Xiangshan Ballroom)

Technical Track + ERA - Early Research Achievements

Session (9)

ERA - Early Research Achievements + Technical Track

Session (13)

Fri 6 Dec

Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

Room9:003010:003011:003012:003013:003014:003015:0030
Room 2 (Xiangshan Ballroom)

Doctoral Symposium

Doctoral Symposium

Technical Track + ERA - Early Research Achievements

Session (19)

Tue 3 Dec

Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Room 2 (Xiangshan Ballroom)
APSEC Tutorials
Software Supply Chain: Issues, Challenges and Opportunities
09:00 - 10:30
APSEC Tutorials
Software Supply Chain: Issues, Challenges and Opportunities
11:00 - 12:30
APSEC Tutorials
An Introduction to Quantum Software Engineering
14:00 - 15:30
APSEC Tutorials
An Introduction to Quantum Software Engineering
16:00 - 17:30

Wed 4 Dec

Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

Room14:0015304515:0015304516:0015304517:00153045
Room 2 (Xiangshan Ballroom)
APSEC Technical Track
CDHF: Coordination Driven Hybrid Fuzzing for EOSIO Smart Contracts
14:00 - 14:30
APSEC Technical Track
A DNN Fuzz Testing Method Based on Gradient-weighted Class Activation Map
14:30 - 15:00
APSEC Technical Track
Prioritizing Test Cases through Dual-uncertainty Evaluating for Road Di ...
15:00 - 15:30
APSEC Technical Track
SwFuzz: Structure-Sensitive WebAssembly Fuzzing
16:00 - 16:30
APSEC Technical Track
Data Conflicts-Guided Interleaved Thread Scheduling for Flaky Test Dete ...
16:30 - 17:00
APSEC Technical Track
AS-Fuzzer: An Optimized ADS Fuzzing Method via Scenario Segmentation an ...
17:00 - 17:30

Thu 5 Dec

Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

Room14:0015304515:0015304516:0015304517:00153045
Room 2 (Xiangshan Ballroom)
APSEC Technical Track
Multi-Hierarchy Metamorphic Testing for Hyphenated Words in Machine Tra ...
14:00 - 14:30
APSEC Technical Track
Exploring the Depths of WebAudio: Advancing Greybox Fuzzing for Enhance ...
14:30 - 15:00
APSEC ERA - Early Research Achievements
A Study On C Code Defect Detection With Fine-tuned Large Language Models
15:00 - 15:20
APSEC Technical Track
Who is in Charge here? Understanding How Runtime Configuration Affects ...
16:00 - 16:30
APSEC ERA - Early Research Achievements
Toward Automation of Module Lazy Loading in Single-Page Web Applications
16:30 - 16:50
APSEC ERA - Early Research Achievements
Designing a Reactive Programming Language for Shape-Adaptive Computers
16:50 - 17:10
APSEC ERA - Early Research Achievements
Actor of Things: Resilient and Efficient Distributed AIoT Applications ...
17:10 - 17:30

Fri 6 Dec

Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

Room14:0015304515:00153045
Room 2 (Xiangshan Ballroom)
APSEC Technical Track
Sound Floating-Point Neural Network Verification with MILP
14:00 - 14:30
APSEC Technical Track
Parallel symbolic execution for smart contracts with load balancing
14:30 - 15:00
APSEC ERA - Early Research Achievements
Designing distributed systems using SAT solvers
15:00 - 15:20