Power Sharing Control Strategy of ISOP LLC-DAB Hybrid Bidirectional Converters Based on Multiagent Consensus Theory.

Zhenkun Yang

Yuefeng Liao Zhenkun Yang Duo Yang 0007 Xiang Li 0206 Guo Xu Jing J. Liang Power Sharing Control Strategy of ISOP LLC-DAB Hybrid Bidirectional Converters Based on Multiagent Consensus Theory. 10290-10300 2025 October 72 IEEE Trans. Ind. Electron. 10 https://doi.org/10.1109/TIE.2025.3555036 db/journals/tie/tie72.html#LiaoYYLXL25 streams/journals/tie

Zhenkun Yang Chen Qian Xuwang Teng Fanyu Kong 0004 Fusheng Han Quanqing Xu Daokun Hu LCL+: a Lock Chain Length-based Distributed Deadlock Detection and Resolution Service Built for OceanBase. 15:1-15:33 2025 November 43 ACM Trans. Comput. Syst. 4 https://doi.org/10.1145/3768621 db/journals/tocs/tocs43.html#YangQTKHXH25 streams/journals/tocs

Zhenkun Yang Suvadeep Banerjee Jeremy Casas Jin Yang 0006 Formal Verification of a Custom Compiler for a Fully Homomorphic Encryption Accelerator. 1-7 2025 ISQED https://doi.org/10.1109/ISQED65160.2025.11014422 conf/isqed/2025 db/conf/isqed/isqed2025.html#YangBC025 Chenguang Fang Chen Qian Qi Yang Zeyu Wang Zhenkun Yang Fanyu Kong 0004 Quanqing Xu Hui Cao Fusheng Han Chuanhui Yang MaLT: A Framework for Managing Large Transactions in OceanBase. 378-390 2025 SIGMOD Conference Companion https://doi.org/10.1145/3722212.3724442 conf/sigmod/2025c db/conf/sigmod/sigmod2025c.html#FangQYWYKXCHY25

Yanzhao Wang Fei Xie 0004 Zhenkun Yang Pasquale Cocchini Jin Yang 0006 A Systematic Translation Validation Framework for MLIR-Based Compilers. 1621-1640 2024 October 34 Int. J. Softw. Eng. Knowl. Eng. 10 https://doi.org/10.1142/S021819402450030X db/journals/ijseke/ijseke34.html#WangXYCY24 streams/journals/ijseke

Danyang Wu Zhenkun Yang Jitao Lu Jin Xu 0014 Xiangmin Xu Feiping Nie 0001 EBMGC-GNF: Efficient Balanced Multi-View Graph Clustering via Good Neighbor Fusion. 7878-7892 2024 December 46 IEEE Trans. Pattern Anal. Mach. Intell. 12 https://doi.org/10.1109/TPAMI.2024.3398220 db/journals/pami/pami46.html#WuYLXXN24 streams/journals/pami

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 PALF: Replicated Write-ahead Logging for Distributed Databases. 3745-3758 2024 August 17 Proc. VLDB Endow. 12 https://www.vldb.org/pvldb/vol17/p3745-xu.pdf https://doi.org/10.14778/3685800.3685803 db/journals/pvldb/pvldb17.html#HanLCJZTYXTTWXY24 streams/journals/pvldb

Jin Yang 0006 Zhenkun Yang Jeremy Casas Sandip Ray Correct-by-Construction Design of Custom Accelerator Microarchitectures. 278-291 2024 January 73 IEEE Trans. Computers 1 https://doi.org/10.1109/TC.2023.3329243 db/journals/tc/tc73.html#YangYCR24

Zhenkun Yang Bin He 0003 Gang Li 0020 Ping Lu 0013 Bin Cheng 0008 Pengpeng Zhang Multigrained Hybrid Neural Network for Rotating Machinery Fault Diagnosis Using Joint Local and Global Information. 1-13 2023 72 IEEE Trans. Instrum. Meas. https://doi.org/10.1109/TIM.2023.3301888 db/journals/tim/tim72.html#YangHLLCZ23

Yanzhao Wang Fei Xie 0004 Zhenkun Yang Pasquale Cocchini Jin Yang 0006 An Equivalence Checking Framework for Agile Hardware Design. 26-32 2023 ASP-DAC https://doi.org/10.1145/3566097.3567843 https://ieeexplore.ieee.org/document/10044842 https://www.wikidata.org/entity/Q130871766 conf/aspdac/2023 db/conf/aspdac/aspdac2023.html#WangXYCY23 Jeremy Casas Zhenkun Yang Wen Wang Jin Yang 0006 Adwait Godbole Towards A Formally Verified Fully Homomorphic Encryption Compute Engine. 1-6 2023 DAC https://doi.org/10.1109/DAC56929.2023.10247836 conf/dac/2023 db/conf/dac/dac2023.html#CasasYWYG23 Jin Yang 0006 Jeremy Casas Zhenkun Yang Invited: A Scalable Formal Approach for Correctness-Assured Hardware Design. 1-4 2023 DAC https://doi.org/10.1109/DAC56929.2023.10247673 conf/dac/2023 db/conf/dac/dac2023.html#YangCY23 Yanzhao Wang Fei Xie 0004 Zhenkun Yang Jeremy Casas Pasquale Cocchini Jin Yang 0006 An Automated Verification Framework for HalideIR-Based Compiler Transformations. 1-6 2023 DATE https://doi.org/10.23919/DATE56975.2023.10137308 conf/date/2023 db/conf/date/date2023.html#WangXYCCY23 Zhenkun Yang Bin He 0003 Ping Lu 0013 Gang Li 0020 Wenji Chen A Design Method of Aero-Engine Labyrinth Seal Parameters Based on AGA-BP Neural Network. 197-202 2023 ICARM https://doi.org/10.1109/ICARM58088.2023.10218778 conf/icarm/2023 db/conf/icarm/icarm2023.html#YangHLLC23 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. 151-163 2023 ICDE https://doi.org/10.1109/ICDE55515.2023.00019 conf/icde/2023 db/conf/icde/icde2023.html#YangQTKHX23 Huan Wu Fei Xie Zhenkun Yang Certifying Sequential Consistency of Machine Learning Accelerators. 156-171 2023 ICFEM https://doi.org/10.1007/978-981-99-7584-6_10 conf/icfem/2023 db/conf/icfem/icfem2023.html#WuXY23

Zhenkun Yang Wen Wang Jeremy Casas Pasquale Cocchini Jin Yang 0006 Towards A Correct-by-Construction FHE Model. 281 2023 2023 IACR Cryptol. ePrint Arch. https://eprint.iacr.org/2023/281 db/journals/iacr/iacr2023.html#YangWCCY23

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 0001 Boxue Yin Junquan Chen Quanqing Xu OceanBase: A 707 Million tpmC Distributed Relational Database System. 3385-3397 2022 15 Proc. VLDB Endow. 12 https://www.vldb.org/pvldb/vol15/p3385-xu.pdf https://doi.org/10.14778/3554821.3554830 https://www.wikidata.org/entity/Q130858024 db/journals/pvldb/pvldb15.html#YangYHZYYCZSXYL22

Tashfia Alam Zhenkun Yang Bo Chen Nicholas Armour Sandip Ray FirVer: Concolic Testing for Systematic Validation of Firmware Binaries. 352-357 2022 ASP-DAC https://doi.org/10.1109/ASP-DAC52403.2022.9712594 https://www.wikidata.org/entity/Q131111396 conf/aspdac/2022 db/conf/aspdac/aspdac2022.html#AlamYCAR22 Debjit Pal Yi-Hsiang Lai Shaojie Xiang Niansong Zhang Hongzheng Chen Jeremy Casas Pasquale Cocchini Zhenkun Yang Jin Yang 0006 Louis-Noël Pouchet Zhiru Zhang Accelerator design with decoupled hardware customizations: benefits and challenges: invited. 1351-1354 2022 DAC https://doi.org/10.1145/3489517.3530681 https://www.wikidata.org/entity/Q130891913 conf/dac/2022 db/conf/dac/dac2022.html#PalLXZCCCYYPZ22 Junjie Li Tongfei Sun Zhenkun Yang Zhoutong Yuan Methods and Datasets of Text to Image Synthesis Based on Generative Adversarial Network. 843-847 2022 ICISCAE https://doi.org/10.1109/ICISCAE55891.2022.9927634 conf/iciscae/2022 db/conf/iciscae/iciscae2022.html#LiSYY22

Xianghua Ma Zhenkun Yang Shining Chen Multiscale Feature Filtering Network for Image Recognition System in Unmanned Aerial Vehicle. 6663851:1-6663851:11 2021 2021 Complex. https://doi.org/10.1155/2021/6663851 db/journals/complexity/complexity2021.html#MaYC21

Zhenkun Yang Xianghua Ma Kefan Wang Jing An 0001 Dense short connection network for efficient image classification. 2021 33 Concurr. Comput. Pract. Exp. 10 https://doi.org/10.1002/cpe.6186 db/journals/concurrency/concurrency33.html#YangMWA21

Suvadeep Banerjee Steve Burns 0002 Pasquale Cocchini Abhijit Davare Shweta Jain 0005 Desmond Kirkpatrick Anton Sorokin Jin Yang 0006 Zhenkun Yang A Highly Configurable Hardware/Software Stack for DNN Inference Acceleration. 2021 abs/2111.15024 CoRR https://arxiv.org/abs/2111.15024 db/journals/corr/corr2111.html#abs-2111-15024

Xianghua Ma Zhenkun Yang Wei Lin Wenjie Li Gang Wu Bin Wei Anti-swing strategy of overhead cranes based on prescribed performance PID control. 194-203 2020 18 Int. J. Wirel. Mob. Comput. 2 https://doi.org/10.1504/IJWMC.2020.105715 db/journals/ijwmc/ijwmc18.html#MaYLLWW20

Zhenkun Yang Xianghua Ma Jing An Asymmetric Convolution Networks Based on Multi-feature Fusion for Object Detection. 1355-1360 2020 CASE https://doi.org/10.1109/CASE48305.2020.9216756 conf/case/2020 db/conf/case/case2020.html#YangMA20 Zhenkun Yang Yuriy Viktorov Jin Yang 0006 Jiewen Yao Vincent Zimmer UEFI Firmware Fuzzing with Simics Virtual Platform. 1-6 2020 DAC https://doi.org/10.1109/DAC18072.2020.9218694 conf/dac/2020 db/conf/dac/dac2020.html#YangVYYZ20 Bo Chen Zhenkun Yang Li Lei Kai Cong Fei Xie Automated Bug Detection and Replay for COTS Linux Kernel Modules with Concolic Execution. 172-183 2020 SANER https://doi.org/10.1109/SANER48275.2020.9054797 conf/wcre/2020 db/conf/wcre/saner2020.html#ChenYLCX20 Bo Chen 0008 Kai Cong Zhenkun Yang Qin Wang Jialu Wang Li Lei Fei Xie 0004 End-to-End Concolic Testing for Hardware/Software Co-Validation. 1-8 2019 ICESS https://doi.org/10.1109/ICESS.2019.8782476 conf/icess/2019 db/conf/icess/icess2019.html#0008CYWWLX19 Tianyu Liu 0003 Hao Luo 0003 Zhenkun Yang A Novel Data-Driven Fault Classification Method and its Application to DC Motor. 1261-1266 2019 ICIT https://doi.org/10.1109/ICIT.2019.8754993 conf/icit2/2019 db/conf/icit2/icit2019.html#LiuLY19

Li Lei Kai Cong Zhenkun Yang Bo Chen 0008 Fei Xie 0004 Hardware/Software Co-monitoring. 2019 abs/1905.03915 CoRR http://arxiv.org/abs/1905.03915 db/journals/corr/corr1905.html#abs-1905-03915

Bo Chen 0008 Christopher Havlicek Zhenkun Yang Kai Cong Raghudeep Kannavara Fei Xie 0004 CRETE: A Versatile Binary-Level Concolic Testing Framework. 281-298 2018 FASE https://doi.org/10.1007/978-3-319-89363-1_16 conf/fase/2018 db/conf/fase/fase2018.html#ChenHYCKX18 Bin Lin Kai Cong Zhenkun Yang Zhi-gang Liao Tao Zhan Christopher Havlicek Fei Xie Concolic testing of SystemC designs. 1-7 2018 ISQED https://doi.org/10.1109/ISQED.2018.8357256 conf/isqed/2018 db/conf/isqed/isqed2018.html#LinCYLZHX18

Jinchao Chen Chenglie Du Fei Xie Zhenkun Yang Schedulability analysis of non-preemptive strictly periodic tasks in multi-core real-time systems. 239-271 2016 52 Real Time Syst. 3 https://doi.org/10.1007/s11241-015-9226-z db/journals/rts/rts52.html#ChenDXY16

Bin Lin Zhenkun Yang Kai Cong Fei Xie Generating high coverage tests for SystemC designs using symbolic execution. 166-171 2016 ASP-DAC https://doi.org/10.1109/ASPDAC.2016.7428006 conf/aspdac/2016 db/conf/aspdac/aspdac2016.html#LinYCX16 Zhenkun Yang Kecheng Hao Kai Cong Li Lei Sandip Ray Fei Xie 0004 Validating scheduling transformation for behavioral synthesis. 1652-1657 2016 DATE https://ieeexplore.ieee.org/document/7459577/ conf/date/2016 db/conf/date/date2016.html#YangHCLRX16

Kai Cong Li Lei Zhenkun Yang Fei Xie OpenRISC System-on-Chip Design Emulation. 2016 abs/1602.03095 CoRR http://arxiv.org/abs/1602.03095 db/journals/corr/corr1602.html#CongLYX16

Kai Cong Li Lei Zhenkun Yang Fei Xie Automatic fault injection for driver robustness testing. 361-372 2015 ISSTA https://doi.org/10.1145/2771783.2771811 conf/issta/2015 db/conf/issta/issta2015.html#CongLYX15 Zhenkun Yang Kecheng Hao Kai Cong Li Lei Sandip Ray Fei Xie 0004 Scalable Certification Framework for Behavioral Synthesis Front-End. 149:1-149:6 2014 DAC https://doi.org/10.1145/2593069.2593209 conf/dac/2014 db/conf/dac/dac2014.html#YangHCLRX14 Kai Cong Li Lei Zhenkun Yang Fei Xie Coverage evaluation of post-silicon validation tests with virtual prototypes. 1-6 2014 DATE https://doi.org/10.7873/DATE.2014.331 http://dl.acm.org/citation.cfm?id=2617063 conf/date/2014 db/conf/date/date2014.html#CongLYX14 Li Lei Kai Cong Zhenkun Yang Fei Xie Validating direct memory access interfaces with conformance checking. 9-16 2014 ICCAD https://doi.org/10.1109/ICCAD.2014.7001323 http://dl.acm.org/citation.cfm?id=2691368 conf/iccad/2014 db/conf/iccad/iccad2014.html#LeiCYX14 Zhenkun Yang Sandip Ray Kecheng Hao Fei Xie 0004 Handling design and implementation optimizations in equivalence checking for behavioral synthesis. 117:1-117:6 2013 DAC https://doi.org/10.1145/2463209.2488878 conf/dac/2013 db/conf/dac/dac2013.html#YangRHX13 Zhenkun Yang Kecheng Hao Kai Cong Sandip Ray Fei Xie 0004 Equivalence checking for compiler transformations in behavioral synthesis. 491-494 2013 ICCD https://doi.org/10.1109/ICCD.2013.6657090 https://doi.ieeecomputersociety.org/10.1109/ICCD.2013.6657090 conf/iccd/2013 db/conf/iccd/iccd2013.html#YangHCRX13 Zhenkun Yang A Scalable, Continuously Available Database System Based on Commodity Hardware. 3 2013 WAIM Workshops https://doi.org/10.1007/978-3-642-39527-7_2 conf/waim/2013w db/conf/waim/waimw2013.html#Yang13

Zhaohui Gan Zhenkun Yang Tao Shang Tianyou Yu Min Jiang Automated synthesis of passive analog filters using graph representation. 1887-1898 2010 37 Expert Syst. Appl. 3 https://doi.org/10.1016/j.eswa.2009.07.013 db/journals/eswa/eswa37.html#GanYSYJ10

Zhaohui Gan Zhenkun Yang Gaobin Li Min Jiang Automatic Synthesis of Practical Passive Filters Using Clonal Selection Principle-Based Gene Expression Programming. 89-99 2007 conf/ices/2007 ICES https://doi.org/10.1007/978-3-540-74626-3_9 db/conf/ices/ices2007.html#GanYLJ07 Min Jiang Zhenkun Yang Zhaohui Gan Optimal Components Selection for Analog Active Filters Using Clonal Selection Algorithms. 950-959 2007 conf/icic/2007-1 ICIC (1) https://doi.org/10.1007/978-3-540-74171-8_96 db/conf/icic/icic2007-1.html#JiangYG07 Zhaohui Gan Zhenkun Yang Gaobin Li Min Jiang Automatic Modeling of Complex Functions with Clonal Selection-Based Gene Expression Programming. 228-232 2007 ICNC (4) https://doi.org/10.1109/ICNC.2007.278 https://doi.ieeecomputersociety.org/10.1109/ICNC.2007.278 conf/icnc/2007-4 db/conf/icnc/icnc2007-4.html#GanYLJ07 Tashfia Alam Jing An Jing An 0001 Nicholas Armour Suvadeep Banerjee Steven M. BurnsSteve Burns 0002 Hui Cao Jeremy Casas Bin Chen Bo Chen Bo Chen 0008 Hongzheng Chen Jinchao Chen Junquan Chen Shining Chen Wenji Chen Bin Cheng 0008 Xiaojun Cheng Pasquale Cocchini Kai Cong Abhijit Davare Chenglie Du Chenguang Fang Zhaohui Gan Adwait Godbole Fusheng Han Kecheng Hao Christopher Havlicek Bin He 0003 Daokun Hu Shweta Jain 0005 Debin Jia Min Jiang Raghudeep Kannavara Desmond Kirkpatrick Fanyu Kong Fanyu Kong 0004 Yi-Hsiang Lai Li Lei Gang Li 0020 Gaobin Li Junjie Li Wenjie Li Xiang Li 0206 Jing J. Liang Yuefeng Liao Zhi-gang Liao Bin Lin Wei Lin Bin Liu Hao Liu Tianyu Liu 0003 Jitao Lu Ping Lu 0013 Hao Luo 0003 Xianghua Ma Feiping Nie 0001 Debjit Pal Yi Pan 0001 Louis-Noël Pouchet Chen Qian Sandip Ray Tao Shang Wenhui Shi Anton Sorokin Tongfei Sun Shuning Tao Xuwang Teng Wei Tian Yuriy Viktorov Jialu Wang Kefan Wang Qin Wang Sen Wang Wen Wang Yanzhao Wang Zeyu Wang Bin Wei Danyang Wu Gang Wu Huan Wu Huafeng Xi Shaojie Xiang Fei Xie Fei Xie 0004 Guo Xu Jin Xu 0014 Quanqing Xu Xiangmin Xu Bing Yang Chuanhui Yang Duo Yang 0007 Jin Yang 0006 Qi Yang Zhifeng Yang Jiewen Yao Boxue Yin Huang Yu Tianyou Yu Zhoutong Yuan Tao Zhan Niansong Zhang Pengpeng Zhang Zhiru Zhang Yuzhong Zhao Jianfeng Zhou Mingqiang Zhuang Vincent Zimmer