1 citations · 2 across the 6 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…