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.
? Tutorial for this page

Xianfei Ou

dblp:402/7702 · DBLP profile ↗
← Back
1ranked-venue papers
1as first author
1since 2021 · last 2024
0009-0000-4335-7390ORCID · reported

Domains — the database's venue-derived domains; a paper can count in several

Systems, architecture and hardware · 1 · 1 first-author · 1 since 2021Software engineering, systems software and programming languages · 1 · 1 first-author · 1 since 2021

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 · 93% Program synthesis and code generation · 7%

Topics — the 5 heaviest of 6, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Software testing › fuzzing › system software fuzzing
compiler fuzzing
0.812024
The Mutators Reloaded: Fuzzing Compilers with Large Language Model Generated Mutation Operators · ASPLOS (4) 2024
Software testing
compiler testing
0.812024
The Mutators Reloaded: Fuzzing Compilers with Large Language Model Generated Mutation Operators · ASPLOS (4) 2024
Software testing
fuzzing
0.812024
The Mutators Reloaded: Fuzzing Compilers with Large Language Model Generated Mutation Operators · ASPLOS (4) 2024
Software testing › fuzzing
mutation-based fuzzing
0.812024
The Mutators Reloaded: Fuzzing Compilers with Large Language Model Generated Mutation Operators · ASPLOS (4) 2024
Program synthesis and code generation
code generation with language models
0.212024
The Mutators Reloaded: Fuzzing Compilers with Large Language Model Generated Mutation Operators · ASPLOS (4) 2024

Methods — techniques the papers use, named apart from their topics

mutation operator generation · 0.8large language model · 0.8
YearPublicationVenuePosition
2024 The Mutators Reloaded: Fuzzing Compilers with Large Language Model Generated Mutation Operators
abstract
Crafting high-quality mutators-the core of mutation-based fuzzing that shapes the search space-is challenging. It requires human expertise and creativity, and their implementation demands knowledge of compiler internals. This paper presents MetaMut framework for developing new, useful mutators for compiler fuzzing. It integrates our compiler-domain knowledge into prompts and processes that can best harness the capabilities of a large language model. With MetaMut, we have successfully created 118 semantic-aware mutators at approximately $0.5 each, with only moderate human effort. With these mutators, our fuzzer uncovered 131 bugs in GCC and Clang, 129 of which were confirmed or fixed. The success of MetaMut suggests that the integration of AI into software and system engineering tasks traditionally thought to require expert human intervention could be a promising research direction.
Xianfei Ou, Cong Li 0003, Yanyan Jiang 0001, Chang Xu 0001
ASPLOS (4)1