Blogs (1) >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
Mon 14 Jan 2019 14:00 - 14:30 at Sala X - Session 2 Chair(s): Thomas P. Jensen

Method Rename has been a widely used refactoring operation that improves program comprehension and maintenance. Descriptive method names that summarize functionalities of source code can facilitate program comprehension. Much research has been done to suggest method names through source code summarization. However, unlike natural language, a code snippet consists of basic blocks organized by complicated structures. In this work, we observe a hierarchical structure — tokens form basic blocks and basic blocks form a code snippet. Based on this observation, we exploit a hierarchical attention network to learn the representation of methods. Specifically, we apply two-level attention mechanisms to learn the importance of each token in a basic block and that of a basic block in a method respectively. We evaluated our approach on 10 open source repositories and compared it against three state-of-the-art approaches. The results on these open-source data show the superiority of our hierarchical attention networks in terms of effectiveness.

Mon 14 Jan

Displayed time zone: Belfast change

14:00 - 15:30
Session 2PEPM at Sala X
Chair(s): Thomas P. Jensen INRIA Rennes
14:00
30m
Talk
Method Name Suggestion with Hierarchical Attention Networks
PEPM
Sihan Xu Nankai University, China, Sen Zhang Nankai University, China, Weijing Wang Nankai University, China, Xinya Cao Nankai University, China, Chenkai Guo Nankai University, China, Jing Xu Nankai University, China
DOI
14:30
30m
Talk
Reduction from Branching-Time Property Verification of Higher-Order Programs to HFL Validity Checking
PEPM
Keiichi Watanabe University of Tokyo, Japan, Takeshi Tsukada University of Tokyo, Japan, Hiroki Oshikawa University of Tokyo, Japan, Naoki Kobayashi University of Tokyo, Japan
DOI
15:00
30m
Talk
Typed Parsing and Unparsing for Untyped Regular Expression Engines
PEPM
Gabriel Radanne University of Freiburg, Germany
DOI Pre-print File Attached