Wei Chen
Orcid: 0000-0003-0335-5002Affiliations:
- Hong Kong University of Science and Technology, Hong Kong, SAR, China
According to our database1,
Wei Chen
authored at least 2 papers
between 2024 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2025
Seal: Towards Diverse Specification Inference for Linux Interfaces from Security Patches.
Proceedings of the Twentieth European Conference on Computer Systems, 2025
2024
SIRO: Empowering Version Compatibility in Intermediate Representations via Program Synthesis.
Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2024