PPaperPicks

Shengchao Qin

10 papers at tracked venues · 7 at CORE A* · active 2024–2026

DBLP profile ↗ORCID search ↗

Venues

ACL ×2ASE ×2ICSE ×2AAAI ×1EMNLP ×1FM ×1OOPSLA ×1

Frequent coauthors

Cheng Wen
×5
Cong Tian
×4
Zhongyi Wang
×2
Mingshuai Chen
×2
Haokun Li
×2
Xiao Yi
×2
Jianwei Yin
×2
Zhi Ma
×2
Xiao Liang
×2
Mengfei Yang
×2
Zhiwu Xu
×2
Jialun Cao
×2

Papers

  1. A Tale of 1001 LoC: Potential Runtime Error-Guided Specification Synthesis for Verifying Large-Scale Programs
    OOPSLA 2026 ·
    Zhongyi Wang
    ,
    Tengjie Lin
    ,
    Mingshuai Chen
    ,
    Haokun Li
    ,
    Mingqi Yang
    ,
    Xiao Yi
    , Shengchao Qin,
    Yixing Luo
    ,
    Xiaofeng Li
    ,
    Bin Gu
    ,
    Liqiang Lu
    ,
    Jianwei Yin
  2. Automated LTL Specification Generation from Industrial Aerospace Requirements
    FM 2026 ·
    Zhi Ma
    ,
    Xiao Liang
    ,
    Cheng Wen
    ,
    Rui Chen
    ,
    Bin Gu
    , Shengchao Qin,
    Cong Tian
    ,
    Mengfei Yang
  3. Formally Specifying the Intended Behavior of the Program: LLM-Driven Neuro-Symbolic Program Specification Synthesis
    ACL 2026 ·
    Cheng Wen
    ,
    Junjie Hu
    ,
    YiKun Hu
    ,
    Jie Su
    ,
    Bin Yu
    ,
    Dugang Liu
    ,
    Zhiwu Xu
    ,
    Weidi Sun
    , Shengchao Qin,
    Cong Tian
  4. Bridging Natural Language and Formal Specification-Automated Translation of Software Requirements to LTL via Hierarchical Semantics Decomposition Using LLMs
    ASE 2025 ·
    Zhi Ma
    ,
    Cheng Wen
    ,
    Zhexin Su
    ,
    Xiao Liang
    ,
    Cong Tian
    , Shengchao Qin,
    Mengfei Yang
  5. From Informal to Formal - Incorporating and Evaluating LLMs on Natural Language Requirements to Verifiable Formal Proofs
    ACL 2025 ·
    Jialun Cao
    ,
    Yaojie Lu
    ,
    Meiziniu Li
    ,
    Haoyang Ma
    ,
    Haokun Li
    ,
    Mengda He
    ,
    Cheng Wen
    ,
    Le Sun
    ,
    Hongyu Zhang
    , Shengchao Qin,
    Shing-Chi Cheung
    ,
    Cong Tian
  6. ICM-Assistant: Instruction-tuning Multimodal Large Language Models for Rule-based Explainable Image Content Moderation
    AAAI 2025 ·
    Mengyang Wu
    ,
    Yuzhi Zhao
    ,
    Jialun Cao
    ,
    Mingjie Xu
    ,
    Zhongming Jiang
    ,
    Xuehui Wang
    ,
    Qinbin Li
    ,
    Guangneng Hu
    , Shengchao Qin,
    Chi-Wing Fu
  7. KG-RAG: Enhancing GUI Agent Decision-Making via Knowledge Graph-Driven Retrieval-Augmented Generation
    EMNLP 2025 ·
    Ziyi Guan
    ,
    Jason Chun Lok Li
    ,
    Zhijian Hou
    ,
    Pingping Zhang
    ,
    Donglai Xu
    ,
    Yuzhi Zhao
    ,
    Mengyang Wu
    ,
    Jinpeng Chen
    ,
    Thanh-Toan Nguyen
    ,
    Pengfei Xian
    ,
    Wenao Ma
    , Shengchao Qin,
    Graziano Chesi
    ,
    Ngai Wong
  8. LLM-Aided Automatic Modeling for Security Protocol Verification
    ICSE 2025 ·
    Ziyu Mao
    ,
    Jingyi Wang
    ,
    Jun Sun
    , Shengchao Qin,
    Jiawen Xiong
  9. Parf: Adaptive Parameter Refining for Abstract Interpretation
    ASE 2024 ·
    Zhongyi Wang
    ,
    Linyu Yang
    ,
    Mingshuai Chen
    ,
    Yixuan Bu
    ,
    Zhiyang Li
    ,
    Qiuye Wang
    , Shengchao Qin,
    Xiao Yi
    ,
    Jianwei Yin
  10. RPG: Rust Library Fuzzing with Pool-based Fuzz Target Generation and Generic Support
    ICSE 2024 ·
    Zhiwu Xu
    ,
    Bohao Wu
    ,
    Cheng Wen
    ,
    Bin Zhang
    , Shengchao Qin,
    Mengda He