Zhenkun Yang

48 papers A* 7A 6B 1C 2Journal 17Unranked 15
YearRankTypeTitle / Venue / Authors
2025 — conf
Formal Verification of a Custom Compiler for a Fully Homomorphic Encryption Accelerator.
ISQED
Zhenkun Yang, Suvadeep Banerjee, Jeremy Casas, Jin Yang
2025 J jnl
LCL+: a Lock Chain Length-based Distributed Deadlock Detection and Resolution Service Built for OceanBase.
ACM Trans. Comput. Syst.
Zhenkun Yang, Chen Qian, Xuwang Teng, Fanyu Kong, Fusheng Han, Quanqing Xu, Daokun Hu
2025 — conf
MaLT: A Framework for Managing Large Transactions in OceanBase.
SIGMOD Conference Companion
Chenguang Fang, Chen Qian, Qi Yang, Zeyu Wang, Zhenkun Yang, Fanyu Kong, Quanqing Xu, Hui Cao, Fusheng Han, Chuanhui Yang
2025 J jnl
Power Sharing Control Strategy of ISOP LLC-DAB Hybrid Bidirectional Converters Based on Multiagent Consensus Theory.
IEEE Trans. Ind. Electron.
Yuefeng Liao, Zhenkun Yang, Duo Yang, Xiang Li, Guo Xu, Jing J. Liang
2024 J jnl
A Systematic Translation Validation Framework for MLIR-Based Compilers.
Int. J. Softw. Eng. Knowl. Eng.
Yanzhao Wang, Fei Xie, Zhenkun Yang, Pasquale Cocchini, Jin Yang
2024 J jnl
Correct-by-Construction Design of Custom Accelerator Microarchitectures.
IEEE Trans. Computers
Jin Yang, Zhenkun Yang, Jeremy Casas, Sandip Ray
2024 J jnl
EBMGC-GNF: Efficient Balanced Multi-View Graph Clustering via Good Neighbor Fusion.
IEEE Trans. Pattern Anal. Mach. Intell.
Danyang Wu, Zhenkun Yang, Jitao Lu, Jin Xu, Xiangmin Xu, Feiping Nie
2024 J jnl
PALF: Replicated Write-ahead Logging for Distributed Databases.
Proc. VLDB Endow.
Fusheng Han, Hao Liu, Bin Chen, Debin Jia, Jianfeng Zhou, Xuwang Teng, Chuanhui Yang, Huafeng Xi, Wei Tian, Shuning Tao, Sen Wang, Quanqing Xu, Zhenkun Yang
2023 — conf
A Design Method of Aero-Engine Labyrinth Seal Parameters Based on AGA-BP Neural Network.
ICARM
Zhenkun Yang, Bin He, Ping Lu, Gang Li, Wenji Chen
2023 A conf
An Automated Verification Framework for HalideIR-Based Compiler Transformations.
DATE
Yanzhao Wang, Fei Xie, Zhenkun Yang, Jeremy Casas, Pasquale Cocchini, Jin Yang
2023 — conf
An Equivalence Checking Framework for Agile Hardware Design.
ASP-DAC
Yanzhao Wang, Fei Xie, Zhenkun Yang, Pasquale Cocchini, Jin Yang
2023 C conf
Certifying Sequential Consistency of Machine Learning Accelerators.
ICFEM
Huan Wu, Fei Xie, Zhenkun Yang
2023 A* conf
Invited: A Scalable Formal Approach for Correctness-Assured Hardware Design.
DAC
Jin Yang, Jeremy Casas, Zhenkun Yang
2023 A* conf
LCL: A Lock Chain Length-based Distributed Algorithm for Deadlock Detection and Resolution.
ICDE
Zhenkun Yang, Chen Qian, Xuwang Teng, Fanyu Kong, Fusheng Han, Quanqing Xu
2023 J jnl
Multigrained Hybrid Neural Network for Rotating Machinery Fault Diagnosis Using Joint Local and Global Information.
IEEE Trans. Instrum. Meas.
Zhenkun Yang, Bin He, Gang Li, Ping Lu, Bin Cheng, Pengpeng Zhang
2023 J jnl
Towards A Correct-by-Construction FHE Model.
IACR Cryptol. ePrint Arch.
Zhenkun Yang, Wen Wang, Jeremy Casas, Pasquale Cocchini, Jin Yang
2023 A* conf
Towards A Formally Verified Fully Homomorphic Encryption Compute Engine.
DAC
Jeremy Casas, Zhenkun Yang, Wen Wang, Jin Yang, Adwait Godbole
2022 A* conf
Accelerator design with decoupled hardware customizations: benefits and challenges: invited.
DAC
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
2022 — conf
FirVer: Concolic Testing for Systematic Validation of Firmware Binaries.
ASP-DAC
Tashfia Alam, Zhenkun Yang, Bo Chen, Nicholas Armour, Sandip Ray
2022 — conf
Methods and Datasets of Text to Image Synthesis Based on Generative Adversarial Network.
ICISCAE
Junjie Li, Tongfei Sun, Zhenkun Yang, Zhoutong Yuan
2022 J jnl
OceanBase: A 707 Million tpmC Distributed Relational Database System.
Proc. VLDB Endow.
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
2021 J jnl
A Highly Configurable Hardware/Software Stack for DNN Inference Acceleration.
CoRR
Suvadeep Banerjee, Steve Burns, Pasquale Cocchini, Abhijit Davare, Shweta Jain, Desmond Kirkpatrick, Anton Sorokin, Jin Yang, Zhenkun Yang
2021 J jnl
Dense short connection network for efficient image classification.
Concurr. Comput. Pract. Exp.
Zhenkun Yang, Xianghua Ma, Kefan Wang, Jing An
2021 J jnl
Multiscale Feature Filtering Network for Image Recognition System in Unmanned Aerial Vehicle.
Complex.
Xianghua Ma, Zhenkun Yang, Shining Chen
2020 J jnl
Anti-swing strategy of overhead cranes based on prescribed performance PID control.
Int. J. Wirel. Mob. Comput.
Xianghua Ma, Zhenkun Yang, Wei Lin, Wenjie Li, Gang Wu, Bin Wei
2020 — conf
Asymmetric Convolution Networks Based on Multi-feature Fusion for Object Detection.
CASE
Zhenkun Yang, Xianghua Ma, Jing An
2020 A conf
Automated Bug Detection and Replay for COTS Linux Kernel Modules with Concolic Execution.
SANER
Bo Chen, Zhenkun Yang, Li Lei, Kai Cong, Fei Xie
2020 A* conf
UEFI Firmware Fuzzing with Simics Virtual Platform.
DAC
Zhenkun Yang, Yuriy Viktorov, Jin Yang, Jiewen Yao, Vincent Zimmer
2019 — conf
A Novel Data-Driven Fault Classification Method and its Application to DC Motor.
ICIT
Tianyu Liu, Hao Luo, Zhenkun Yang
2019 — conf
End-to-End Concolic Testing for Hardware/Software Co-Validation.
ICESS
Bo Chen, Kai Cong, Zhenkun Yang, Qin Wang, Jialu Wang, Li Lei, Fei Xie
2019 J jnl
Hardware/Software Co-monitoring.
CoRR
Li Lei, Kai Cong, Zhenkun Yang, Bo Chen, Fei Xie
2018 B conf
CRETE: A Versatile Binary-Level Concolic Testing Framework.
FASE
Bo Chen, Christopher Havlicek, Zhenkun Yang, Kai Cong, Raghudeep Kannavara, Fei Xie
2018 — conf
Concolic testing of SystemC designs.
ISQED
Bin Lin, Kai Cong, Zhenkun Yang, Zhi-gang Liao, Tao Zhan, Christopher Havlicek, Fei Xie
2016 — conf
Generating high coverage tests for SystemC designs using symbolic execution.
ASP-DAC
Bin Lin, Zhenkun Yang, Kai Cong, Fei Xie
2016 J jnl
OpenRISC System-on-Chip Design Emulation.
CoRR
Kai Cong, Li Lei, Zhenkun Yang, Fei Xie
2016 J jnl
Schedulability analysis of non-preemptive strictly periodic tasks in multi-core real-time systems.
Real Time Syst.
Jinchao Chen, Chenglie Du, Fei Xie, Zhenkun Yang
2016 A conf
Validating scheduling transformation for behavioral synthesis.
DATE
Zhenkun Yang, Kecheng Hao, Kai Cong, Li Lei, Sandip Ray, Fei Xie
2015 A conf
Automatic fault injection for driver robustness testing.
ISSTA
Kai Cong, Li Lei, Zhenkun Yang, Fei Xie
2014 A conf
Coverage evaluation of post-silicon validation tests with virtual prototypes.
DATE
Kai Cong, Li Lei, Zhenkun Yang, Fei Xie
2014 A* conf
Scalable Certification Framework for Behavioral Synthesis Front-End.
DAC
Zhenkun Yang, Kecheng Hao, Kai Cong, Li Lei, Sandip Ray, Fei Xie
2014 A conf
Validating direct memory access interfaces with conformance checking.
ICCAD
Li Lei, Kai Cong, Zhenkun Yang, Fei Xie
2013 — conf
A Scalable, Continuously Available Database System Based on Commodity Hardware.
WAIM Workshops
Zhenkun Yang
2013 C conf
Equivalence checking for compiler transformations in behavioral synthesis.
ICCD
Zhenkun Yang, Kecheng Hao, Kai Cong, Sandip Ray, Fei Xie
2013 A* conf
Handling design and implementation optimizations in equivalence checking for behavioral synthesis.
DAC
Zhenkun Yang, Sandip Ray, Kecheng Hao, Fei Xie
2010 J jnl
Automated synthesis of passive analog filters using graph representation.
Expert Syst. Appl.
Zhaohui Gan, Zhenkun Yang, Tao Shang, Tianyou Yu, Min Jiang
2007 — conf
Automatic Modeling of Complex Functions with Clonal Selection-Based Gene Expression Programming.
ICNC (4)
Zhaohui Gan, Zhenkun Yang, Gaobin Li, Min Jiang
2007 — conf
Automatic Synthesis of Practical Passive Filters Using Clonal Selection Principle-Based Gene Expression Programming.
ICES
Zhaohui Gan, Zhenkun Yang, Gaobin Li, Min Jiang
2007 — conf
Optimal Components Selection for Analog Active Filters Using Clonal Selection Algorithms.
ICIC (1)
Min Jiang, Zhenkun Yang, Zhaohui Gan