ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Bo-Yuan Huang

Registered user since Wed 30 Jan 2019

Name:Bo-Yuan Huang

I am a PhD candidate in the Department of Electrical Engineering at Princeton University working with Prof. Sharad Malik. My research interest is applying formal methods in accelerator-rich computing platforms, especially software/hardware co-verification and co-synthesis. I am also interested in security related system verification. My current focus is instruction-level abstraction based SoC firmware synthesis.

Country:United States
Affiliation:Princeton University, USA
Research interests:Formal methods, synthesis, firmware, hardware architecture.


ETAPS 2019 ILAng: A Modeling and Verification Platform for SoCs using Instruction-Level Abstractions
TACAS 2019 ILAng: A Modeling Platform for SoC Verification using Instruction-Level Abstractions
Show activities from other conferences

ETAPS 2019-profile
View general profile