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

Le co-authored "Verifying Instruction Set Simulators using Coverage-guided Fuzzing" with Vladimir Herdt, Daniel Große, and Rolf Drechsler. The paper addresses verification of Instruction Set Simulators (ISSs), proposing a coverage-guided fuzzing approach that combines code coverage with functional coverage and a custom mutation procedure tailored for ISS verification.

The paper reports an evaluation on three publicly available RISC-V ISSs and states that the approach found several new errors, including one in the official RISC-V reference simulator Spike.