1. Umut A Acar . 2005. Self-adjusting computation. Ph. D. Dissertation . Carnegie Mellon University . Umut A Acar. 2005. Self-adjusting computation. Ph. D. Dissertation. Carnegie Mellon University.
2. Syntax-guided synthesis
3. Thomas H. Cormen , Charles E. Leiserson , Ronald L. Rivest , and Clifford Stein . 2009. Introduction to Algorithms , 3 rd Edition. MIT Press . isbn:978-0-262-03384-8 http://mitpress.mit.edu/books/introduction-algorithms Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest, and Clifford Stein. 2009. Introduction to Algorithms, 3rd Edition. MIT Press. isbn:978-0-262-03384-8 http://mitpress.mit.edu/books/introduction-algorithms
4. Synthesis of divide and conquer parallelism for loops
5. Automating string processing in spreadsheets using input-output examples