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