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: G1 room

VenueCongress center Gothia Towers
Room nameG1 room
Floor2
Capacity220
Room InformationNo extra information available
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 Evolution and Maintenance I* ICSE * Technical Papers / * ICSE * Journal first papers at G1 room
Chair(s): Chanchal K. Roy University of Saskatchewan
11:00
20m
Talk
Neuro-Symbolic Program Repair for Correcting Introductory Programming Assignments
* ICSE * Technical Papers
Sahil Bhatia , Pushmeet Kohli Microsoft Research, Rishabh Singh Google Brain
11:20
20m
Talk
Automated Localization for Unreproducible BuildsAward
* ICSE * Technical Papers
Zhilei Ren , He Jiang , Jifeng Xuan , Zijiang Yang Western Michigan University
11:40
20m
Talk
Enlightened Debugging
* ICSE * Technical Papers
Xiangyu Li Georgia Institute of Technology, Shaowei Zhu Georgia Institute of Technology, Marcelo d'Amorim Federal University of Pernambuco, Alessandro Orso Georgia Tech
Pre-print File Attached
12:00
20m
Research paper
Experiences and Challenges in Building a Data Intensive System for Data Migration
* ICSE * Journal first papers
Marco Scavuzzo Politecnico di Milano, Elisabetta Di Nitto Politecnico di Milano, Danilo Ardagna
Link to publication DOI
12:20
10m
Talk
Q&A in groups
* ICSE * Technical Papers

14:00 - 15:30
Regression Testing* ICSE * Technical Papers at G1 room
Chair(s): Dan Hao Peking University
14:00
20m
Talk
Hybrid Regression Test Selection
* ICSE * Technical Papers
Lingming Zhang University of Texas at Dallas
14:20
20m
Talk
Fine-Grained Test Minimization
* ICSE * Technical Papers
Arash Vahabzadeh , Andrea Stocco , Ali Mesbah University of British Columbia
Pre-print
14:40
20m
Talk
FAST Approaches to Scalable Similarity-based Test Case Prioritization
* ICSE * Technical Papers
Breno Miranda Federal University of Pernambuco, Emilio Cruciani Gran Sasso Science Institute, L'Aquila, Italy, Roberto Verdecchia Gran Sasso Science Institute, Vrije Universiteit Amsterdam, Antonia Bertolino CNR-ISTI
DOI Pre-print File Attached
15:00
20m
Talk
Towards Refactoring-Aware Regression Test Selection
* ICSE * Technical Papers
Kaiyuan Wang , Chenguang Zhu University of Texas, Austin, Ahmet Celik University of Texas at Austin, USA, Jongwook Kim , Don Batory University of Texas, Austin, Milos Gligoric University of Texas at Austin
File Attached
15:20
10m
Talk
Q&A in groups
* ICSE * Technical Papers

16:00 - 17:30
Security, Privacy and Trust I* ICSE * Technical Papers / * ICSE * Journal first papers at G1 room
Chair(s): Antonio Carzaniga Università della Svizzera italiana
16:00
20m
Talk
Secure Coding Practices in Java: Challenges and Vulnerabilities
* ICSE * Technical Papers
Na Meng Virginia Tech, Stefan Nagy , Daphne Yao Virginia Tech, Wenjie Zhuang , Gustavo Arango Argoty
16:20
20m
Talk
EnMobile: Entity-based Characterization and Analysis of Mobile Malware
* ICSE * Technical Papers
Wei Yang University of Illinois at Urbana-Champaign, Mukul Prasad Fujitsu Laboratories of America, Tao Xie University of Illinois at Urbana-Champaign
16:40
20m
Talk
Model Comprehension for Security Risk Assessment: An Empirical Comparison of Tabular vs. Graphical Representations
* ICSE * Journal first papers
Katsiaryna Labunets , Fabio Massacci University of Trento, Federica Paci , Sabrina Marczak , Flávio Moreira de Oliveira
Link to publication DOI Pre-print File Attached
17:00
20m
Talk
Privacy by Designers: Software Developers’ Privacy Mindset
* ICSE * Journal first papers
Irit Hadar , Tomer Hasson , Oshrat Ayalon , Eran Toch , Michael Birnhack , Sofia Sherman , Arod Balissa
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
Security, Privacy and Trust II* ICSE * Technical Papers / * ICSE * Journal first papers at G1 room
Chair(s): Julia Rubin University of British Columbia
11:00
20m
Talk
ENTRUST: Engineering Trustworthy Self-Adaptive Software with Dynamic Assurance Cases
* ICSE * Journal first papers
Radu Calinescu University of York, UK, Danny Weyns KU Leuven, Simos Gerasimou , Muhammad Usman Iftikhar Linnaeus University, Sweden, Ibrahim Habli , Tim Kelly
11:20
20m
Talk
The Good, the Bad and the Ugly: A Study of Security Decisions in a Cyber-Physical Systems Game
* ICSE * Journal first papers
Sylvain Frey , Awais Rashid University of Bristol, UK, Pauline Anthonysamy , Maria Pinto-Albuquerque Instituto Universitário de Lisboa (ISCTE-IUL), Syed Asad Naqvi
11:40
20m
Talk
Lightweight, Obfuscation-Resilient Detection and Family Identification of Android Malware
* ICSE * Journal first papers
Joshua Garcia , Mahmoud Hammad University of California, Irvine, Sam Malek University of California, Irvine
Link to publication File Attached
12:00
20m
Talk
Are Vulnerabilities Discovered and Resolved like Other Defects?
* ICSE * Journal first papers
Patrick Morrison , Rahul Pandita Phase Change Software, Xusheng Xiao Case Western Reserve University, Ram Chillarege , Laurie Williams North Carolina State University
12:20
10m
Talk
Q&A in groups
* ICSE * Technical Papers

14:00 - 15:30
Program Analysis I* ICSE * Technical Papers at G1 room
Chair(s): Darko Marinov University of Illinois at Urbana-Champaign
14:00
20m
Talk
Dataflow Tunneling: Mining Inter-request Data Dependencies for Request-based Applications
* ICSE * Technical Papers
Xiao Yu North Carolina State University, Guoliang Jin North Carolina State University
Pre-print File Attached
14:20
20m
Talk
Launch-Mode-Aware Context-Sensitive Activity Transition Analysis for Android Apps
* ICSE * Technical Papers
Yifei Zhang UNSW Sydney, Yulei Sui University of Technology Sydney, Australia, Jingling Xue UNSW Sydney
DOI Pre-print File Attached
14:40
20m
Talk
UFO: Predictive Concurrency Use-After-Free Detection
* ICSE * Technical Papers
Jeff Huang Texas A&M University
Pre-print
15:00
20m
Talk
Collective Program Analysis
* ICSE * Technical Papers
Ganesha Upadhyaya Futurewei Technologies, Hridesh Rajan Iowa State University
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
Program Analysis II* ICSE * Technical Papers / * ICSE * Journal first papers at G1 room
Chair(s): Christine Julien The University of Texas at Austin
09:00
20m
Talk
Multi-Granular Conflict and Dependency Analysis in Software Engineering based on Graph Transformation
* ICSE * Technical Papers
Leen Lambers , Daniel Strüber University of Koblenz-Landau, Germany, Gabriele Taentzer Universität Marburg, Kristopher Born , Jevgenij Huebert
DOI Pre-print File Attached
09:20
20m
Talk
Self-Hiding Behavior in Android Apps: Detection and Characterization
* ICSE * Technical Papers
Zhiyong Shan Wichita State University, Iulian Neamtiu New Jersey Institute of Technology, Raina Samuel New Jersey Institute of Technology
File Attached
09:40
20m
Talk
The Scent of a Smell: An Extensive Comparison between Textual and Structural Smells
* ICSE * Journal first papers
Fabio Palomba , Annibale Panichella Deflt University of Technology, Andy Zaidman TU Delft, Rocco Oliveto University of Molise, Andrea De Lucia University of Salerno
Pre-print
10:00
20m
Talk
ConflictJS: Finding and Understanding Conflicts Between JavaScript Libraries
* ICSE * Technical Papers
Jibesh Patra Technical University of Darmstadt, Pooja N. Dixit , Michael Pradel TU Darmstadt
Pre-print File Attached
10:20
10m
Talk
Q&A in groups
* ICSE * Technical Papers

11:00 - 12:30
Models and Modeling I* ICSE * Technical Papers / * ICSE * Journal first papers at G1 room
Chair(s): Jon Whittle Monash University
11:00
20m
Talk
Propagating Configuration Decisions with Modal Implication Graphs
* ICSE * Technical Papers
Sebastian Krieter Magdeburg University, Thomas Thüm University of Ulm, Sandro Schulze University of Magdeburg, Germany, Reimar Schröter Magdeburg University, Gunter Saake University of Magdeburg, Germany
11:20
20m
Talk
A Combinatorial Approach for Exposing Off-Nominal Behaviors
* ICSE * Technical Papers
Kaushik Madala , Hyunsook Do University of North Texas, Daniel Aceituna
11:40
20m
Research paper
Identifying Design Problems in the Source Code: A Grounded TheoryAward
* ICSE * Technical Papers
Leonardo Da Silva Sousa , Anderson Oliveira , Willian Oizumi PUC-Rio, Simone Barbosa PUC-Rio, Alessandro Garcia PUC-Rio, Jaejoon Lee Lancaster University, UK, Marcos Kalinowski Pontifical Catholic University of Rio de Janeiro (PUC-Rio), Rafael de Mello , Baldoino Fonseca , Roberto Oliveira , Carlos Lucena , Rodrigo Paes
File Attached
12:00
20m
Talk
Predicting Future Developer Behavior in the IDE Using Topic Models
* ICSE * Journal first papers
Kostadin Damevski Virginia Commonwealth University, Hui Chen , David C. Shepherd ABB, Inc, Nicholas A. Kraft ABB Corporate Research, Lori Pollock
DOI Pre-print
12:20
10m
Talk
Q&A in groups
* ICSE * Technical Papers

14:00 - 15:30
Models and Modeling II* ICSE * Technical Papers / * ICSE * Journal first papers at G1 room
Chair(s): Jon Whittle Monash University
14:00
20m
Talk
Programming Not Only by Example
* ICSE * Technical Papers
Hila Peleg Technion, Israel, Sharon Shoham Tel Aviv university, Eran Yahav Technion
Pre-print Media Attached
14:20
20m
Talk
Goal-Conflict Likelihood Assessment based on Model Counting
* ICSE * Technical Papers
Renzo Degiovanni Universidad Nacional de Río Cuarto, Pablo Castro , Marcelo Arroyo , Marcelo Ruiz Dept. of Mathematics, FCEFQyN, University of Río Cuarto, Argentina , Nazareno Aguirre Dept. of Computer Science FCEFQyN, University of Rio Cuarto, Marcelo F. Frias Dept. of Software Engineering Instituto Tecnológico de Buenos Aires
Pre-print File Attached
14:40
20m
Talk
A Posteriori Typing for Model-Driven Engineering: Concepts, Analysis, and Applications
* ICSE * Journal first papers
Juan de Lara , Esther Guerra
15:00
20m
Talk
A Static Verification Framework for Message Passing in Go using Behavioural Types
* ICSE * Technical Papers
Julien Lange University of Kent, Nicholas Ng Imperial College London, Bernardo Toninho Imperial College London, Nobuko Yoshida Imperial College London
DOI Pre-print Media 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
G1 room

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

Software Evolution and Maintenance I

* ICSE * Technical Papers

Regression Testing

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

Security, Privacy and Trust I

Thu 31 May

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

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

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

Security, Privacy and Trust II

* ICSE * Technical Papers

Program Analysis I

Fri 1 Jun

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

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

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

Program Analysis II

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

Models and Modeling I

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

Models and Modeling II

Wed 30 May

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

Room11:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
G1 room
* ICSE * Technical Papers
Neuro-Symbolic Program Repair for Correcting Introductory Programming A ...
11:00 - 11:20
* ICSE * Technical Papers Award
Automated Localization for Unreproducible Builds
11:20 - 11:40
* ICSE * Technical Papers
Enlightened Debugging
11:40 - 12:00
* ICSE * Journal first papers
Experiences and Challenges in Building a Data Intensive System for Data ...
12:00 - 12:20
* ICSE * Technical Papers
Q&A in groups
12:20 - 12:30
* ICSE * Technical Papers
Hybrid Regression Test Selection
14:00 - 14:20
* ICSE * Technical Papers
Fine-Grained Test Minimization
14:20 - 14:40
* ICSE * Technical Papers
FAST Approaches to Scalable Similarity-based Test Case Prioritization
14:40 - 15:00
* ICSE * Technical Papers
Towards Refactoring-Aware Regression Test Selection
15:00 - 15:20
* ICSE * Technical Papers
Q&A in groups
15:20 - 15:30
* ICSE * Technical Papers
Secure Coding Practices in Java: Challenges and Vulnerabilities
16:00 - 16:20
* ICSE * Technical Papers
EnMobile: Entity-based Characterization and Analysis of Mobile Malware
16:20 - 16:40
* ICSE * Journal first papers
Model Comprehension for Security Risk Assessment: An Empirical Comparis ...
16:40 - 17:00
* ICSE * Journal first papers
Privacy by Designers: Software Developers’ Privacy Mindset
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
G1 room
* ICSE * Journal first papers
ENTRUST: Engineering Trustworthy Self-Adaptive Software with Dynamic As ...
11:00 - 11:20
* ICSE * Journal first papers
The Good, the Bad and the Ugly: A Study of Security Decisions in a Cyb ...
11:20 - 11:40
* ICSE * Journal first papers
Lightweight, Obfuscation-Resilient Detection and Family Identification ...
11:40 - 12:00
* ICSE * Journal first papers
Are Vulnerabilities Discovered and Resolved like Other Defects?
12:00 - 12:20
* ICSE * Technical Papers
Q&A in groups
12:20 - 12:30
* ICSE * Technical Papers
Dataflow Tunneling: Mining Inter-request Data Dependencies for Request- ...
14:00 - 14:20
* ICSE * Technical Papers
Launch-Mode-Aware Context-Sensitive Activity Transition Analysis for An ...
14:20 - 14:40
* ICSE * Technical Papers
UFO: Predictive Concurrency Use-After-Free Detection
14:40 - 15:00
* ICSE * Technical Papers
Collective Program Analysis
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
G1 room
* ICSE * Technical Papers
Multi-Granular Conflict and Dependency Analysis in Software Engineering ...
09:00 - 09:20
* ICSE * Technical Papers
Self-Hiding Behavior in Android Apps: Detection and Characterization
09:20 - 09:40
* ICSE * Journal first papers
The Scent of a Smell: An Extensive Comparison between Textual and Struc ...
09:40 - 10:00
* ICSE * Technical Papers
ConflictJS: Finding and Understanding Conflicts Between JavaScript Libr ...
10:00 - 10:20
* ICSE * Technical Papers
Q&A in groups
10:20 - 10:30
* ICSE * Technical Papers
Propagating Configuration Decisions with Modal Implication Graphs
11:00 - 11:20
* ICSE * Technical Papers
A Combinatorial Approach for Exposing Off-Nominal Behaviors
11:20 - 11:40
* ICSE * Technical Papers Award
Identifying Design Problems in the Source Code: A Grounded Theory
11:40 - 12:00
* ICSE * Journal first papers
Predicting Future Developer Behavior in the IDE Using Topic Models
12:00 - 12:20
* ICSE * Technical Papers
Q&A in groups
12:20 - 12:30
* ICSE * Technical Papers
Programming Not Only by Example
14:00 - 14:20
* ICSE * Technical Papers
Goal-Conflict Likelihood Assessment based on Model Counting
14:20 - 14:40
* ICSE * Journal first papers
A Posteriori Typing for Model-Driven Engineering: Concepts, Analysis, a ...
14:40 - 15:00
* ICSE * Technical Papers
A Static Verification Framework for Message Passing in Go using Behavio ...
15:00 - 15:20
* ICSE * Technical Papers
Q&A in groups
15:20 - 15:30