Zhenkun Yang

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 30

Top Topics

Fault Injection

Hardware Design

Image Synthesis

Top Venues

Publications

Jin Yang, Zhenkun Yang, Jeremy Casas, Sandip Ray
Correct-by-Construction Design of Custom Accelerator Microarchitectures. IEEE Trans. Computers 73 (1) (2024)
Zhenkun Yang, Wen Wang, Jeremy Casas, Pasquale Cocchini, Jin Yang
Towards A Correct-by-Construction FHE Model. IACR Cryptol. ePrint Arch. 2023 (2023)
Jin Yang, Jeremy Casas, Zhenkun Yang
Invited: A Scalable Formal Approach for Correctness-Assured Hardware Design. DAC (2023)
Yanzhao Wang, Fei Xie, Zhenkun Yang, Jeremy Casas, Pasquale Cocchini, Jin Yang
An Automated Verification Framework for HalideIR-Based Compiler Transformations. DATE (2023)
Huan Wu, Fei Xie, Zhenkun Yang
Certifying Sequential Consistency of Machine Learning Accelerators. ICFEM (2023)
Yanzhao Wang, Fei Xie, Zhenkun Yang, Pasquale Cocchini, Jin Yang
An Equivalence Checking Framework for Agile Hardware Design. ASP-DAC (2023)
Zhenkun Yang, Bin He, Ping Lu, Gang Li, Wenji Chen
A Design Method of Aero-Engine Labyrinth Seal Parameters Based on AGA-BP Neural Network. ICARM (2023)
Zhenkun Yang, Bin He, Gang Li, Ping Lu, Bin Cheng, Pengpeng Zhang
Multigrained Hybrid Neural Network for Rotating Machinery Fault Diagnosis Using Joint Local and Global Information. IEEE Trans. Instrum. Meas. 72 (2023)
Jeremy Casas, Zhenkun Yang, Wen Wang, Jin Yang, Adwait Godbole
Towards A Formally Verified Fully Homomorphic Encryption Compute Engine. DAC (2023)
Zhenkun Yang, Chen Qian, Xuwang Teng, Fanyu Kong, Fusheng Han, Quanqing Xu
LCL: A Lock Chain Length-based Distributed Algorithm for Deadlock Detection and Resolution. ICDE (2023)
Zhenkun Yang, Chuanhui Yang, Fusheng Han, Mingqiang Zhuang, Bing Yang, Zhifeng Yang, Xiaojun Cheng, Yuzhong Zhao, Wenhui Shi, Huafeng Xi, Huang Yu, Bin Liu, Yi Pan, Boxue Yin, Junquan Chen, Quanqing Xu
OceanBase: A 707 Million tpmC Distributed Relational Database System. Proc. VLDB Endow. 15 (12) (2022)
Tashfia Alam, Zhenkun Yang, Bo Chen, Nicholas Armour, Sandip Ray
FirVer: Concolic Testing for Systematic Validation of Firmware Binaries. ASP-DAC (2022)
Junjie Li, Tongfei Sun, Zhenkun Yang, Zhoutong Yuan
Methods and Datasets of Text to Image Synthesis Based on Generative Adversarial Network. ICISCAE (2022)
Debjit Pal, Yi-Hsiang Lai, Shaojie Xiang, Niansong Zhang, Hongzheng Chen, Jeremy Casas, Pasquale Cocchini, Zhenkun Yang, Jin Yang, Louis-Noël Pouchet, Zhiru Zhang
Accelerator design with decoupled hardware customizations: benefits and challenges: invited. DAC (2022)
Zhenkun Yang, Xianghua Ma, Kefan Wang, Jing An
Dense short connection network for efficient image classification. Concurr. Comput. Pract. Exp. 33 (10) (2021)
Suvadeep Banerjee, Steve Burns, Pasquale Cocchini, Abhijit Davare, Shweta Jain, Desmond Kirkpatrick, Anton Sorokin, Jin Yang, Zhenkun Yang
A Highly Configurable Hardware/Software Stack for DNN Inference Acceleration. CoRR (2021)
Xianghua Ma, Zhenkun Yang, Shining Chen
Multiscale Feature Filtering Network for Image Recognition System in Unmanned Aerial Vehicle. Complex. 2021 (2021)
Zhenkun Yang, Xianghua Ma, Jing An
Asymmetric Convolution Networks Based on Multi-feature Fusion for Object Detection. CASE (2020)
Zhenkun Yang, Yuriy Viktorov, Jin Yang, Jiewen Yao, Vincent Zimmer
UEFI Firmware Fuzzing with Simics Virtual Platform. DAC (2020)
Bo Chen, Zhenkun Yang, Li Lei, Kai Cong, Fei Xie
Automated Bug Detection and Replay for COTS Linux Kernel Modules with Concolic Execution. SANER (2020)
Xianghua Ma, Zhenkun Yang, Wei Lin, Wenjie Li, Gang Wu, Bin Wei
Anti-swing strategy of overhead cranes based on prescribed performance PID control. Int. J. Wirel. Mob. Comput. 18 (2) (2020)
Tianyu Liu, Hao Luo, Zhenkun Yang
A Novel Data-Driven Fault Classification Method and its Application to DC Motor. ICIT (2019)
Bo Chen, Kai Cong, Zhenkun Yang, Qin Wang, Jialu Wang, Li Lei, Fei Xie
End-to-End Concolic Testing for Hardware/Software Co-Validation. ICESS (2019)
Li Lei, Kai Cong, Zhenkun Yang, Bo Chen, Fei Xie
Hardware/Software Co-monitoring. CoRR (2019)
Bo Chen, Christopher Havlicek, Zhenkun Yang, Kai Cong, Raghudeep Kannavara, Fei Xie
CRETE: A Versatile Binary-Level Concolic Testing Framework. FASE (2018)
Bin Lin, Kai Cong, Zhenkun Yang, Zhi-gang Liao, Tao Zhan, Christopher Havlicek, Fei Xie
Concolic testing of SystemC designs. ISQED (2018)
Jinchao Chen, Chenglie Du, Fei Xie, Zhenkun Yang
Schedulability analysis of non-preemptive strictly periodic tasks in multi-core real-time systems. Real Time Syst. 52 (3) (2016)
Bin Lin, Zhenkun Yang, Kai Cong, Fei Xie
Generating high coverage tests for SystemC designs using symbolic execution. ASP-DAC (2016)
Zhenkun Yang, Kecheng Hao, Kai Cong, Li Lei, Sandip Ray, Fei Xie
Validating scheduling transformation for behavioral synthesis. DATE (2016)
Kai Cong, Li Lei, Zhenkun Yang, Fei Xie
OpenRISC System-on-Chip Design Emulation. CoRR (2016)
Kai Cong, Li Lei, Zhenkun Yang, Fei Xie
Automatic fault injection for driver robustness testing. ISSTA (2015)
Zhenkun Yang, Kecheng Hao, Kai Cong, Li Lei, Sandip Ray, Fei Xie
Scalable Certification Framework for Behavioral Synthesis Front-End. DAC (2014)
Kai Cong, Li Lei, Zhenkun Yang, Fei Xie
Coverage evaluation of post-silicon validation tests with virtual prototypes. DATE (2014)
Li Lei, Kai Cong, Zhenkun Yang, Fei Xie
Validating direct memory access interfaces with conformance checking. ICCAD (2014)
Zhenkun Yang
A Scalable, Continuously Available Database System Based on Commodity Hardware. WAIM Workshops (2013)
Zhenkun Yang, Kecheng Hao, Kai Cong, Sandip Ray, Fei Xie
Equivalence checking for compiler transformations in behavioral synthesis. ICCD (2013)
Zhenkun Yang, Sandip Ray, Kecheng Hao, Fei Xie
Handling design and implementation optimizations in equivalence checking for behavioral synthesis. DAC (2013)
Zhaohui Gan, Zhenkun Yang, Tao Shang, Tianyou Yu, Min Jiang
Automated synthesis of passive analog filters using graph representation. Expert Syst. Appl. 37 (3) (2010)
Zhaohui Gan, Zhenkun Yang, Gaobin Li, Min Jiang
Automatic Modeling of Complex Functions with Clonal Selection-Based Gene Expression Programming. ICNC (4) (2007)
Min Jiang, Zhenkun Yang, Zhaohui Gan
Optimal Components Selection for Analog Active Filters Using Clonal Selection Algorithms. ICIC (1) (2007)
Zhaohui Gan, Zhenkun Yang, Gaobin Li, Min Jiang
Automatic Synthesis of Practical Passive Filters Using Clonal Selection Principle-Based Gene Expression Programming. ICES (2007)