EDBT 2026 Demo / reviewers in the wild / expert
Shiyu Qiu
dblp:224/0155
· DBLP profile ↗
2ranked-venue papers
0as first author
1since 2021 · last 2024
0009-0009-0598-8322ORCID · reported
Domains — the database's venue-derived domains; a paper can count in several
Systems, architecture and hardware · 1 · 1 since 2021Software engineering, systems software and programming languages · 1 · 1 since 2021Graphics, computer vision, multimedia, augmented reality and games · 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 |
Software testing · 46% Compilers and program optimization · 46% Runtime systems and virtual machines · 7% |
Topics — the 4 heaviest of 5, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Software testing
compiler testing |
0.8 | 1 | 2024 | Validating JVM Compilers via Maximizing Optimization Interactions · ASPLOS (4) 2024 |
Compilers and program optimization
compiler validation |
0.8 | 1 | 2024 | Validating JVM Compilers via Maximizing Optimization Interactions · ASPLOS (4) 2024 |
Software testing
differential testing |
0.8 | 1 | 2024 | Validating JVM Compilers via Maximizing Optimization Interactions · ASPLOS (4) 2024 |
Runtime systems and virtual machines › virtual machine implementation
java virtual machine |
0.2 | 1 | 2024 | Validating JVM Compilers via Maximizing Optimization Interactions · ASPLOS (4) 2024 |
Methods — techniques the papers use, named apart from their topics
profile-guided testing · 0.8mutation · 0.8fuzzing · 0.8
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2024 | Validating JVM Compilers via Maximizing Optimization InteractionsabstractThis paper introduces the concept of optimization interaction, which refers to the practice in modern compilers where multiple optimization phases, such as inlining, loop unrolling, and dead code elimination, are not completed in a one-off sequential order while being interacted instead. Therefore, while optimizing a certain phase, the compiler needs to ensure that the results of other optimization phases will not be disrupted, as this could lead to compiler crashes or unpredictable results. To verify whether compilers can correctly handle the optimization process across various phases, we propose MopFuzzer, which aims at maximizing runtime optimization interactions during fuzzing. Specifically, it encourages the JVM to perform multi-stage optimizations and verifies the correctness of the compiler's optimized code through differential testing. Currently, MopFuzzer has implemented 13 mutators, and each is intended to trigger a certain optimization behavior. Such mutators are applied iteratively to the same program point, aiming to maximize optimization interactions. Subsequently, the testing process is guided by a novel method based on profile data, which records the optimization behaviors performed by the compiler. The guidance enables MopFuzzer to generate mutants that are able to maximize optimization behaviors and their interactions. Our evaluation has led to 59 bug reports for widely used production JVMs, OpenJDK and OpenJ9. Zifan Xie, Ming Wen 0001, Shiyu Qiu, Hai Jin 0001 |
ASPLOS (4) | 3 |
| 2019 | AniCode: authoring coded artifacts for network-free personalized animations
Zeyu Wang 0003, Shiyu Qiu, Natallia Trayan, Alexander Ringlein, Julie Dorsey, Holly E. Rushmeier |
Vis. Comput. | 2 |