EDBT 2026 Demo / reviewers in the wild / expert
Jinxuan Gai
dblp:247/6472
· DBLP profile ↗
3ranked-venue papers
0as first author
0since 2021 · last 2020
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Artificial intelligence and machine learning · 1Software engineering, systems software and programming languages · 1Human-computer interaction and ubiquitous computing · 1
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Software engineering, system software, and programming languages
1 paper |
Debugging and program repair · 50% Program analysis · 50% | |
| Human-computer interaction and pervasive computing
1 paper |
Interaction techniques and input · 77% Human-robot interaction · 23% | |
| Network and information security
1 paper |
Systems and software security · 100% |
Topics — the 7 heaviest of 8, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Program analysis
dynamic analysis |
0.4 | 1 | 2019 | RENN: Efficient Reverse Execution with Neural-Network-Assisted Alias Analysis · ASE 2019 |
Debugging and program repair
fault localization |
0.4 | 1 | 2019 | RENN: Efficient Reverse Execution with Neural-Network-Assisted Alias Analysis · ASE 2019 |
Program analysis › static analysis
pointer analysis |
0.4 | 1 | 2019 | RENN: Efficient Reverse Execution with Neural-Network-Assisted Alias Analysis · ASE 2019 |
Debugging and program repair
reverse execution |
0.4 | 1 | 2019 | RENN: Efficient Reverse Execution with Neural-Network-Assisted Alias Analysis · ASE 2019 |
Human-robot interaction
cultural factors |
0.1 | 1 | 2020 | Influence of cultural factors on freehand gesture design · Int. J. Hum. Comput. Stud. 2020 |
Systems and software security › memory safety
memory corruption |
0.1 | 1 | 2019 | RENN: Efficient Reverse Execution with Neural-Network-Assisted Alias Analysis · ASE 2019 |
Systems and software security
memory safety |
0.1 | 1 | 2019 | RENN: Efficient Reverse Execution with Neural-Network-Assisted Alias Analysis · ASE 2019 |
Methods — techniques the papers use, named apart from their topics
recurrent neural network · 0.8deep learning · 0.8cross-cultural study · 0.4
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2020 | Influence of cultural factors on freehand gesture design
Huiyue Wu, Jinxuan Gai, Jiayi Liu 0003, Jiali Qiu, Jianmin Wang 0013, Xiaolong Zhang 0001 |
Int. J. Hum. Comput. Stud. | 2 |
| 2019 | RENN: Efficient Reverse Execution with Neural-Network-Assisted Alias AnalysisabstractReverse execution and coredump analysis have long been used to diagnose the root cause of software crashes. Each of these techniques, however, face inherent challenges, such as insufficient capability when handling memory aliases. Recent works have used hypothesis testing to address this drawback, albeit with high computational complexity, making them impractical for real world applications. To address this issue, we propose a new deep neural architecture, which could significantly improve memory alias resolution. At the high level, our approach employs a recurrent neural network (RNN) to learn the binary code pattern pertaining to memory accesses. It then infers the memory region accessed by memory references. Since memory references to different regions naturally indicate a non-alias relationship, our neural architecture can greatly reduce the burden of doing hypothesis testing to track down non-alias relation in binary code. Different from previous researches that have utilized deep learning for other binary analysis tasks, the neural network proposed in this work is fundamentally novel. Instead of simply using off-the-shelf neural networks, we designed a new recurrent neural architecture that could capture the data dependency between machine code segments. To demonstrate the utility of our deep neural architecture, we implement it as RENN, a neural network-assisted reverse execution system. We utilize this tool to analyze software crashes corresponding to 40 memory corruption vulnerabilities from the real world. Our experiments show that RENN can significantly improve the efficiency of locating the root cause for the crashes. Compared to a state-of-the-art technique, RENN has 36.25% faster execution time on average, detects an average of 21.35% more non-alias pairs, and successfully identified the root cause of 12.5% more cases. Dongliang Mu, Wenbo Guo 0002, Alejandro Cuevas, Yueqi Chen 0001, Jinxuan Gai, Xinyu Xing 0001, Bing Mao 0001, Chengyu Song |
ASE | 5 |
| 2019 | Building Adversarial Defense with Non-invertible Data Transformations
Wenbo Guo 0002, Dongliang Mu, Ligeng Chen, Jinxuan Gai |
PRICAI (3) | 4 |