https://hal.inria.fr/hal-03434779Seenuvasan, JayasuryaJayasuryaSeenuvasanPES University [Bengaluru]Prasad, ShaliniShaliniPrasadPES University [Bengaluru]Kumar, N.N.KumarPES University [Bengaluru]Program Synthesis: Synthesizing Operators for Integer ManipulationHAL CCSD2020Program synthesisGenetic AlgorithmPROSEArithmetic operations[INFO] Computer Science [cs]Ifip, HalAravindan ChandraboseUlrich FurbachAshish GhoshAnand Kumar M.2021-11-18 14:20:182021-11-18 14:32:142021-11-18 14:32:14enConference papershttps://hal.inria.fr/hal-03434779/document10.1007/978-3-030-63467-4_26application/pdf1We describe a language to synthesize a linear sequence of arithmetic operations for integer manipulation. Given an input-output example, our language synthesizes a set of operators to be applied to the input integers to obtain the given output. The sequence is generated by using Microsoft Prose, a program synthesis framework and the Genetic Algorithm. Our approach generates a set of ranked solutions that can be made unique on additional input-output examples that are consistent.