VLDB 2026 Research / reviewers in the wild / expert
Frédéric Tuong
dblp:81/10475
· DBLP profile ↗
2ranked-venue papers
1as first author
1since 2021 · last 2023
0009-0009-2462-6669ORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 2 · 1 first-author · 1 since 2021Theory of computation · 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 · 67% Program analysis · 33% |
Topics — the 3 heaviest of 3, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Program analysis › symbolic execution
dynamic symbolic execution |
0.7 | 1 | 2023 | SymRustC: A Hybrid Fuzzer for Rust · ISSTA 2023 |
Software testing
fuzzing |
0.7 | 1 | 2023 | SymRustC: A Hybrid Fuzzer for Rust · ISSTA 2023 |
Software testing › fuzzing
hybrid fuzzing |
0.7 | 1 | 2023 | SymRustC: A Hybrid Fuzzer for Rust · ISSTA 2023 |
Methods — techniques the papers use, named apart from their topics
fuzzing · 0.7concolic execution · 0.7
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2023 | SymRustC: A Hybrid Fuzzer for RustabstractWe present SymRustC, a hybrid fuzzer for Rust. SymRustC is hybrid in the sense that it combines fuzzing and concolic execution. SymRustC leverages an existing tool called SymCC for its concolic execution capability and another existing tool called LibAFL for its fuzzing capability. Since SymCC instruments LLVM IR (Intermediate Representation) for concolic execution and the Rust compiler uses LLVM as a backend, we integrate SymCC with the Rust compiler to instrument Rust programs for concolic execution. LibAFL provides a framework to develop a fuzzer, and we use it to develop a hybrid fuzzer that combines fuzzing and our concolic execution. We discuss our implementation as well as four case studies to demonstrate that SymRustC can generate inputs that discover errors in Rust programs. Frédéric Tuong, Mohammad Omidvar Tehrani, Marco Gaboardi, Steven Y. Ko |
ISSTA | 1 |
| 2011 | First Steps towards the Certification of an ARM Simulator Using Compcert
Xiaomu Shi, Jean-François Monin, Frédéric Tuong, Frédéric Blanqui |
CPP | 3 |