Demo Data from EDBT 2026 / reviewers in the wild / expert
Yumin Qi
dblp:242/3965
· DBLP profile ↗
1ranked-venue papers
0as first author
0since 2021 · last 2019
—ORCID · unresolved
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 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 |
Programming languages and type systems · 77% Runtime systems and virtual machines · 23% |
Topics — the 2 heaviest of 2, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Programming languages and type systems › language-based security
memory safety |
0.4 | 1 | 2019 | SafeCheck: safety enhancement of Java unsafe API · ICSE 2019 |
Runtime systems and virtual machines › virtual machine implementation
java virtual machine |
0.1 | 1 | 2019 | SafeCheck: safety enhancement of Java unsafe API · ICSE 2019 |
Methods — techniques the papers use, named apart from their topics
memory checking · 0.4bytecode instrumentation · 0.4
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2019 | SafeCheck: safety enhancement of Java unsafe APIabstractJava is a safe programming language by providing bytecode verification and enforcing memory protection. For instance, programmers cannot directly access the memory but have to use object references. Yet, the Java runtime provides an Unsafe API as a backdoor for the developers to access the low- level system code. Whereas the Unsafe API is designed to be used by the Java core library, a growing community of third-party libraries use it to achieve high performance. The Unsafe API is powerful, but dangerous, which leads to data corruption, resource leaks and difficult-to-diagnose JVM crash if used improperly. In this work, we study the Unsafe crash patterns and propose a memory checker to enforce memory safety, thus avoiding the JVM crash caused by the misuse of the Unsafe API at the bytecode level. We evaluate our technique on real crash cases from the openJDK bug system and real-world applications from AJDK. Our tool reduces the efforts from several days to a few minutes for the developers to diagnose the Unsafe related crashes. We also evaluate the runtime overhead of our tool on projects using intensive Unsafe operations, and the result shows that our tool causes a negligible perturbation to the execution of the applications. Shiyou Huang, Jianmei Guo, Sanhong Li, Yumin Qi, Kingsum Chow, Jeff Huang 0001 |
ICSE | 5 |