Modularly Certified Dynamic Storage Allocation in SCAP. - Sen Xiang; Yiyun Chen; Chunxiao Lin; Long Li (QSIC, 2006)

A general framework for certifying garbage collectors and their mutators. - Andrew McCreight; Zhong Shao 001; Chunxiao Lin; Long Li (PLDI, 2007)

A Certified Thread Library for Multithreaded User Programs. - Yu Guo; Xinyu Jiang; Yiyun Chen; Chunxiao Lin (TASE, 2007)

Foundational Typed Assembly Language with Certified Garbage Collection. - Chunxiao Lin; Andrew McCreight; Zhong Shao 001; Yiyun Chen; Yu Guo (TASE, 2007)

Garbage Collector Verification for Proof-Carrying Code. - Chunxiao Lin; Yiyun Chen; Long Li; Bei Hua (J. Comput. Sci. Technol., 2007)

Verification of an Incremental Garbage Collector in Hoare-Style Logic. - Chunxiao Lin; Yiyun Chen; Bei Hua (Int. J. Softw. Informatics, 2009)

GF-Flush: A GF(2) Algebraic Attack on Dynamically Secured Scan Chains. - Dake Chen; Chunxiao Lin; Peter A. Beerel (DFT, 2021)

GF-Flush: A GF(2) Algebraic Attack on Secure Scan Chains. - Dake Chen; Chunxiao Lin; Peter A. Beerel (CoRR, 2021)

FPGA-based Reservoir Computing with Optimized Reservoir Node Architecture. - Chunxiao Lin; Yibin Liang; Yang Yi 002 (ISQED, 2022)

Invited Paper: Accelerating Next-G Wireless Communications with FPGA-Based AI Accelerators. - Chunxiao Lin; Muhammad Farhan Azmine; Yang Yi 002 (ICCAD, 2023)

Leveraging neuro-inspired AI accelerator for high-speed computing in 6G networks. - Chunxiao Lin; Muhammad Farhan Azmine; Yibin Liang; Yang Yi 002 (Frontiers Comput. Neurosci., 2024)