We will discuss the following issues:
- Construction costs
- Scaling up for real synthesized codes
- Ad hoc knowledge vs. algorithms
- Coding vs. specifying optimization tasks
- Knowledge acquisition tools vs. knowledge capture
- Leveraging the synthesis tools
- Testing system robustness
We first sketch Sinapse to provide necessary background.