• Sign in
  • Sign up
conf.researchr.org / Bo-Yuan Huang
  • ASE 2026 profile
  • ESEC/FSE 2020 profile
  • ETAPS 2019 profile
  • HPCA/CGO/PPoPP/CC 2026 profile
Bo-Yuan Huang

Registered user since Wed 30 Jan 2019

Name:Bo-Yuan Huang
Country:United States
Affiliation:Intel, USA
Personal website: https://bo-yuan-huang.github.io/
Research interests:Formal methods, security assurance, firmware, hardware

Contributions

2026

ASE

  • Industry Co-Chair in Organizing Committee

2020

ESEC/FSE

  • Author of Intelligent REST API Data Fuzzing within the Research Papers-track

2019

ETAPS

  • Author of ILAng: A Modeling and Verification Platform for SoCs using Instruction-Level Abstractions within the Posters-track

TACAS

  • Author of ILAng: A Modeling Platform for SoC Verification using Instruction-Level Abstractions within the TACAS 2019-track
Share
xSat 7 Feb 05:54
using conf.researchr.org (v1.72.1)
Support page
Sign Up