1. Rajeev Alur, Pavol Cerný & Arjun Radhakrishna (2015): Synthesis Through Unification. In: CAV, LNCS 9207. Springer, pp. 163–179, doi:10.1007/978-3-642-31612-8.
  2. Daniel W. Barowy, Sumit Gulwani, Ted Hart & Benjamin G. Zorn (2015): FlashRelate: extracting relational data from semi-structured spreadsheets using examples. In: PLDI. ACM, pp. 218–228, doi:10.1145/2737924.2737952.
  3. Gilles Barthe, Juan Manuel Crespo, Sumit Gulwani, César Kunz & Mark Marron (2013): From relational verification to SIMD loop synthesis. In: PPoPP. ACM, pp. 123–134, doi:10.1145/2442516.2442529.
  4. Yu-Fang Chen, Lei Song & Zhilin Wu (2016): The Commutativity Problem of the MapReduce Framework: A Transducer-Based Approach. In: CAV 9780. Springer, pp. 91–111, Part II, doi:10.1007/978-3-319-41540-6_6.
  5. Edmund M. Clarke, Daniel Kroening & Karen Yorav (2003): Behavioral consistency of C and Verilog programs using bounded model checking. In: DAC. ACM, pp. 368–371, doi:10.1145/775832.775928.
  6. Przemyslaw Daca, Thomas A. Henzinger & Andrey Kupriyanov (2016): Array Folds Logic. In: CAV 9780. Springer, pp. 230–248, Part II, doi:10.1007/978-3-319-41540-6.
  7. Jeffrey Dean & Sanjay Ghemawat (2004): MapReduce: Simplified Data Processing on Large Clusters. In: OSDI. USENIX Association, pp. 137–150, doi:10.1145/1327452.1327492.
  8. Grigory Fedyukovich, Arie Gurfinkel & Natasha Sharygina (2016): Property Directed Equivalence via Abstract Simulation. In: CAV 9780, Part II. Springer, pp. 433–453, doi:10.1007/978-3-319-41540-6.
  9. John K. Feser, Swarat Chaudhuri & Isil Dillig (2015): Synthesizing data structure transformations from input-output examples. In: PLDI. ACM, pp. 229–239, doi:10.1145/2737924.2737977.
  10. Benny Godlin & Ofer Strichman (2009): Regression verification. In: DAC. ACM, pp. 466–471, doi:10.1145/1629911.1630034.
  11. Sumit Gulwani, William R. Harris & Rishabh Singh (2012): Spreadsheet data manipulation using examples. Commun. ACM 55(8), pp. 97–105, doi:10.1145/2240236.2240260.
  12. Michael Isard, Mihai Budiu, Yuan Yu, Andrew Birrell & Dennis Fetterly (2007): Dryad: distributed data-parallel programs from sequential building blocks. In: EuroSys. ACM, pp. 59–72, doi:10.1145/1272996.1273005.
  13. Peter M. Kogge (1974): Parallel Solution of Recurrence Problems. IBM Journal of Research and Development 18(2), pp. 138–148, doi:10.1147/rd.182.0138.
  14. A. Kuehlmann & F. Krohm (1997): Equivalence checking using cuts and heaps. In: DAC. IEEE, pp. 263–268, doi:10.1145/266021.266090.
  15. Shuvendu K. Lahiri, Chris Hawblitzel, Ming Kawaguchi & Henrique Rebêlo (2012): SYMDIFF: A Language-Agnostic Semantic Diff Tool for Imperative Programs. In: CAV, LNCS 7358, pp. 712–717, doi:10.1007/978-3-642-31424-7_54.
  16. Cosmin Radoi, Stephen J. Fink, Rodric M. Rabbah & Manu Sridharan (2014): Translating imperative code to MapReduce. In: OOPSLA. ACM, pp. 909–927, doi:10.1145/2660193.2660228.
  17. Veselin Raychev, Madanlal Musuvathi & Todd Mytkowicz (2015): Parallelizing user-defined aggregations using symbolic execution. In: SOSP. ACM, pp. 153–167, doi:10.1145/2815400.2815418.
  18. Rahul Sharma, Eric Schkufza, Berkeley R. Churchill & Alex Aiken (2013): Data-driven equivalence checking. In: OOPSLA. ACM, pp. 391–406, doi:10.1145/2509136.2509509.
  19. Calvin Smith & Aws Albarghouthi (2016): MapReduce program synthesis. In: PLDI. ACM, pp. 326–340, doi:10.1145/2908080.2908102.
  20. Armando Solar-Lezama, Liviu Tancau, Rastislav Bodík, Sanjit A. Seshia & Vijay A. Saraswat (2006): Combinatorial sketching for finite programs. In: ASPLOS. ACM, pp. 404–415, doi:10.1145/1168857.1168907.
  21. Emina Torlak & Rastislav Bodík (2013): Growing solver-aided languages with Rosette. In: Onward!. ACM, pp. 135–152, doi:10.1145/2509578.2509586.
  22. Emina Torlak & Rastislav Bodík (2014): A lightweight symbolic virtual machine for solver-aided host languages. In: PLDI. ACM, pp. 54, doi:10.1145/2594291.2594340.
  23. Martin T. Vechev & Eran Yahav (2008): Deriving linearizable fine-grained concurrent objects. In: PLDI. ACM, pp. 125–135, doi:10.1145/1375581.1375598.
  24. Tom White (2009): Hadoop - The Definitive Guide: MapReduce for the Cloud. O'Reilly. Available at
  25. Zhilei Xu, Shoaib Kamil & Armando Solar-Lezama (2014): MSL: A Synthesis Enabled Language for Distributed Implementations. In: SC. IEEE, pp. 311–322, doi:10.1109/SC.2014.31.
  26. Matei Zaharia, Mosharaf Chowdhury, Tathagata Das, Ankur Dave, Justin Ma, Murphy McCauly, Michael J. Franklin, Scott Shenker & Ion Stoica (2012): Resilient Distributed Datasets: A Fault-Tolerant Abstraction for In-Memory Cluster Computing. In: NSDI. USENIX Association, pp. 15–28.

Comments and questions to:
For website issues: