Hu Junjie -

Registered user since Thu 29 Jan 2026

Name:Hu Junjie

Country:China

Affiliation:Xidian University

Personal website: https://openreview.net/profile?id=%7EHu_Junjie1

Contributions

2026

ASE

Author of ACSLBench: A Verified C/ACSL Corpus and Benchmark with Compositional Call Chains for Formal Specification Synthesis within the Tools and Datasets-track

SPLASH/ISSTA

Author of Spec-Skill: A Pluggable Coding-Agent Plugin for Neuro-Symbolic Program Specification Synthesis within the Tool Demonstrations-track