52 citations · 120 across the 14 of their papers we have counts for
1 paper · 1 filter
Ashish Mishra, Suresh Jagannathan
Component-based synthesis seeks to build programs using the APIs provided by a set of libraries. Oftentimes, these APIs have effects, which make it challenging to reason about the…