Chunxiao Lin

Publication Activity (10 Years)

Years Active: 2006-2023
Publications (10 Years): 4

Top Topics

Wireless Communication

Hardware Architectures

Top Venues

Publications

Chunxiao Lin, Muhammad Farhan Azmine, Yang Yi
Invited Paper: Accelerating Next-G Wireless Communications with FPGA-Based AI Accelerators. ICCAD (2023)
Chunxiao Lin, Yibin Liang, Yang Yi
FPGA-based Reservoir Computing with Optimized Reservoir Node Architecture. ISQED (2022)
Dake Chen, Chunxiao Lin, Peter A. Beerel
GF-Flush: A GF(2) Algebraic Attack on Secure Scan Chains. CoRR (2021)
Dake Chen, Chunxiao Lin, Peter A. Beerel
GF-Flush: A GF(2) Algebraic Attack on Dynamically Secured Scan Chains. DFT (2021)
Chunxiao Lin, Yiyun Chen, Bei Hua
Verification of an Incremental Garbage Collector in Hoare-Style Logic. Int. J. Softw. Informatics 3 (1) (2009)
Chunxiao Lin, Andrew McCreight, Zhong Shao, Yiyun Chen, Yu Guo
Foundational Typed Assembly Language with Certified Garbage Collection. TASE (2007)
Chunxiao Lin, Yiyun Chen, Long Li, Bei Hua
Garbage Collector Verification for Proof-Carrying Code. J. Comput. Sci. Technol. 22 (3) (2007)
Andrew McCreight, Zhong Shao, Chunxiao Lin, Long Li
A general framework for certifying garbage collectors and their mutators. PLDI (2007)
Yu Guo, Xinyu Jiang, Yiyun Chen, Chunxiao Lin
A Certified Thread Library for Multithreaded User Programs. TASE (2007)
Sen Xiang, Yiyun Chen, Chunxiao Lin, Long Li
Modularly Certified Dynamic Storage Allocation in SCAP. QSIC (2006)