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.
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.
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.
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.
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.
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.
Jeffrey Dean & Sanjay Ghemawat (2004):
MapReduce: Simplified Data Processing on Large Clusters.
In: OSDI.
USENIX Association,
pp. 137–150,
doi:10.1145/1327452.1327492.
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.
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.
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.
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.
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.
A. Kuehlmann & F. Krohm (1997):
Equivalence checking using cuts and heaps.
In: DAC.
IEEE,
pp. 263–268,
doi:10.1145/266021.266090.
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.
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.
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.
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.
Calvin Smith & Aws Albarghouthi (2016):
MapReduce program synthesis.
In: PLDI.
ACM,
pp. 326–340,
doi:10.1145/2908080.2908102.
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.
Emina Torlak & Rastislav Bodík (2013):
Growing solver-aided languages with Rosette.
In: Onward!.
ACM,
pp. 135–152,
doi:10.1145/2509578.2509586.
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.
Martin T. Vechev & Eran Yahav (2008):
Deriving linearizable fine-grained concurrent objects.
In: PLDI.
ACM,
pp. 125–135,
doi:10.1145/1375581.1375598.
eptcs@eptcs.org