52 citations · 120 across the 14 of their papers we have counts for
1 paper · 2 filters
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…