45 citations · 48 across the 8 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2024
Probabilistic Guarantees for Practical LIA Loop Invariant Automation
Ashish Kumar, Jilaun Zhang, Saeid Tizpaz-Niari +1
Despite the crucial need for formal safety and security verification of programs, discovering loop invariants remains a significant challenge. Static analysis is a primary techniqu…
cs.PL2021★ 2 cited
A Derivative-based Parser Generator for Visibly Pushdown Grammars
Xiaodong Jia, Ashish Kumar, Gang Tan
In this paper, we present a derivative-based, functional recognizer and parser generator for visibly pushdown grammars. The generated parser accepts ambiguous grammars and produces…