Program Synthesis for Configuring Collaborative Solutions in Feature Models

Lecture Notes in Computer Science - On the Move to Meaningful Internet Systems: OTM 2016 Workshops ◽

10.1007/978-3-319-55961-2_10 ◽

2017 ◽

pp. 98-108 ◽

Cited By ~ 1

Author(s):

Lina Ochoa ◽

Oscar González-Rojas

Keyword(s):

Program Synthesis ◽

Feature Models

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

MbFM: A matrix-based tool for modeling and configuring feature models

2012 20th IEEE International Requirements Engineering Conference (RE) ◽

10.1109/re.2012.6345827 ◽

2012 ◽

Cited By ~ 1

Author(s):

Long Li ◽

Haiyan Zhao ◽

Wei Zhang

Keyword(s):

Feature Models

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

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

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

Anomaly detection in Context-aware Feature Models

15th International Working Conference on Variability Modelling of Software-Intensive Systems ◽

10.1145/3442391.3442405 ◽

2021 ◽

Author(s):

Jacopo Mauro

Keyword(s):

Anomaly Detection ◽

Context Aware ◽

Feature Models

Download Full-text