default search action
Zhenkun Yang
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j9]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. Proc. VLDB Endow. 17(12): 3745-3758 (2024) - [j8]Jin Yang
, Zhenkun Yang
Correct-by-Construction Design of Custom Accelerator Microarchitectures. IEEE Trans. Computers 73(1): 278-291 (2024) - 2023
- [j7]Zhenkun Yang
Multigrained Hybrid Neural Network for Rotating Machinery Fault Diagnosis Using Joint Local and Global Information. IEEE Trans. Instrum. Meas. 72: 1-13 (2023) - [c29]Yanzhao Wang
An Equivalence Checking Framework for Agile Hardware Design. ASP-DAC 2023: 26-32 - [c28]Jeremy Casas, Zhenkun Yang, Wen Wang, Jin Yang, Adwait Godbole:
Towards A Formally Verified Fully Homomorphic Encryption Compute Engine. DAC 2023: 1-6 - [c27]Jin Yang, Jeremy Casas, Zhenkun Yang:
Invited: A Scalable Formal Approach for Correctness-Assured Hardware Design. DAC 2023: 1-4 - [c26]Yanzhao Wang, Fei Xie, Zhenkun Yang, Jeremy Casas, Pasquale Cocchini, Jin Yang:
An Automated Verification Framework for HalideIR-Based Compiler Transformations. DATE 2023: 1-6 - [c25]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: 197-202 - [c24]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: 151-163 - [c23]Huan Wu, Fei Xie, Zhenkun Yang:
Certifying Sequential Consistency of Machine Learning Accelerators. ICFEM 2023: 156-171 - [i4]Zhenkun Yang, Wen Wang, Jeremy Casas, Pasquale Cocchini, Jin Yang:
Towards A Correct-by-Construction FHE Model. IACR Cryptol. ePrint Arch. 2023: 281 (2023) - 2022
- [j6]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): 3385-3397 (2022) - [c22]Tashfia Alam, Zhenkun Yang, Bo Chen, Nicholas Armour, Sandip Ray:
FirVer: Concolic Testing for Systematic Validation of Firmware Binaries. ASP-DAC 2022: 352-357 - [c21]Debjit Pal, Yi-Hsiang Lai, Shaojie Xiang, Niansong Zhang
Accelerator design with decoupled hardware customizations: benefits and challenges: invited. DAC 2022: 1351-1354 - [c20]Junjie Li, Tongfei Sun, Zhenkun Yang, Zhoutong Yuan:
Methods and Datasets of Text to Image Synthesis Based on Generative Adversarial Network. ICISCAE 2022: 843-847 - 2021
- [j5]Xianghua Ma
Multiscale Feature Filtering Network for Image Recognition System in Unmanned Aerial Vehicle. Complex. 2021: 6663851:1-6663851:11 (2021) - [j4]Zhenkun Yang, Xianghua Ma, Kefan Wang, Jing An
Dense short connection network for efficient image classification. Concurr. Comput. Pract. Exp. 33(10) (2021) - [i3]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 abs/2111.15024 (2021) - 2020
- [j3]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): 194-203 (2020) - [c19]Zhenkun Yang, Xianghua Ma, Jing An:
Asymmetric Convolution Networks Based on Multi-feature Fusion for Object Detection. CASE 2020: 1355-1360 - [c18]Zhenkun Yang, Yuriy Viktorov, Jin Yang, Jiewen Yao, Vincent Zimmer
UEFI Firmware Fuzzing with Simics Virtual Platform. DAC 2020: 1-6 - [c17]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: 172-183
2010 – 2019
- 2019
- [c16]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: 1-8 - [c15]Tianyu Liu, Hao Luo
A Novel Data-Driven Fault Classification Method and its Application to DC Motor. ICIT 2019: 1261-1266 - [i2]Li Lei, Kai Cong, Zhenkun Yang, Bo Chen, Fei Xie:
Hardware/Software Co-monitoring. CoRR abs/1905.03915 (2019) - 2018
- [c14]Bo Chen
CRETE: A Versatile Binary-Level Concolic Testing Framework. FASE 2018: 281-298 - [c13]Bin Lin, Kai Cong, Zhenkun Yang, Zhi-gang Liao, Tao Zhan, Christopher Havlicek, Fei Xie:
Concolic testing of SystemC designs. ISQED 2018: 1-7 - 2016
- [j2]Jinchao Chen
Schedulability analysis of non-preemptive strictly periodic tasks in multi-core real-time systems. Real Time Syst. 52(3): 239-271 (2016) - [c12]Bin Lin, Zhenkun Yang, Kai Cong, Fei Xie:
Generating high coverage tests for SystemC designs using symbolic execution. ASP-DAC 2016: 166-171 - [c11]Zhenkun Yang, Kecheng Hao, Kai Cong, Li Lei, Sandip Ray, Fei Xie:
Validating scheduling transformation for behavioral synthesis. DATE 2016: 1652-1657 - [i1]Kai Cong, Li Lei, Zhenkun Yang, Fei Xie:
OpenRISC System-on-Chip Design Emulation. CoRR abs/1602.03095 (2016) - 2015
- [c10]Kai Cong, Li Lei, Zhenkun Yang, Fei Xie:
Automatic fault injection for driver robustness testing. ISSTA 2015: 361-372 - 2014
- [c9]Zhenkun Yang, Kecheng Hao, Kai Cong, Li Lei, Sandip Ray, Fei Xie:
Scalable Certification Framework for Behavioral Synthesis Front-End. DAC 2014: 149:1-149:6 - [c8]Kai Cong, Li Lei, Zhenkun Yang, Fei Xie:
Coverage evaluation of post-silicon validation tests with virtual prototypes. DATE 2014: 1-6 - [c7]Li Lei, Kai Cong, Zhenkun Yang, Fei Xie:
Validating direct memory access interfaces with conformance checking. ICCAD 2014: 9-16 - 2013
- [c6]Zhenkun Yang, Sandip Ray, Kecheng Hao, Fei Xie:
Handling design and implementation optimizations in equivalence checking for behavioral synthesis. DAC 2013: 117:1-117:6 - [c5]Zhenkun Yang, Kecheng Hao, Kai Cong, Sandip Ray, Fei Xie:
Equivalence checking for compiler transformations in behavioral synthesis. ICCD 2013: 491-494 - [c4]Zhenkun Yang:
A Scalable, Continuously Available Database System Based on Commodity Hardware. WAIM Workshops 2013: 3 - 2010
- [j1]Zhaohui Gan, Zhenkun Yang, Tao Shang, Tianyou Yu, Min Jiang:
Automated synthesis of passive analog filters using graph representation. Expert Syst. Appl. 37(3): 1887-1898 (2010)
2000 – 2009
- 2007
- [c3]Zhaohui Gan, Zhenkun Yang, Gaobin Li, Min Jiang:
Automatic Synthesis of Practical Passive Filters Using Clonal Selection Principle-Based Gene Expression Programming. ICES 2007: 89-99 - [c2]Min Jiang, Zhenkun Yang, Zhaohui Gan:
Optimal Components Selection for Analog Active Filters Using Clonal Selection Algorithms. ICIC (1) 2007: 950-959 - [c1]Zhaohui Gan, Zhenkun Yang, Gaobin Li, Min Jiang:
Automatic Modeling of Complex Functions with Clonal Selection-Based Gene Expression Programming. ICNC (4) 2007: 228-232
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-10 22:15 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: