Presenter Full Program · Contributors · Organizations · Search Program · My AgendaMore…Search ProgramMy AgendaSherief RedaBrown UniversityPresentationsTutorialApproximate Synthesis: State-of-the-art and Future DirectionsPresented In-Person