ICPC 2018
Sun 27 - Mon 28 May 2018 Gothenburg, Sweden
co-located with * ICSE 2018 *
* ICSE 2018 * (series) / ICPC 2018 (series) / Congress center Gothia Towers /

Room information: H1 room

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

Wed 30 May

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

11:00 - 12:30
Software Repair I* ICSE * Journal first papers / * ICSE * Technical Papers at H1 room
Chair(s): Lars Grunske Humboldt-Universität zu Berlin
11:00
20m
Talk
Context-Aware Patch Generation for Better Automated Program Repair
* ICSE * Technical Papers
Ming Wen The Hong Kong University of Science and Technology, Junjie Chen Peking University, Rongxin Wu Department of Computer Science and Engineering, The Hong Kong University of Science and Technology, Dan Hao Peking University, Shing-Chi Cheung Department 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
* ICSE * Technical Papers
Jinru Hua , Mengshi Zhang University of Texas at Austin, USA, Kaiyuan Wang , Sarfraz Khurshid University of Texas at Austin
File Attached
11:40
20m
Talk
A Correlation Study between Automated Program Repair and Test-Suite Metrics
* ICSE * Journal first papers
Jooyong Yi Innopolis University, Shin Hwei Tan , Sergey Mechtaev National University of Singapore, Marcel Böhme Monash University, Abhik Roychoudhury National University of Singapore
Pre-print
12:00
20m
Talk
Do Automated Program Repair Techniques Repair Hard and Important Bugs?
* ICSE * Journal first papers
Manish Motwani University of Massachusetts, Amherst, Sandhya Sankaranarayanan , René Just University of Massachusetts, USA, Yuriy Brun University of Massachusetts, Amherst
Link to publication DOI Pre-print
12:20
10m
Talk
Q&A in groups
* ICSE * Technical Papers

14:00 - 15:30
Software Repair II* ICSE * Technical Papers / * ICSE * Journal first papers at H1 room
Chair(s): Alessandro Orso Georgia Tech
14:00
20m
Talk
Semantic Program Repair Using a Reference Implementation
* ICSE * Technical Papers
Sergey Mechtaev National University of Singapore, Manh-Dung Nguyen , Yannic Noller Humboldt-Universität zu Berlin, Lars Grunske Humboldt-Universität zu Berlin, Abhik Roychoudhury National University of Singapore
File Attached
14:20
20m
Talk
Automated Repair of Mobile Friendly Problems in Web Pages
* ICSE * Technical Papers
Sonal Mahajan University of Southern California, USA, Negarsadat Abolhassani , Phil McMinn University of Sheffield, William G.J. Halfond University of Southern California
14:40
20m
Talk
Static Automated Program Repair for Heap PropertiesAward
* ICSE * Technical Papers
Rijnard van Tonder Carnegie Mellon University, Claire Le Goues Carnegie Mellon University
Pre-print File Attached
15:00
20m
Talk
Overfitting in Semantics-based Automated Program Repair
* ICSE * Journal first papers
Xuan-Bach D. Le Singapore Management University, Singapore, Ferdian Thung , David Lo Singapore Management University, Claire Le Goues Carnegie Mellon University
Pre-print
15:20
10m
Talk
Q&A in groups
* ICSE * Technical Papers

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

Thu 31 May

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

11:00 - 12:30
Communities and Ecosystems* ICSE * Technical Papers / * ICSE * Journal first papers at H1 room
Chair(s): Alexander Serebrenik Eindhoven University of Technology
11:00
20m
Talk
How Modern News Aggregators Help Development Communities Shape and Share Knowledge
* ICSE * Technical Papers
Maurício Aniche Delft University of Technology, Netherlands, Christoph Treude The University of Adelaide, Igor Steinmacher Federal University of Technology - Paraná / Northern Arizona University, Igor Wiese Federal University of Technology - Paraná (UTFPR), Gustavo Pinto UFPA, Margaret-Anne Storey University of Victoria, Marco Gerosa Northern Arizona University
Pre-print
11:20
20m
Talk
Adding Sparkle to Social Coding: An Empirical Study of Repository Badges in the npm Ecosystem
* ICSE * Technical Papers
Asher Trockman University of Evansville, Shurui Zhou , Christian Kästner Carnegie Mellon University, Bogdan Vasilescu Carnegie 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
* ICSE * Technical Papers
Daniel M. German , Gregorio Robles Universidad Rey Juan Carlos, Germán Poo-Caamaño , Xin Yang Unionbigdata.com, Hajimu Iida , Katsuro Inoue Osaka University
Pre-print File Attached
12:00
20m
Talk
Collaborative Model-Driven Software Engineering: a Classification Framework and a Research Map
* ICSE * Journal first papers
Mirco Franzago University of L'Aquila, Italy, Ivano Malavolta Vrije Universiteit Amsterdam, Davide Di Ruscio University of L'Aquila, Henry Muccini University of L'Aquila
Link to publication DOI Pre-print
12:20
10m
Talk
Q&A in groups
* ICSE * Technical Papers

14:00 - 15:30
Human and Social Aspects of Computing II* ICSE * Technical Papers at H1 room
Chair(s): Margaret-Anne Storey University of Victoria
14:00
20m
Talk
Statistical Learning of API Fully Qualified Names in Code Snippets of Online Forums
* ICSE * Technical Papers
Hung Phan , Hoan Nguyen Iowa State University, Ngoc Tran , Linh Truong , Anh Nguyen , Tien N. Nguyen The University of Texas - Dallas
14:20
20m
Talk
When Not to Comment: Questions and Tradeoffs with API Documentation for C++ Projects
* ICSE * Technical Papers
Andrew Head UC Berkeley, Caitlin Sadowski Google, Emerson Murphy-Hill North Carolina State University, Andrea Knight
Pre-print
14:40
20m
Talk
Deuce: A Lightweight User Interface for Structured Editing
* ICSE * Technical Papers
Brian Hempel University of Chicago, Justin Lubin , Grace Lu , Ravi Chugh University 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
* ICSE * Technical Papers
Chunyang Chen Nanyang Technological University, Singapore, Ting Su Nanyang Technological University, Singapore, Guozhu Meng Nanyang Technological University, Singapore, Zhenchang Xing Australia National University, Yang Liu Nanyang Technological University, Singapore
Pre-print
15:20
10m
Talk
Q&A in groups
* ICSE * Technical Papers

Fri 1 Jun

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

09:00 - 10:30
Software Comprehension* ICSE * Journal first papers / * ICSE * Technical Papers at H1 room
Chair(s): Margaret Burnett Oregon State University
09:00
20m
Talk
Debugging Data Flows in Reactive Programs
* ICSE * Technical Papers
Herman Banken , Georgios Gousios TU Delft, Erik Meijer
Pre-print
09:20
20m
Talk
Do You Remember This Source Code?
* ICSE * Technical Papers
Jacob Krüger Harz University of Applied Sciences, Germany, Jens Wiemann , Wolfram Fenske University of Magdeburg, Germany, Gunter Saake University of Magdeburg, Germany, Thomas Leich Harz University of Applied Sciences, Germany
09:40
20m
Talk
Inferring Hierarchical Motifs from Execution Traces
* ICSE * Technical Papers
Saba Alimadadi Northeastern University, Ali Mesbah University of British Columbia, Karthik Pattabiraman University of British Columbia
10:00
20m
Talk
A Comparison of Program Comprehension Strategies by Blind and Sighted Programmers
* ICSE * Journal first papers
Ameer Armaly , Paige Rodeghero University of Notre Dame, Collin McMillan
10:20
10m
Talk
Q&A in groups
* ICSE * Technical Papers

11:00 - 12:30
Code Search, Synthesis, Performance* ICSE * Technical Papers / * ICSE * Journal first papers at H1 room
Chair(s): Shahar Maoz Tel Aviv University
11:00
20m
Research paper
Deep Code Search
* ICSE * Technical Papers
Xiaodong Gu The Hong Kong University of Science and Technology, Hongyu Zhang The University of Newcastle, Sunghun Kim Hong Kong University of Science and Technology
Pre-print
11:20
20m
Talk
Augmenting and Structuring User Queries to Support Efficient Free-Form Code Search
* ICSE * Journal first papers
Raphaël Sirres , Tegawendé F. Bissyandé University of Luxembourg, Luxembourg, Dongsun Kim University of Luxembourg, David Lo Singapore Management University, Jacques Klein University of Luxembourg, SnT, Kisub Kim University of Luxembourg, SnT, Yves Le Traon University of Luxembourg
Link to publication DOI Pre-print Media Attached
11:40
20m
Talk
FaCoY – A Code-to-Code Search Engine
* ICSE * Technical Papers
Kisub Kim University of Luxembourg, SnT, Dongsun Kim University of Luxembourg, Tegawendé F. Bissyandé University of Luxembourg, Luxembourg, Eunjong Choi Nara Institute of Science and Technology, Li Li University of Luxembourg, Luxembourg, Jacques Klein University of Luxembourg, SnT, Yves Le Traon University of Luxembourg
Link to publication DOI Pre-print Media Attached
12:00
20m
Talk
Generalized Data Structure SynthesisAward
* ICSE * Technical Papers
Calvin Loncaric University of Washington, Michael D. Ernst University of Washington, USA, Emina Torlak University of Washington
DOI Pre-print Media Attached
12:20
10m
Talk
Q&A in groups
* ICSE * Technical Papers

14:00 - 15:30
Inference and Invariants* ICSE * Technical Papers at H1 room
Chair(s): Robert Feldt Chalmers University of Technology
14:00
20m
Talk
Inferring and Asserting Distributed System Invariants
* ICSE * Technical Papers
Stewart Grant , Hendrik Cech , Ivan Beschastnikh University of British Columbia
Link to publication Media Attached
14:20
20m
Talk
DroidStar: Callback Typestates for Android Classes
* ICSE * Technical Papers
Arjun Radhakrishna Microsoft, Nicholas Lewchenko , Shawn Meier , Sergio Mover University of Colorado Boulder, Krishna Chaitanya Sripada , Damien Zufferey MPI-SWS, Bor-Yuh Evan Chang University of Colorado Boulder, Pavol Cerny University of Colorado Boulder
14:40
20m
Talk
Debugging with Intelligence via Probabilistic Inference
* ICSE * Technical Papers
Zhaogui Xu Nanjing University, China, Shiqing Ma Purdue University, USA, Xiangyu Zhang Purdue University, Shuofei Zhu Nanjing University, China, Baowen Xu
15:00
20m
Talk
Reducer-Based Construction of Conditional Verifiers
* ICSE * Technical Papers
Dirk Beyer LMU Munich, Marie-Christine Jakobs LMU, Munich, Germany, Thomas Lemberger , Heike Wehrheim
Pre-print File Attached
15:20
10m
Talk
Q&A in groups
* ICSE * Technical Papers

Wed 30 May

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

Room11:003012:003013:003014:003015:003016:003017:0030
H1 room

* ICSE * Journal first papers + * ICSE * Technical Papers

Software Repair I

* ICSE * Technical Papers + * ICSE * Journal first papers

Software Repair II

* ICSE * Technical Papers

Test Generation

Thu 31 May

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

Room11:003012:003013:003014:003015:0030
H1 room

* ICSE * Technical Papers + * ICSE * Journal first papers

Communities and Ecosystems

* ICSE * Technical Papers

Human and Social Aspects of Computing II

Fri 1 Jun

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

Room9:003010:003011:003012:003013:003014:003015:0030
H1 room

* ICSE * Journal first papers + * ICSE * Technical Papers

Software Comprehension

* ICSE * Technical Papers + * ICSE * Journal first papers

Code Search, Synthesis, Performance

* ICSE * Technical Papers

Inference and Invariants

Wed 30 May

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

Room11:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
H1 room
* ICSE * Technical Papers
Context-Aware Patch Generation for Better Automated Program Repair
11:00 - 11:20
* ICSE * Technical Papers
Towards Practical Program Repair with On-Demand Candidate Generation
11:20 - 11:40
* ICSE * Journal first papers
A Correlation Study between Automated Program Repair and Test-Suite Metrics
11:40 - 12:00
* ICSE * Journal first papers
Do Automated Program Repair Techniques Repair Hard and Important Bugs?
12:00 - 12:20
* ICSE * Technical Papers
Q&A in groups
12:20 - 12:30
* ICSE * Technical Papers
Semantic Program Repair Using a Reference Implementation
14:00 - 14:20
* ICSE * Technical Papers
Automated Repair of Mobile Friendly Problems in Web Pages
14:20 - 14:40
* ICSE * Technical Papers Award
Static Automated Program Repair for Heap Properties
14:40 - 15:00
* ICSE * Journal first papers
Overfitting in Semantics-based Automated Program Repair
15:00 - 15:20
* ICSE * Technical Papers
Q&A in groups
15:20 - 15:30
* ICSE * Technical Papers
Augusto: Exploiting Popular Functionalities for the Generation of Seman ...
16:00 - 16:20
* ICSE * Technical Papers Award
Towards Optimal Concolic Testing
16:20 - 16:40
* ICSE * Technical Papers
DeepTest: Automated Testing of Deep-Neural-Network-driven Autonomous Cars
16:40 - 17:00
* ICSE * Technical Papers
Precise Concolic Unit Testing of C Programs with Alarm Filtering Using ...
17:00 - 17:20
* ICSE * Technical Papers
Q&A in groups
17:20 - 17:30

Thu 31 May

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

Room11:0015304512:0015304513:0015304514:0015304515:00153045
H1 room
* ICSE * Technical Papers
How Modern News Aggregators Help Development Communities Shape and Shar ...
11:00 - 11:20
* ICSE * Technical Papers
Adding Sparkle to Social Coding: An Empirical Study of Repository Badge ...
11:20 - 11:40
* ICSE * Technical Papers
"Was my contribution fairly reviewed?" A framework and an empirical stu ...
11:40 - 12:00
* ICSE * Journal first papers
Collaborative Model-Driven Software Engineering: a Classification Frame ...
12:00 - 12:20
* ICSE * Technical Papers
Q&A in groups
12:20 - 12:30
* ICSE * Technical Papers
Statistical Learning of API Fully Qualified Names in Code Snippets of O ...
14:00 - 14:20
* ICSE * Technical Papers
When Not to Comment: Questions and Tradeoffs with API Documentation for ...
14:20 - 14:40
* ICSE * Technical Papers
Deuce: A Lightweight User Interface for Structured Editing
14:40 - 15:00
* ICSE * Technical Papers
From UI Design Image to GUI Skeleton: A Neural Machine Translator to Bo ...
15:00 - 15:20
* ICSE * Technical Papers
Q&A in groups
15:20 - 15:30

Fri 1 Jun

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

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:00153045
H1 room
* ICSE * Technical Papers
Debugging Data Flows in Reactive Programs
09:00 - 09:20
* ICSE * Technical Papers
Do You Remember This Source Code?
09:20 - 09:40
* ICSE * Technical Papers
Inferring Hierarchical Motifs from Execution Traces
09:40 - 10:00
* ICSE * Journal first papers
A Comparison of Program Comprehension Strategies by Blind and Sighted P ...
10:00 - 10:20
* ICSE * Technical Papers
Q&A in groups
10:20 - 10:30
* ICSE * Technical Papers
Deep Code Search
11:00 - 11:20
* ICSE * Journal first papers
Augmenting and Structuring User Queries to Support Efficient Free-Form ...
11:20 - 11:40
* ICSE * Technical Papers
FaCoY – A Code-to-Code Search Engine
11:40 - 12:00
* ICSE * Technical Papers Award
Generalized Data Structure Synthesis
12:00 - 12:20
* ICSE * Technical Papers
Q&A in groups
12:20 - 12:30
* ICSE * Technical Papers
Inferring and Asserting Distributed System Invariants
14:00 - 14:20
* ICSE * Technical Papers
DroidStar: Callback Typestates for Android Classes
14:20 - 14:40
* ICSE * Technical Papers
Debugging with Intelligence via Probabilistic Inference
14:40 - 15:00
* ICSE * Technical Papers
Reducer-Based Construction of Conditional Verifiers
15:00 - 15:20
* ICSE * Technical Papers
Q&A in groups
15:20 - 15:30