MuSynth: Program Synthesis via Code Reuse and Code Manipulation

Search Based Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-319-66299-2_8 ◽

2017 ◽

pp. 117-123

Author(s):

Vineeth Kashyap ◽

Rebecca Swords ◽

Eric Schulte ◽

David Melski

Keyword(s):

Program Synthesis ◽

Code Reuse

Download Full-text

Iterative Macro-Operators Revisited: Applying Program Synthesis to Learning in Planning

10.21236/ada363524 ◽

1999 ◽

Author(s):

Ute Schmid

Keyword(s):

Program Synthesis

Download Full-text

Accelerating search-based program synthesis using learned probabilistic models

ACM SIGPLAN Notices ◽

10.1145/3296979.3192410 ◽

2018 ◽

Vol 53 (4) ◽

pp. 436-449 ◽

Cited By ~ 3

Author(s):

Woosuk Lee ◽

Kihong Heo ◽

Rajeev Alur ◽

Mayur Naik

Keyword(s):

Probabilistic Models ◽

Program Synthesis

Download Full-text

Reconciling enumerative and deductive program synthesis

Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation ◽

10.1145/3385412.3386027 ◽

2020 ◽

Cited By ~ 2

Author(s):

Kangjing Huang ◽

Xiaokang Qiu ◽

Peiyuan Shen ◽

Yanjun Wang

Keyword(s):

Program Synthesis ◽

Deductive Program Synthesis

Download Full-text

Ornaments: exploiting parametricity for safer, more automated code refactorization and code reuse (invited talk)

ACM SIGPLAN Notices ◽

10.1145/3156695.3127333 ◽

2017 ◽

Vol 52 (10) ◽

pp. 1-1 ◽

Cited By ~ 1

Author(s):

Didier Rémy

Keyword(s):

Code Reuse

Download Full-text

FlashMeta: a framework for inductive program synthesis

ACM SIGPLAN Notices ◽

10.1145/2858965.2814310 ◽

2015 ◽

Vol 50 (10) ◽

pp. 107-126 ◽

Cited By ~ 11

Author(s):

Oleksandr Polozov ◽

Sumit Gulwani

Keyword(s):

Program Synthesis

Download Full-text

Benchmarking parent selection for program synthesis by genetic programming

Proceedings of the 2020 Genetic and Evolutionary Computation Conference Companion ◽

10.1145/3377929.3389987 ◽

2020 ◽

Author(s):

Thomas Helmuth ◽

Amr Abdelhady

Keyword(s):

Genetic Programming ◽

Program Synthesis ◽

Parent Selection ◽

Selection For

Download Full-text

Borrowing your enemy’s arrows: the case of code reuse in Android via direct inter-app code invocation

Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering ◽

10.1145/3368089.3409745 ◽

2020 ◽

Author(s):

Jun Gao ◽

Li Li ◽

Pingfan Kong ◽

Tegawendé F. Bissyandé ◽

Jacques Klein

Keyword(s):

Code Reuse ◽

Direct Inter

Download Full-text

Learning Network Design Objectives Using A Program Synthesis Approach

Proceedings of the 18th ACM Workshop on Hot Topics in Networks - HotNets '19 ◽

10.1145/3365609.3365861 ◽

2019 ◽

Cited By ~ 1

Author(s):

Yanjun Wang ◽

Chuan Jiang ◽

Xiaokang Qiu ◽

Sanjay G. Rao

Keyword(s):

Network Design ◽

Program Synthesis ◽

Learning Network ◽

Synthesis Approach

Download Full-text

Combining the top-down propagation and bottom-up enumeration for inductive program synthesis

Proceedings of the ACM on Programming Languages ◽

10.1145/3434335 ◽

2021 ◽

Vol 5 (POPL) ◽

pp. 1-28

Author(s):

Woosuk Lee

Keyword(s):

Program Synthesis ◽

Top Down ◽

Bottom Up

Download Full-text

Question selection for interactive program synthesis

Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation ◽

10.1145/3385412.3386025 ◽

2020 ◽

Author(s):

Ruyi Ji ◽

Jingjing Liang ◽

Yingfei Xiong ◽

Lu Zhang ◽

Zhenjiang Hu

Keyword(s):

Program Synthesis ◽

Interactive Program ◽

Question Selection ◽

Selection For

Download Full-text