- Alur, R. et al. Syntax-guided synthesis. In Proceedings of 2013 FMCAD.Google Scholar
- Bjørner, N. Taking satisfiability to next level with Z3. In Proceedings of 2012 IJCAR. Google ScholarDigital Library
- Gulwani, S. Dimensions in program synthesis. In Proceedings of 2010 PPDP. Google ScholarDigital Library
- Gulwani, A., Harris, W., and Singh, R. Spreadsheet data manipulation using examples. Commun. ACM, (2012). Google ScholarDigital Library
- Solar-Lezama, A. Program Synthesis by Sketching. Ph.D. thesis, UC Berkeley, 2008. Google ScholarDigital Library
Index Terms
- Technical Perspective: Program synthesis using stochastic techniques
Recommendations
Algorithmic program synthesis: introduction
Program synthesis is a process of producing an executable program from a specification. Algorithmic synthesis produces the program automatically, without an intervention from an expert. While classical compilation falls under the definition of ...
Layout-driven RTL binding techniques for high-level synthesis
ISSS '96: Proceedings of the 9th international symposium on System synthesisThe importance of effective and efficient accounting of layout effects is well-established in high-level synthesis (HLS), since it allows more realistic exploration of the design space and the generation of solutions with predictable metrics. This ...
From program verification to program synthesis
POPL '10This paper describes a novel technique for the synthesis of imperative programs. Automated program synthesis has the potential to make programming and the design of systems easier by allowing programs to be specified at a higher-level than executable ...
Comments