Async Synthesis Interface