1 citations · 1 across the 3 of their papers we have counts for
3 papers
cs.PL2026
Liquid Tree Automata
Ashish Mishra, Suresh Jagannathan
Component-based synthesis (CBS) generates loop-free programs from library components to satisfy logical queries. While expressive specifications and precise queries simplify the so…
cs.PL2025
Close is Good Enough: Component-Based Synthesis Modulo Logical Similarity
Ashish Mishra, Suresh Jagannathan
Component-based synthesis (CBS) aims to generate loop-free programs from a set of libraries whose methods are annotated with specifications and whose output must satisfy a set of l…
cs.PL2025★ 1 cited
We've Got You Covered: Type-Guided Repair of Incomplete Input Generators
Patrick LaFontaine, Zhe Zhou, Ashish Mishra +2
Property-based testing (PBT) is a popular technique for automatically testing semantic properties of a program, specified as a pair of pre- and post-conditions. The efficacy of thi…