Hoang M. Le
PersonHoang M. Le is listed as an author affiliated with the Institute of Computer Science at the University of Bremen. Le co-authored the paper "Verifying Instruction Set Simulators using Coverage-guided Fuzzing," which proposes a coverage-guided fuzzing approach for verifying instruction set simulators.
First seen 5/28/2026
Last seen 6/8/2026
Evidence 2 chunks
Wiki v1
WIKI
Overview
Hoang M. Le is listed as an author affiliated with the Institute of Computer Science at the University of Bremen in the paper "Verifying Instruction Set Simulators using Coverage-guided Fuzzing." The author list gives the affiliation as "Institute of Computer Science, University of Bremen, 28359 Bremen, Germany."
Research publication
NEIGHBORHOOD
No graph connections found for this entity yet. It may appear in future ingestion runs.
explore full graph →RELATIONSHIPS
2 connectionsHoang M. Le is listed as an author of the paper.
Hoang M. Le is affiliated with the University of Bremen.
CITATIONS
4 sources4 citations — click to collapse
[1] Hoang M. Le is listed as an author of 'Verifying Instruction Set Simulators using Coverage-guided Fuzzing'. Verifying Instruction Set Simulators using Coverage-guided Fuzzing
[2] Hoang M. Le is affiliated with the Institute of Computer Science, University of Bremen in the paper. Verifying Instruction Set Simulators using Coverage-guided Fuzzing
[3] The paper proposes a coverage-guided fuzzing approach for ISS verification that integrates code coverage, functional coverage, and a custom mutation procedure. Verifying Instruction Set Simulators using Coverage-guided Fuzzing
[4] The paper evaluates the approach on three publicly available RISC-V ISSs and reports several new errors, including one in Spike. Verifying Instruction Set Simulators using Coverage-guided Fuzzing