TransRegex: Multi-modal Regular Expression Synthesis by Generate-and-RepairTechnical Track
Thu 27 May 2021 01:15 - 01:35 at Blended Sessions Room 4 - 2.2.4. Programming: General Issues
Since regular expressions (abbrev. regexes) are difficult to understand and compose, automatically generating regexes has been an important research problem. This paper introduces TransRegex, for automatically constructing regexes from both natural language descriptions and examples. To the best of our knowledge, TransRegex is the first to treat the NLP-and-example-based regex synthesis problem as the problem of NLP-based synthesis with regex repair. For this purpose, we present novel algorithms for both NLP-based synthesis and regex repair. We evaluate TransRegex with ten relevant state-of-the-art tools on three publicly available datasets. The evaluation results demonstrate that the accuracy of our TransRegex is 17.4%, 35.8% and 38.9% higher than that of NLP-based approaches on the three datasets, respectively. Furthermore, TransRegex can achieve higher accuracy than the state-of-the-art multi-modal techniques with 10% to 30% higher accuracy on all three datasets. The evaluation results also indicate TransRegex utilizing natural language and examples in a more effective way.
Wed 26 MayDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
12:55 - 13:55 | 2.2.4. Programming: General IssuesTechnical Track at Blended Sessions Room 4 +12h Chair(s): Gregorio Robles Universidad Rey Juan Carlos | ||
12:55 20mPaper | Efficient Compiler Autotuning via Bayesian OptimizationTechnical Track Technical Track Junjie Chen College of Intelligence and Computing, Tianjin University, Ningxin Xu College of Intelligence and Computing, Tianjin University, Peiqi Chen College of Intelligence and Computing, Tianjin University, Hongyu Zhang The University of Newcastle Pre-print Media Attached | ||
13:15 20mPaper | TransRegex: Multi-modal Regular Expression Synthesis by Generate-and-RepairTechnical Track Technical Track Yeting Li Institute of Software, Chinese Academy of Sciences;University of Chinese Academy of Sciences, Shuaimin Li School of Computer Science and Technology, University of Chinese academy of sciences, Zhiwu Xu Shenzhen University, Shenzhen, China, Jialun Cao Department of Computer Science and Engineering, The Hong Kong University of Science and Technology, Zixuan Chen Institute of Software, Chinese Academy of Sciences;University of Chinese Academy of Sciences, Yun Hu Institute of Software, Chinese Academy of Sciences;University of Chinese Academy of Sciences, Haiming Chen Institute of Software, Chinese Academy of Sciences;University of Chinese Academy of Sciences, Shing-Chi Cheung Department of Computer Science and Engineering, The Hong Kong University of Science and Technology Pre-print Media Attached | ||
13:35 20mPaper | EvoSpex: An Evolutionary Algorithm for Learning PostconditionsTechnical Track Technical Track Facundo Molina University of Rio Cuarto and CONICET, Argentina, Pablo Ponzio Dept. of Computer Science FCEFQyN, University of Rio Cuarto, Nazareno Aguirre University of Rio Cuarto and CONICET, Argentina, Marcelo F. Frias Dept. of Software Engineering Instituto Tecnológico de Buenos Aires Pre-print Media Attached |
Thu 27 MayDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
00:55 - 01:55 | |||
00:55 20mPaper | Efficient Compiler Autotuning via Bayesian OptimizationTechnical Track Technical Track Junjie Chen College of Intelligence and Computing, Tianjin University, Ningxin Xu College of Intelligence and Computing, Tianjin University, Peiqi Chen College of Intelligence and Computing, Tianjin University, Hongyu Zhang The University of Newcastle Pre-print Media Attached | ||
01:15 20mPaper | TransRegex: Multi-modal Regular Expression Synthesis by Generate-and-RepairTechnical Track Technical Track Yeting Li Institute of Software, Chinese Academy of Sciences;University of Chinese Academy of Sciences, Shuaimin Li School of Computer Science and Technology, University of Chinese academy of sciences, Zhiwu Xu Shenzhen University, Shenzhen, China, Jialun Cao Department of Computer Science and Engineering, The Hong Kong University of Science and Technology, Zixuan Chen Institute of Software, Chinese Academy of Sciences;University of Chinese Academy of Sciences, Yun Hu Institute of Software, Chinese Academy of Sciences;University of Chinese Academy of Sciences, Haiming Chen Institute of Software, Chinese Academy of Sciences;University of Chinese Academy of Sciences, Shing-Chi Cheung Department of Computer Science and Engineering, The Hong Kong University of Science and Technology Pre-print Media Attached | ||
01:35 20mPaper | EvoSpex: An Evolutionary Algorithm for Learning PostconditionsTechnical Track Technical Track Facundo Molina University of Rio Cuarto and CONICET, Argentina, Pablo Ponzio Dept. of Computer Science FCEFQyN, University of Rio Cuarto, Nazareno Aguirre University of Rio Cuarto and CONICET, Argentina, Marcelo F. Frias Dept. of Software Engineering Instituto Tecnológico de Buenos Aires Pre-print Media Attached |