Write a Blog >>
ASE 2020
Mon 21 - Fri 25 September 2020 Melbourne, Australia
Wed 23 Sep 2020 10:40 - 10:45 at Koala - SRC Poster (2) Chair(s): Hourieh Khalajzadeh

The data race problem is common in the interrupt-driven program, and it is difficult to find as a result of complicated interrupt interleaving. Static analysis is a mainstream technology to detect those problems, however, the synchronization mechanism of interrupt is hard to be processed by the existing method, which brings many false alarms. Eliminating false alarms in static analysis is the main challenge for precisely data race detection. In this paper, we present a framework of static analysis combined with program verification, which performs static analysis to find all potential races, and then verifies every race to eliminate false alarms. The experiment results on related race benchmarks show that our implementation finds all race bugs in the phase of static analysis, and eliminates all false alarms through program verification.

Wed 23 Sep
Times are displayed in time zone: (UTC) Coordinated Universal Time

10:20 - 11:20: SRC Poster (2)Student Research Competition at Koala
Chair(s): Hourieh KhalajzadehMonash University, Australia
10:20 - 10:25
Poster
When Deep Learning Meets Smart Contracts
Student Research Competition
zhipeng gaoMonash University
10:25 - 10:30
Poster
Formal Verification of Masking Countermeasures for Arithmetic Programs
Student Research Competition
Pengfei GaoShanghaiTech University
10:30 - 10:35
Poster
Finding Ethereum Smart Contracts Security Issues by Comparing History Versions
Student Research Competition
Jiachi ChenMonash University
10:35 - 10:40
Poster
A Unified Framework to Learn Program Semantics with Graph Neural Networks
Student Research Competition
Shangqing LiuNanyang Technological University
10:40 - 10:45
Poster
A Program Verification based Approach to Find Data Race Vulnerabilities in Interrupt-driven Program
Student Research Competition
Haining FengNational University of Defense Technology
10:45 - 10:50
Poster
Anti-patterns for Java Automated Program Repair ToolsWinner SRC - Undergraduate
Student Research Competition
Yi WuSouthern University of Science and Technology
10:50 - 10:55
Poster
A Machine Learning based Approach to Autogenerate Diagnostic Models for CNC machinesSecond place SRC - Graduate
Student Research Competition
Kamil MasalimovUfa State Aviation Technical University
10:55 - 11:00
Poster
Identifying Mutation Subsumption RelationsThird place SRC - Undergraduate
Student Research Competition
Beatriz SouzaFederal University of Campina Grande