Shengchao Qin -

Registered user since Wed 5 Jan 2022

Name:Shengchao Qin

Country:China

Affiliation:Xidian University

Personal website: https://scqin.github.io/publication.html

Research interests:Formal Methods, Software Engineering, Programming Languages

Contributions

2025

LMPL

Author of Preguss: It Analyzes, It Specifies, It Verifies within the LMPL 2025-track

ASE

Author of Bridging Natural Language and Formal Specification - Automated Translation of Software Requirements to LTL via Hierarchical Semantics Decomposition Using LLMs within the Research Papers-track

ICSE

2024

ASE

Author of Parf: Adaptive Parameter Tuning for Abstract Interpretation within the Research Papers-track

ICSE

2022

ICSE

Author of Controlled Concurrency Testing via Periodical Scheduling within the Technical Track-track