Paper Accepted by SPLASH (LMPL) 2025

Our position paper has been accepted for presentation at SPLASH (LMPL) 2025.

Our position paper titled “Preguss: It Analyzes, It Specifies, It Verifies” by Zhongyi Wang, Tengjie Lin, Mingshuai Chen, Mingqi Yang, Haokun Li (Fermat Labs, Huawei Inc.), Xiao Yi (Fermat Labs, Huawei Inc.), Shengchao Qin (Fermat Labs, Huawei Inc.), and Jianwei Yin has been accepted for presentation at SPLASH (LMPL) 2025 – the ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity (Workshop on Language Models and Programming Languages) at Singapore. This position paper outlines Preguss – a modular, fine-grained framework for automating the generation and refinement of formal specifications; It synergizes between static analysis and deductive verification by leveraging the comprehension, reasoning, and generative capabilities of large language models.