We stand with Ukraine  

Lin Li

Orcid: 0000-0002-6804-702X

Affiliations:
  • ShanghaiTech University, School of Information Science and Technology, China
  • Chinese Academy of Sciences, Shanghai Institute of Microsystem and Information Technology, China
  • University of Chinese Academy of Sciences, School of Electronic, Electrical and Communication Engineering, Beijing, China


According to our database1, Lin Li authored at least 5 papers between 2023 and 2026.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

Online presence:

On csauthors.net:

Bibliography

2026
ESACO: Fast E-Graph Extraction via Orchestrated Simulated Annealing-Based Local Search and Ant Colony Optimization-Based Global Search.
[BibTeX]
[DOI]
Rui Li
,
Lin Li
,
Heng Yu
,
Yajun Ha
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., May, 2026

2025
RefSCAT-2.0: Formal Verification of Large-Scale Optimized Multipliers via Quantum-Inspired Ant Colony Optimization-Based Reference Generation.
[BibTeX]
[DOI]
Rui Li
,
Lin Li
,
Heng Yu
,
Masahiro Fujita
,
Weixiong Jiang
,
Yajun Ha
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., December, 2025

RefSCAT: Formal Verification of Logic-Optimized Multipliers via Automated Reference Multiplier Generation and SCA-SAT Synergy.
[BibTeX]
[DOI]
Rui Li
,
Lin Li
,
Heng Yu
,
Masahiro Fujita
,
Weixiong Jiang
,
Yajun Ha
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., February, 2025

2023
Criticality-Aware Negotiation-Driven Scrubbing Scheduling for Reliability Maximization in SRAM-Based FPGAs.
[BibTeX]
[DOI]
Rui Li
,
Heng Yu
,
Lin Li
,
Yajun Ha
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., November, 2023

A Recursion and Lock Free GPU-Based Logic Rewriting Framework Exploiting Both Intranode and Internode Parallelism.
[BibTeX]
[DOI]
Lin Li
,
Rui Li
,
Yajun Ha
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., November, 2023


  Loading...