Bo-Yuan Huang -

Registered user since Wed 30 Jan 2019

Name: Bo-Yuan Huang

Country: United States

Affiliation: Princeton University, USA

Personal website: https://bo-yuan-huang.github.io/

Research interests: Formal methods, synthesis, firmware, hardware architecture.

Contributions

ESEC/FSE 2020	Author of Intelligent REST API Data Fuzzing within the Research Papers-track
TACAS 2019	Author of ILAng: A Modeling Platform for SoC Verification using Instruction-Level Abstractions within the TACAS 2019-track
ETAPS 2019	Author of ILAng: A Modeling and Verification Platform for SoCs using Instruction-Level Abstractions within the Posters-track