activity
20242026
most citedHow to Save My Gas Fees: Understanding and Detecting Real-world Gas Issues in Solidity Programs

3 citations · 5 across the 5 of their papers we have counts for

collaborators
Showing cs.PLShow all

1 paper · 1 filter

cs.PL2026

Doc2Spec: Synthesizing Formal Programming Specifications from Natural Language via Grammar Induction

Shihao Xia, Mengting He, Haomin Jia +2

Ensuring that API implementations and usage comply with natural language programming rules is critical for software correctness, security, and reliability. Formal verification can…