Researcher — paper.dinq.me

2026 顶会论文

作者位次 #2/5ACL 2026Poster· Natural Language Processing

V erilog LAVD : LLM -Aided Pattern Generation for Verilog CWE Detection

Xiang Long · Yingjie Xia · Li Kuang · Yao Wan · ZiHao Liu

摘要

LLMs often fail in hardware vulnerability detection due to the intrinsic semantic concurrency of HDLs (Hardware Description Language), where vulnerabilities arise from the interaction of multiple concurrent execution statements rather than a single sequential execution path. To address the proble...

可解释性OpenReview 项目页

作者位次 #5/5ACL 2026Findings· Findings of ACL

C ascade F ix: Multi-Location Program Repair via Cascading Planning and Generation

Huan Zhang · Li Kuang · Yang Yang · Yilei Fang · Yingjie Xia

摘要

Automated Program Repair (APR) is vital for software maintenance. Despite notable advancements, existing methods still face challenges of insufficient bug dependency modeling and inadequate global repair planning when addressing semantically complex multi-location bugs. We propose CascadeFix, a m...

推理代码可解释性OpenReview 项目页

作者位次 #3/3CCS 2026Oral· Computer & Communications Security

An Ounce of Prevention Is Worth a Pound of Cure: A Pre-filtering Framework to Against Asymmetric DoS in Group Authentication at the IoT Edge

Yizhao Zhou · Qingxiang Xu · Yingjie Xia

安全OpenReview

Yingjie Xia

获取完整研究档案

联系方式

2026 顶会论文

V erilog LAVD : LLM -Aided Pattern Generation for Verilog CWE Detection

C ascade F ix: Multi-Location Program Repair via Cascading Planning and Generation

An Ounce of Prevention Is Worth a Pound of Cure: A Pre-filtering Framework to Against Asymmetric DoS in Group Authentication at the IoT Edge

常见合作者