CUFinder

Zhenkun Yang

Zhenkun Yang

Portland State University

H-index: 11

North America-United States

Contact Zhenkun Yang

About Zhenkun Yang

Zhenkun Yang, With an exceptional h-index of 11 and a recent h-index of 9 (since 2020), a distinguished researcher at Portland State University, specializes in the field of Formal Verification, High-Level Synthesis, Equivalence Checking.

His recent articles reflect a diverse array of research interests and contributions to the field:

Correct-by-construction design of custom accelerator microarchitectures

A Scalable Formal Approach for Correctness-Assured Hardware Design

Towards a formally verified fully homomorphic encryption compute engine

An Automated Verification Framework for HalideIR-Based Compiler Transformations

An Equivalence Checking Framework for Agile Hardware Design

Towards A Correct-by-Construction FHE Model

Accelerator design with decoupled hardware customizations: benefits and challenges

FirVer: Concolic Testing for Systematic Validation of Firmware Binaries

Zhenkun Yang Information

University

Position

___

Citations(all)

359

Citations(since 2020)

210

Cited By

245

hIndex(all)

11

hIndex(since 2020)

9

i10Index(all)

16

i10Index(since 2020)

9

Email

University Profile Page

Google Scholar

Zhenkun Yang Skills & Research Interests

Formal Verification

High-Level Synthesis

Equivalence Checking

Top articles of Zhenkun Yang

Correct-by-construction design of custom accelerator microarchitectures

IEEE Transactions on Computers

2023/11/8

Jin Yang
Jin Yang

H-Index: 12

Zhenkun Yang
Zhenkun Yang

H-Index: 8

Sandip Ray
Sandip Ray

H-Index: 18

A Scalable Formal Approach for Correctness-Assured Hardware Design

2023/7/9

Jin Yang
Jin Yang

H-Index: 12

Zhenkun Yang
Zhenkun Yang

H-Index: 8

Towards a formally verified fully homomorphic encryption compute engine

2023/7/9

Zhenkun Yang
Zhenkun Yang

H-Index: 8

Wen Wang
Wen Wang

H-Index: 32

Jin Yang
Jin Yang

H-Index: 12

An Automated Verification Framework for HalideIR-Based Compiler Transformations

2023/4/17

Yanzhao Wang
Yanzhao Wang

H-Index: 14

Fei Xie
Fei Xie

H-Index: 22

Zhenkun Yang
Zhenkun Yang

H-Index: 8

Jin Yang
Jin Yang

H-Index: 12

An Equivalence Checking Framework for Agile Hardware Design

2023/1/16

Yanzhao Wang
Yanzhao Wang

H-Index: 14

Fei Xie
Fei Xie

H-Index: 22

Zhenkun Yang
Zhenkun Yang

H-Index: 8

Jin Yang
Jin Yang

H-Index: 12

Towards A Correct-by-Construction FHE Model

Cryptology ePrint Archive

2023

Zhenkun Yang
Zhenkun Yang

H-Index: 8

Wen Wang
Wen Wang

H-Index: 32

Jin Yang
Jin Yang

H-Index: 12

Accelerator design with decoupled hardware customizations: benefits and challenges

2022/7/10

Debjit Pal
Debjit Pal

H-Index: 5

Yi-Hsiang Lai
Yi-Hsiang Lai

H-Index: 6

Zhenkun Yang
Zhenkun Yang

H-Index: 8

Jin Yang
Jin Yang

H-Index: 12

Zhiru Zhang
Zhiru Zhang

H-Index: 21

FirVer: Concolic Testing for Systematic Validation of Firmware Binaries

2022/1/17

Zhenkun Yang
Zhenkun Yang

H-Index: 8

Bo Chen
Bo Chen

H-Index: 1

Sandip Ray
Sandip Ray

H-Index: 18

A Highly Configurable Hardware/Software Stack for DNN Inference Acceleration

arXiv preprint arXiv:2111.15024

2021/11/29

Shweta Jain
Shweta Jain

H-Index: 7

Jin Yang
Jin Yang

H-Index: 12

Zhenkun Yang
Zhenkun Yang

H-Index: 8

UEFI Firmware Fuzzing with Simics Virtual Platform

2020/7/20

Zhenkun Yang
Zhenkun Yang

H-Index: 8

Jin Yang
Jin Yang

H-Index: 12

Automated Bug Detection and Replay for COTS Linux Kernel Modules with Concolic Execution

2020/2/18

Bo Chen
Bo Chen

H-Index: 1

Zhenkun Yang
Zhenkun Yang

H-Index: 8

Li Lei
Li Lei

H-Index: 4

Fei Xie
Fei Xie

H-Index: 22

See List of Professors in Zhenkun Yang University(Portland State University)

Co-Authors

academic-engine

Useful Links

List of top 50 universities
List of top 100 universities
List of top 500 universities
Find Professors Email
Find Universities Email
CUFinder Academic Engine