ETAPS 2019 (series) / Bo-Yuan Huang

Registered user since Wed 30 Jan 2019
Name: Bo-Yuan Huang
Bio: 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
Personal website: https://bo-yuan-huang.github.io/
Research interests: Formal methods, synthesis, firmware, hardware architecture.
Contributions
TACAS 2019 | Author of ILAng: A Modeling Platform for SoC Verification using Instruction-Level Abstractions within the TACAS 2019-track | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ETAPS 2019-profile
View general profile
View general profile