Yu-Wei Fan

2 papers at tracked venues · 2 at CORE A* · active 2024–2026

DBLP profile ↗ORCID search ↗

Venues

AAAI ×1 S&P ×1

Frequent coauthors

Tingzhen Dong

×1

Qinhan Tan

×1

Kunpeng Wang

×1

Thomas Bourgeat

×1

Yuheng Yang

×1

Sharad Malik

×1

Mengjia Yan

×1

Jie-Hong R. Jiang

×1

Papers

Interplay of Efficient Model Checking and Secure Processor Design: A Case Study on Secure Speculation
S&P 2026 ·
Tingzhen Dong
,
Qinhan Tan
,
Kunpeng Wang
,
Thomas Bourgeat
,
Yuheng Yang
,
Sharad Malik
, Yu-Wei Fan,
Mengjia Yan
Unifying Decision and Function Queries in Stochastic Boolean Satisfiability
AAAI 2024 · Yu-Wei Fan,
Jie-Hong R. Jiang