Chunxiao Lin

According to our database, Chunxiao Lin authored at least 10 papers between 2006 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Invited Paper: Accelerating Next-G Wireless Communications with FPGA-Based AI Accelerators.

Chunxiao Lin, Muhammad Farhan Azmine, Yang Yi

Proceedings of the IEEE/ACM International Conference on Computer Aided Design, 2023

2022

FPGA-based Reservoir Computing with Optimized Reservoir Node Architecture.

Chunxiao Lin, Yibin Liang, Yang Yi

Proceedings of the 23rd International Symposium on Quality Electronic Design, 2022

2021

GF-Flush: A GF(2) Algebraic Attack on Secure Scan Chains.

Dake Chen, Chunxiao Lin, Peter A. Beerel

CoRR, 2021

GF-Flush: A GF(2) Algebraic Attack on Dynamically Secured Scan Chains.

Dake Chen, Chunxiao Lin, Peter A. Beerel

Proceedings of the 36th IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems, 2021

2009

Verification of an Incremental Garbage Collector in Hoare-Style Logic.

Chunxiao Lin, Yiyun Chen, Bei Hua

Int. J. Softw. Informatics, 2009

2007

Garbage Collector Verification for Proof-Carrying Code.

Chunxiao Lin, Yiyun Chen, Long Li, Bei Hua

J. Comput. Sci. Technol., 2007

Foundational Typed Assembly Language with Certified Garbage Collection.

Chunxiao Lin, Andrew McCreight, Zhong Shao, Yiyun Chen, Yu Guo

Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, 2007

A Certified Thread Library for Multithreaded User Programs.

Yu Guo, Xinyu Jiang, Yiyun Chen, Chunxiao Lin

Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, 2007

A general framework for certifying garbage collectors and their mutators.

Andrew McCreight, Zhong Shao, Chunxiao Lin, Long Li

Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 2007

2006

Modularly Certified Dynamic Storage Allocation in SCAP.

Sen Xiang, Yiyun Chen, Chunxiao Lin, Long Li

Proceedings of the Sixth International Conference on Quality Software (QSIC 2006), 2006