* ICSE 2018 *
Sun 27 May - Sun 3 June 2018 Gothenburg, Sweden
VenueCongress center Gothia Towers
Room nameH1 room
Floor2
Capacity245
Room Information

Conference hall, capacity 245 participants, theater seating

Program

You're viewing the program in a time zone which is different from your device's time zone - change time zone

Conference Day
Wed 30 May

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

11:00 - 12:30
Software Repair IJournal first papers / Technical Papers at H1 room
Chair(s): Lars GrunskeHumboldt-Universität zu Berlin
11:00
20m
Talk
Context-Aware Patch Generation for Better Automated Program Repair
Technical Papers
Ming WenThe Hong Kong University of Science and Technology, Junjie ChenPeking University, Rongxin WuDepartment of Computer Science and Engineering, The Hong Kong University of Science and Technology, Dan HaoPeking University, Shing-Chi CheungDepartment of Computer Science and Engineering, The Hong Kong University of Science and Technology
Pre-print
11:20
20m
Talk
Towards Practical Program Repair with On-Demand Candidate Generation
Technical Papers
Jinru Hua, Mengshi ZhangUniversity of Texas at Austin, USA, Kaiyuan Wang, Sarfraz KhurshidUniversity of Texas at Austin
File Attached
11:40
20m
Talk
A Correlation Study between Automated Program Repair and Test-Suite Metrics
Journal first papers
Jooyong YiInnopolis University, Shin Hwei Tan, Sergey MechtaevNational University of Singapore, Marcel BöhmeMonash University, Abhik RoychoudhuryNational University of Singapore
Pre-print
12:00
20m
Talk
Do Automated Program Repair Techniques Repair Hard and Important Bugs?
Journal first papers
Manish MotwaniUniversity of Massachusetts, Amherst, Sandhya Sankaranarayanan, René JustUniversity of Massachusetts, USA, Yuriy BrunUniversity of Massachusetts, Amherst
Link to publication DOI Pre-print
12:20
10m
Talk
Q&A in groups
Technical Papers

14:00 - 15:30
Software Repair IITechnical Papers / Journal first papers at H1 room
Chair(s): Alessandro OrsoGeorgia Tech
14:00
20m
Talk
Semantic Program Repair Using a Reference Implementation
Technical Papers
Sergey MechtaevNational University of Singapore, Manh-Dung Nguyen, Yannic NollerHumboldt-Universität zu Berlin, Lars GrunskeHumboldt-Universität zu Berlin, Abhik RoychoudhuryNational University of Singapore
File Attached
14:20
20m
Talk
Automated Repair of Mobile Friendly Problems in Web Pages
Technical Papers
Sonal MahajanUniversity of Southern California, USA, Negarsadat Abolhassani, Phil McMinnUniversity of Sheffield, William G.J. HalfondUniversity of Southern California
14:40
20m
Talk
Static Automated Program Repair for Heap PropertiesAward
Technical Papers
Rijnard van TonderCarnegie Mellon University, Claire Le GouesCarnegie Mellon University
Pre-print File Attached
15:00
20m
Talk
Overfitting in Semantics-based Automated Program Repair
Journal first papers
Xuan-Bach D. LeSingapore Management University, Singapore, Ferdian Thung, David LoSingapore Management University, Claire Le GouesCarnegie Mellon University
Pre-print
15:20
10m
Talk
Q&A in groups
Technical Papers

16:00 - 17:30
Test GenerationTechnical Papers at H1 room
Chair(s): Federica SarroUniversity College London
16:00
20m
Talk
Augusto: Exploiting Popular Functionalities for the Generation of Semantic GUI Tests with Oracles
Technical Papers
Leonardo MarianiUniversity of Milano Bicocca, Mauro PezzèUniversity of Milano-Bicocca, Italy, Daniele Zuddas
Pre-print
16:20
20m
Talk
Towards Optimal Concolic TestingAward
Technical Papers
Xinyu WangZhejiang University, Jun SunSingapore University of Technology and Design, Zhenbang ChenCollege of Computer, National University of Defense Technology, Peixin Zhang, Jingyi WangSingapore University of Technology and Design, Yun Lin
Pre-print
16:40
20m
Talk
DeepTest: Automated Testing of Deep-Neural-Network-driven Autonomous Cars
Technical Papers
Yuchi Tian, Kexin Pei, Suman Jana, Baishakhi RayColumbia University, New York
17:00
20m
Talk
Precise Concolic Unit Testing of C Programs with Alarm Filtering Using Symbolic Calling Contexts
Technical Papers
17:20
10m
Talk
Q&A in groups
Technical Papers

Conference Day
Thu 31 May

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

11:00 - 12:30
Communities and EcosystemsTechnical Papers / Journal first papers at H1 room
Chair(s): Alexander SerebrenikEindhoven University of Technology
11:00
20m
Talk
How Modern News Aggregators Help Development Communities Shape and Share Knowledge
Technical Papers
Maurício AnicheDelft University of Technology, Netherlands, Christoph TreudeThe University of Adelaide, Igor SteinmacherFederal University of Technology - Paraná / Northern Arizona University, Igor WieseFederal University of Technology - Paraná (UTFPR), Gustavo PintoUFPA, Margaret-Anne StoreyUniversity of Victoria, Marco GerosaNorthern Arizona University
Pre-print
11:20
20m
Talk
Adding Sparkle to Social Coding: An Empirical Study of Repository Badges in the npm Ecosystem
Technical Papers
Asher TrockmanUniversity of Evansville, Shurui ZhouCarnegie Mellon University, USA, Christian KästnerCarnegie Mellon University, Bogdan VasilescuCarnegie Mellon University
Pre-print Media Attached
11:40
20m
Talk
"Was my contribution fairly reviewed?" A framework and an empirical study of fairness in Modern Code Reviews
Technical Papers
Daniel M. German, Gregorio RoblesUniversidad Rey Juan Carlos, Germán Poo-Caamaño, Xin YangUnionbigdata.com, Hajimu Iida, Katsuro InoueOsaka University
Pre-print File Attached
12:00
20m
Talk
Collaborative Model-Driven Software Engineering: a Classification Framework and a Research Map
Journal first papers
Mirco FranzagoUniversity of L'Aquila, Italy, Ivano MalavoltaVrije Universiteit Amsterdam, Davide Di RuscioUniversity of L'Aquila, Henry MucciniUniversity of L'Aquila
Link to publication DOI Pre-print
12:20
10m
Talk
Q&A in groups
Technical Papers

14:00 - 15:30
Human and Social Aspects of Computing IITechnical Papers at H1 room
Chair(s): Margaret-Anne StoreyUniversity of Victoria
14:00
20m
Talk
Statistical Learning of API Fully Qualified Names in Code Snippets of Online Forums
Technical Papers
Hung Phan, Hoan NguyenIowa State University, Ngoc Tran, Linh Truong, Anh Nguyen, Tien N. NguyenThe University of Texas - Dallas
14:20
20m
Talk
When Not to Comment: Questions and Tradeoffs with API Documentation for C++ Projects
Technical Papers
Andrew HeadUC Berkeley, Caitlin SadowskiGoogle, Emerson Murphy-HillNorth Carolina State University, Andrea Knight
Pre-print
14:40
20m
Talk
Deuce: A Lightweight User Interface for Structured Editing
Technical Papers
Brian HempelUniversity of Chicago, Justin Lubin, Grace Lu, Ravi ChughUniversity of Chicago
Pre-print Media Attached
15:00
20m
Talk
From UI Design Image to GUI Skeleton: A Neural Machine Translator to Bootstrap Mobile GUI Implementation
Technical Papers
Chunyang ChenNanyang Technological University, Singapore, Ting SuNanyang Technological University, Singapore, Guozhu MengNanyang Technological University, Singapore, Zhenchang XingAustralia National University, Yang LiuNanyang Technological University, Singapore
Pre-print
15:20
10m
Talk
Q&A in groups
Technical Papers

Conference Day
Fri 1 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:30
Software ComprehensionJournal first papers / Technical Papers at H1 room
Chair(s): Margaret BurnettOregon State University
09:00
20m
Talk
Debugging Data Flows in Reactive Programs
Technical Papers
Pre-print
09:20
20m
Talk
Do You Remember This Source Code?
Technical Papers
Jacob KrügerHarz University of Applied Sciences, Germany, Jens Wiemann, Wolfram FenskeUniversity of Magdeburg, Germany, Gunter SaakeUniversity of Magdeburg, Germany, Thomas LeichHarz University of Applied Sciences, Germany
09:40
20m
Talk
Inferring Hierarchical Motifs from Execution Traces
Technical Papers
Saba AlimadadiNortheastern University, Ali MesbahUniversity of British Columbia, Karthik PattabiramanUniversity of British Columbia
10:00
20m
Talk
A Comparison of Program Comprehension Strategies by Blind and Sighted Programmers
Journal first papers
10:20
10m
Talk
Q&A in groups
Technical Papers

11:00 - 12:30
Code Search, Synthesis, PerformanceTechnical Papers / Journal first papers at H1 room
Chair(s): Shahar MaozTel Aviv University
11:00
20m
Research paper
Deep Code Search
Technical Papers
Xiaodong GuThe Hong Kong University of Science and Technology, Hongyu ZhangThe University of Newcastle, Sunghun KimHong Kong University of Science and Technology
Pre-print
11:20
20m
Talk
Augmenting and Structuring User Queries to Support Efficient Free-Form Code Search
Journal first papers
Raphaël Sirres, Tegawendé F. BissyandéUniversity of Luxembourg, Luxembourg, Dongsun KimUniversity of Luxembourg, David LoSingapore Management University, Jacques KleinUniversity of Luxembourg, SnT, Kisub KimUniversity of Luxembourg, SnT, Yves Le TraonUniversity of Luxembourg
Link to publication DOI Pre-print Media Attached
11:40
20m
Talk
FaCoY – A Code-to-Code Search Engine
Technical Papers
Kisub KimUniversity of Luxembourg, SnT, Dongsun KimUniversity of Luxembourg, Tegawendé F. BissyandéUniversity of Luxembourg, Luxembourg, Eunjong ChoiNara Institute of Science and Technology, Li LiUniversity of Luxembourg, Luxembourg, Jacques KleinUniversity of Luxembourg, SnT, Yves Le TraonUniversity of Luxembourg
Link to publication DOI Pre-print Media Attached
12:00
20m
Talk
Generalized Data Structure SynthesisAward
Technical Papers
Calvin LoncaricUniversity of Washington, Michael D. ErnstUniversity of Washington, USA, Emina TorlakUniversity of Washington
DOI Pre-print Media Attached
12:20
10m
Talk
Q&A in groups
Technical Papers

14:00 - 15:30
Inference and InvariantsTechnical Papers at H1 room
Chair(s): Robert FeldtChalmers University of Technology
14:00
20m
Talk
Inferring and Asserting Distributed System Invariants
Technical Papers
Stewart Grant, Hendrik Cech, Ivan BeschastnikhUniversity of British Columbia
Link to publication Media Attached
14:20
20m
Talk
DroidStar: Callback Typestates for Android Classes
Technical Papers
Arjun RadhakrishnaMicrosoft, Nicholas Lewchenko, Shawn Meier, Sergio MoverUniversity of Colorado Boulder, Krishna Chaitanya Sripada, Damien ZuffereyMPI-SWS, Bor-Yuh Evan ChangUniversity of Colorado Boulder, Pavol CernyUniversity of Colorado Boulder
14:40
20m
Talk
Debugging with Intelligence via Probabilistic Inference
Technical Papers
Zhaogui XuNanjing University, China, Shiqing MaPurdue University, USA, Xiangyu ZhangPurdue University, Shuofei ZhuNanjing University, China, Baowen Xu
15:00
20m
Talk
Reducer-Based Construction of Conditional Verifiers
Technical Papers
Pre-print File Attached
15:20
10m
Talk
Q&A in groups
Technical Papers

Conference Day
Wed 30 May

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Conference Day
Thu 31 May

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Conference Day
Fri 1 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Conference Day
Wed 30 May

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change