Lezhi Ma -

Registered user since Sun 29 Oct 2023

Name:Lezhi Ma

Contributions

2026

ASE

Author of From Vibe to Spec: An Empirical Study to Demystify Specifications in Code Generation within the Research Papers-track

Internetware

Author of ACSLAgent: Generation and Synthesis of Formal Specifications for C programs via LLM-based Agent within the New Idea-track

ICSE

Author of Temporal Specification Oriented Fuzzing for Trigger-Action-Programming Smart Home Integrations within the Research Track-track

2025

ICSE

Author of SpecGen: Automated Generation of Formal Program Specifications via Large Language Models within the Research Track-track