• Sign in
  • Sign up
conf.researchr.org / Bo-Yuan Huang
  • ASE 2026 profile
  • ESEC/FSE 2020 profile
  • ETAPS 2019 profile
  • FSE 2026 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 Program Committee within the Industry Showcase-track
  • Industry Co-Chair in Organizing Committee

KLEE

  • Author of A Case Study in Firmware Verification: Applying Formal Methods to Intel TDX Module within the KLEE 2026-track

ESEC/FSE

  • Author of HarnessForge: Automated Extraction of Verification Tasks from Industry-Scale Software Projects within the Tool Demonstrations-track

ICCAD - External

  • Member in Program Committee

ISEDA - External

  • Member in Program Committee

2025

ICCAD - External

  • Member in Program Committee

2024

FMCAD - External

  • Member in Program Committee

ICCAD - External

  • Member in Program Committee

2023

ASPLOS-LATTE - External

  • Member in Program Committee

FMCAD - External

  • Member in Program Committee

ICCAD - External

  • Member in Program Committee

2020

ESEC/FSE

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

CAV - External

  • Member in Program Committee

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
xSun 25 Oct 16:09
using conf.researchr.org (v1.76.1)
Support page
Sign Up