conf.researchr.org / Bo-Yuan Huang
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