Zhenkun Yang

According to our database, Zhenkun Yang authored at least 41 papers between 2007 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

Correct-by-Construction Design of Custom Accelerator Microarchitectures.

Jin Yang, Zhenkun Yang, Jeremy Casas, Sandip Ray

IEEE Trans. Computers, January, 2024

2023

Multigrained Hybrid Neural Network for Rotating Machinery Fault Diagnosis Using Joint Local and Global Information.

Zhenkun Yang, Bin He, Gang Li, Ping Lu, Bin Cheng, Pengpeng Zhang

IEEE Trans. Instrum. Meas., 2023

Towards A Correct-by-Construction FHE Model.

Zhenkun Yang, Wen Wang, Jeremy Casas, Pasquale Cocchini, Jin Yang

IACR Cryptol. ePrint Arch., 2023

Certifying Sequential Consistency of Machine Learning Accelerators.

Huan Wu, Fei Xie, Zhenkun Yang

Proceedings of the Formal Methods and Software Engineering, 2023

LCL: A Lock Chain Length-based Distributed Algorithm for Deadlock Detection and Resolution.

Zhenkun Yang, Chen Qian, Xuwang Teng, Fanyu Kong, Fusheng Han, Quanqing Xu

Proceedings of the 39th IEEE International Conference on Data Engineering, 2023

A Design Method of Aero-Engine Labyrinth Seal Parameters Based on AGA-BP Neural Network.

Zhenkun Yang, Bin He, Ping Lu, Gang Li, Wenji Chen

Proceedings of the International Conference on Advanced Robotics and Mechatronics, 2023

An Automated Verification Framework for HalideIR-Based Compiler Transformations.

Yanzhao Wang, Fei Xie, Zhenkun Yang, Jeremy Casas, Pasquale Cocchini, Jin Yang

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2023

Invited: A Scalable Formal Approach for Correctness-Assured Hardware Design.

Jin Yang, Jeremy Casas, Zhenkun Yang

Proceedings of the 60th ACM/IEEE Design Automation Conference, 2023

Towards A Formally Verified Fully Homomorphic Encryption Compute Engine.

Jeremy Casas, Zhenkun Yang, Wen Wang, Jin Yang, Adwait Godbole

Proceedings of the 60th ACM/IEEE Design Automation Conference, 2023

An Equivalence Checking Framework for Agile Hardware Design.

Yanzhao Wang, Fei Xie, Zhenkun Yang, Pasquale Cocchini, Jin Yang

Proceedings of the 28th Asia and South Pacific Design Automation Conference, 2023

2022

OceanBase: A 707 Million tpmC Distributed Relational Database System.

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

Proc. VLDB Endow., 2022

Methods and Datasets of Text to Image Synthesis Based on Generative Adversarial Network.

Junjie Li, Tongfei Sun, Zhenkun Yang, Zhoutong Yuan

Proceedings of the 5th IEEE International Conference on Information Systems and Computer Aided Education, 2022

Accelerator design with decoupled hardware customizations: benefits and challenges: invited.

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

Proceedings of the DAC '22: 59th ACM/IEEE Design Automation Conference, San Francisco, California, USA, July 10, 2022

FirVer: Concolic Testing for Systematic Validation of Firmware Binaries.

Tashfia Alam, Zhenkun Yang, Bo Chen, Nicholas Armour, Sandip Ray

Proceedings of the 27th Asia and South Pacific Design Automation Conference, 2022

2021

A Highly Configurable Hardware/Software Stack for DNN Inference Acceleration.

Suvadeep Banerjee, Steve Burns, Pasquale Cocchini, Abhijit Davare, Shweta Jain, Desmond Kirkpatrick, Anton Sorokin, Jin Yang, Zhenkun Yang

CoRR, 2021

Dense short connection network for efficient image classification.

Zhenkun Yang, Xianghua Ma, Kefan Wang, Jing An

Concurr. Comput. Pract. Exp., 2021

Multiscale Feature Filtering Network for Image Recognition System in Unmanned Aerial Vehicle.

Xianghua Ma, Zhenkun Yang, Shining Chen

Complex., 2021

2020

Anti-swing strategy of overhead cranes based on prescribed performance PID control.

Xianghua Ma, Zhenkun Yang, Wei Lin, Wenjie Li, Gang Wu, Bin Wei

Int. J. Wirel. Mob. Comput., 2020

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

Bo Chen, Zhenkun Yang, Li Lei, Kai Cong, Fei Xie

Proceedings of the 27th IEEE International Conference on Software Analysis, 2020

UEFI Firmware Fuzzing with Simics Virtual Platform.

Zhenkun Yang, Yuriy Viktorov, Jin Yang, Jiewen Yao, Vincent Zimmer

Proceedings of the 57th ACM/IEEE Design Automation Conference, 2020

Asymmetric Convolution Networks Based on Multi-feature Fusion for Object Detection.

Zhenkun Yang, Xianghua Ma, Jing An

Proceedings of the 16th IEEE International Conference on Automation Science and Engineering, 2020

2019

Hardware/Software Co-monitoring.

Li Lei, Kai Cong, Zhenkun Yang, Bo Chen, Fei Xie

CoRR, 2019

A Novel Data-Driven Fault Classification Method and its Application to DC Motor.

Tianyu Liu, Hao Luo, Zhenkun Yang

Proceedings of the IEEE International Conference on Industrial Technology, 2019

End-to-End Concolic Testing for Hardware/Software Co-Validation.

Bo Chen, Kai Cong, Zhenkun Yang, Qin Wang, Jialu Wang, Li Lei, Fei Xie

Proceedings of the 15th IEEE International Conference on Embedded Software and Systems, 2019

2018

Concolic testing of SystemC designs.

Bin Lin, Kai Cong, Zhenkun Yang, Zhi-gang Liao, Tao Zhan, Christopher Havlicek, Fei Xie

Proceedings of the 19th International Symposium on Quality Electronic Design, 2018

CRETE: A Versatile Binary-Level Concolic Testing Framework.

Bo Chen, Christopher Havlicek, Zhenkun Yang, Kai Cong, Raghudeep Kannavara, Fei Xie

Proceedings of the Fundamental Approaches to Software Engineering, 2018

2016

Schedulability analysis of non-preemptive strictly periodic tasks in multi-core real-time systems.

Jinchao Chen, Chenglie Du, Fei Xie, Zhenkun Yang

Real Time Syst., 2016

OpenRISC System-on-Chip Design Emulation.

Kai Cong, Li Lei, Zhenkun Yang, Fei Xie

CoRR, 2016

Validating scheduling transformation for behavioral synthesis.

Zhenkun Yang, Kecheng Hao, Kai Cong, Li Lei, Sandip Ray, Fei Xie

Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition, 2016

Generating high coverage tests for SystemC designs using symbolic execution.

Bin Lin, Zhenkun Yang, Kai Cong, Fei Xie

Proceedings of the 21st Asia and South Pacific Design Automation Conference, 2016

2015

Automatic fault injection for driver robustness testing.

Kai Cong, Li Lei, Zhenkun Yang, Fei Xie

Proceedings of the 2015 International Symposium on Software Testing and Analysis, 2015

2014

Validating direct memory access interfaces with conformance checking.

Li Lei, Kai Cong, Zhenkun Yang, Fei Xie

Proceedings of the IEEE/ACM International Conference on Computer-Aided Design, 2014

Coverage evaluation of post-silicon validation tests with virtual prototypes.

Kai Cong, Li Lei, Zhenkun Yang, Fei Xie

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014

Scalable Certification Framework for Behavioral Synthesis Front-End.

Zhenkun Yang, Kecheng Hao, Kai Cong, Li Lei, Sandip Ray, Fei Xie

Proceedings of the 51st Annual Design Automation Conference 2014, 2014

2013

A Scalable, Continuously Available Database System Based on Commodity Hardware.

Zhenkun Yang

Proceedings of the Web-Age Information Management, 2013

Equivalence checking for compiler transformations in behavioral synthesis.

Zhenkun Yang, Kecheng Hao, Kai Cong, Sandip Ray, Fei Xie

Proceedings of the 2013 IEEE 31st International Conference on Computer Design, 2013

Handling design and implementation optimizations in equivalence checking for behavioral synthesis.

Zhenkun Yang, Sandip Ray, Kecheng Hao, Fei Xie

Proceedings of the 50th Annual Design Automation Conference 2013, 2013

2010

Automated synthesis of passive analog filters using graph representation.

Zhaohui Gan, Zhenkun Yang, Tao Shang, Tianyou Yu, Min Jiang

Expert Syst. Appl., 2010

2007

Automatic Modeling of Complex Functions with Clonal Selection-Based Gene Expression Programming.

Zhaohui Gan, Zhenkun Yang, Gaobin Li, Min Jiang

Proceedings of the Third International Conference on Natural Computation, 2007

Optimal Components Selection for Analog Active Filters Using Clonal Selection Algorithms.

Min Jiang, Zhenkun Yang, Zhaohui Gan

Proceedings of the Advanced Intelligent Computing Theories and Applications. With Aspects of Theoretical and Methodological Issues, 2007

Automatic Synthesis of Practical Passive Filters Using Clonal Selection Principle-Based Gene Expression Programming.

Zhaohui Gan, Zhenkun Yang, Gaobin Li, Min Jiang

Proceedings of the Evolvable Systems: From Biology to Hardware, 2007