Boosting Component-based Synthesis with API Usage KnowledgeWorkshop
Component-based synthesis is one of the hottest research areas in automated software engineering. It aims to generate programs from a collection of components like Java library. However, the program space constituted by all the components in the library is fairly large, which leads to a vast number of candidate programs generated for a long time. The intractability of the program space affects the synthesis efficiency of the program and the size of the program generated. In this paper, we propose Itas, a framework of iterative program synthesis via API usage knowledge from the Internet, which can significantly improve the efficiency of program synthesis. Itas aims to constrain the program space by combining two main ideas. First, narrow down the program space from the outside via the guidance of API usage knowledge. Second, expand the program space from the inside via iterative strategy based on knowledge. For evaluation, we collect a set of programming tasks and compare our approach with a program synthesis tool on synthesizing these tasks. The experiment results show that Itas can significantly improve the efficiency of program synthesis, which can reduce the synthesis time by 97.1% than the original synthesizer.
Fri 25 SepDisplayed time zone: (UTC) Coordinated Universal Time change
08:00 - 10:35 | International Workshop on Software Engineering Automation: A Natural Language Perspective[Workshop] NLP-SEA at Kangaroo Chair(s): Sajid Anwer , Abdul Rauf RISE Research Institutes of Sweden, Mehrdad Saadatmand RISE SICS | ||
08:00 15mTalk | Boosting Component-based Synthesis with API Usage KnowledgeWorkshop [Workshop] NLP-SEA Jiaxin Liu National University of Defense Technology, Wei Dong School of Computer, National University of Defense Technology, China, Binbin Liu National University of Defense Technology | ||
08:20 15mTalk | Collective Intelligence for Smarter Neural Program SynthesisWorkshop [Workshop] NLP-SEA Daiyan Wang National University of Defense Technology, Wei Dong School of Computer, National University of Defense Technology, China, Yating Zhang National University of Defense Technology | ||
08:40 15mTalk | Predicting Software Design Patterns from Text using NeuralEmbeddingWorkshop [Workshop] NLP-SEA | ||
09:00 15mTalk | NLP-based Enhancement of Information Security in ITO Service Delivery – A Diffusion of Innovation Theory perspectiveWorkshop [Workshop] NLP-SEA Baber Majid Bhatti University of South Australia | ||
09:20 15mTalk | AutoEPRS-20: Extracting Business Process Redesign Suggestions from Natural Language TextWorkshop [Workshop] NLP-SEA Amina Mustansir PUCIT, University of the Punjab, Khurram Shahzad PUCIT, University of the Punjab, Muhammad Kamran Malik PUCIT, University of the Punjab | ||
09:40 15mTalk | Emotion Detection in Roman Urdu Text using Machine LearningWorkshop [Workshop] NLP-SEA Adil Majeed National University of Computer and Emerging Sciences, Islamabad, Pakistan, Hasan Mujtaba National University of Computer and Emerging Sciences, Islamabad, Pakistan, Mirza Omer Beg National University of Computer and Emerging Sciences, Islamabad, Pakistan | ||
10:00 15mTalk | Mapping Textual Feedback to Process Model ElementsWorkshop [Workshop] NLP-SEA Sanam Ahmed Punjab University College of Information Technology , University of the Punjab, Amina Mustansir PUCIT, University of the Punjab | ||
10:20 15mTalk | Roman Urdu Reviews Dataset for Aspect Based Opinion MiningWorkshop [Workshop] NLP-SEA Rabail Zahid National University of Computer and Emerging Sciences, Islamabad, Pakistan, Muhammad Owais Idrees National University of Computer and Emerging Sciences, Islamabad, Pakistan, Hasan Mujtaba National University of Computer and Emerging Sciences, Islamabad, Pakistan, Mirza Omer Beg National University of Computer and Emerging Sciences, Islamabad, Pakistan | ||