Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.

Shiyu Qiu

dblp:224/0155 · DBLP profile ↗
← Back
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

TopicWeightPapersLastEvidence papers
Software testing
compiler testing
0.812024
Validating JVM Compilers via Maximizing Optimization Interactions · ASPLOS (4) 2024
Compilers and program optimization
compiler validation
0.812024
Validating JVM Compilers via Maximizing Optimization Interactions · ASPLOS (4) 2024
Software testing
differential testing
0.812024
Validating JVM Compilers via Maximizing Optimization Interactions · ASPLOS (4) 2024
Runtime systems and virtual machines › virtual machine implementation
java virtual machine
0.212024
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
YearPublicationVenuePosition
2024 Validating JVM Compilers via Maximizing Optimization Interactions
abstract
This 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