3 papers
math.NA2024
Computational Graph Representation of Equations System Constructors in Hierarchical Circuit Simulation
Zichao Long, Lin Li, Lei Han +10
Equations system constructors of hierarchical circuits play a central role in device modeling, nonlinear equations solving, and circuit design automation. However, existing constru…
cs.CR2023
CompVPD: Iteratively Identifying Vulnerability Patches Based on Human Validation Results with a Precise Context
Tianyu Chen, Lin Li, Taotao Qian +6
Applying security patches in open source software timely is critical for ensuring the security of downstream applications. However, it is challenging to apply these patches promptl…
cs.CR2023
Identifying Vulnerable Third-Party Java Libraries from Textual Descriptions of Vulnerabilities and Libraries
Tianyu Chen, Lin Li, Bingjie Shan +4
To address security vulnerabilities arising from third-party libraries, security researchers maintain databases monitoring and curating vulnerability reports. Application developer…