ICPC 2018
Sun 27 - Mon 28 May 2018
Gothenburg, Sweden
co-located with
* ICSE 2018 *
Toggle navigation
Attending
Venue: Congress center Gothia Towers
* ICSE 2018 *
Registration
Accommodation, Hotels, Sharing rooms
Gothenburg
Travel
Travel and participation support
Social Events
Excursions and Side Program
Support Opportunities and Exibitions
Resources
ICSE Morning Run
Football
Sponsors and Supporters
Lunch and Coffee Break menus
Photos
Program
ICPC Program
Your Program
ICPC 2018 Program
Sun 27 May
Mon 28 May
Tracks
ICPC 2018
Technical Research
Early Research Achievement
Tool Demonstration
Industry
Organization
ICPC 2018 Committees
ICPC 2018 Organization Committee
ICPC 2018 Steering Committee
Track Committees
Technical Research
Early Research Achievement
Tool Demonstration
Industry
Contributors
People Index
Search
Series
Series
ICPC 2025
ICPC 2024
ICPC 2023
ICPC 2022
ICPC 2021
ICPC 2020
ICPC 2019
ICPC 2018
Sign in
Sign up
* ICSE 2018 *
(
series
) /
ICPC 2018
(
series
) /
Congress center Gothia Towers
/
Room information: E1/B room
Venue
Congress center Gothia Towers
Room name
E1/B room
Floor
0
Capacity
50
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
.
Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-06:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-04:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+04:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+09:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+10:00) Hobart
(GMT+10:00) Vladivostok
(GMT+10:30) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+12:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+12:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
The GMT offsets shown reflect the offsets
at the moment of the conference
.
Time Band
By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.
Display full program
Specify a time band
-
Save
×
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
Test automation and failure diagnosis
* ICSE * DEMO - Demonstrations
at
E1/B room
Chair(s):
Ralf Reussner
Karlsruhe Institute of Technology (KIT) and FZI - Research Center for Information Technology (FZI)
11:00
30m
Talk
Aletheia: A Failure Diagnosis Toolchain
* ICSE * DEMO - Demonstrations
Mojdeh Golagha
,
Abu Mohammed Raisuddin
Technical University of Munich
,
Lennart Mittag
,
Alexander Pretschner
,
Dominik Hellhake
11:30
30m
Demonstration
When the testing gets tough, the tough get ElasTest
* ICSE * DEMO - Demonstrations
Antonia Bertolino
CNR-ISTI
,
Antonello Calabrò
CNR-ISTI
,
Guglielmo De Angelis
CNR-IASI, CNR-ISTI
,
Micael Gallego
,
Boni García
,
Francisco Gortázar
Universidad Rey Juan Carlos
DOI
Pre-print
Media Attached
12:00
30m
Talk
SUSHI: A Test Generator for Programs with Complex Structured Inputs
* ICSE * DEMO - Demonstrations
Pietro Braione
University of Milano-Bicocca
,
Giovanni Denaro
University of Milano-Bicocca, Italy
,
Andrea Mattavelli
Imperial College London
,
Mauro Pezze
Università della Svizzera italiana (USI) and Università degli Studi di Milano Bicocca
Pre-print
14:00 - 15:30
Performance and NFR
* ICSE * DEMO - Demonstrations
at
E1/B room
Chair(s):
Matthias Galster
University of Canterbury
14:00
30m
Talk
The Palladio-Bench for Modeling and Simulating Software Architectures
* ICSE * DEMO - Demonstrations
Robert Heinrich
,
Dominik Werle
,
Heiko Klare
,
Ralf Reussner
Karlsruhe Institute of Technology (KIT) and FZI - Research Center for Information Technology (FZI)
,
Max Kramer
,
Steffen Becker
University of Stuttgart
,
Jens Happe
,
Heiko Koziolek
,
Klaus Krogmann
Link to publication
Media Attached
14:30
30m
Talk
PerformanceHat - Augmenting Source Code with Runtime Performance Traces in the IDE
* ICSE * DEMO - Demonstrations
Jürgen Cito
MIT
,
Philipp Leitner
Chalmers University of Technology & University of Gothenburg
,
Christian Bosshard
,
Markus Knecht
,
Genc Mazlami
,
Harald Gall
University of Zurich
15:00
30m
Talk
PROMOpedia — A web-content management-based encyclopedia of software property models
* ICSE * DEMO - Demonstrations
Séverine Sentilles
Mälardalen University
,
Federico Ciccozzi
Malardalen University
,
Efi Papatheocharous
RISE ICT/SICS
Pre-print
Media Attached
16:00 - 17:30
Evolution
* ICSE * DEMO - Demonstrations
at
E1/B room
Chair(s):
Romina Spalazzese
Malmö University
16:00
30m
Demonstration
GuideGen - A Tool for Keeping Requirements and Acceptance Tests Aligned
* ICSE * DEMO - Demonstrations
Sofija Hotomski
IFI, University of Zurich
,
Martin Glinz
Link to publication
16:30
30m
Talk
EVA: A Tool for Visualizing Software Architectural Evolution
* ICSE * DEMO - Demonstrations
Daye Nam
University of Southern California, USA
,
Youn Kyu Lee
,
Nenad Medvidović
University of Southern California
Pre-print
Media Attached
17:00
30m
Talk
CSLICERCLOUD: A Web-Based Semantic History Slicing Framework
* ICSE * DEMO - Demonstrations
Yi Li
Nanyang Technological University
,
Chenguang Zhu
University of Texas, Austin
,
Julia Rubin
University of British Columbia
,
Marsha Chechik
University of Toronto
Pre-print
Media Attached
Thu 31 May
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
11:00 - 12:30
Static analysis
* ICSE * DEMO - Demonstrations
at
E1/B room
Chair(s):
Anne Koziolek
Karlsruhe Institute of Technology
11:00
30m
Demonstration
AnATLyzer: An Advanced IDE for ATL Model Transformations
* ICSE * DEMO - Demonstrations
Jesús Sánchez Cuadrado
,
Esther Guerra
,
Juan de Lara
Pre-print
Media Attached
11:30
30m
Talk
VisuFlow: a Debugging Environment for Static Analyses
* ICSE * DEMO - Demonstrations
Lisa Nguyen Quang Do
Paderborn University
,
Stefan Krüger
,
Patrick Hill
,
Karim Ali
University of Alberta
,
Eric Bodden
Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
Link to publication
Pre-print
12:00
30m
Talk
SQLInspect: A Static Analyzer to Inspect Database Usage in Java Applications
* ICSE * DEMO - Demonstrations
Csaba Nagy
,
Anthony Cleve
University of Namur
14:00 - 15:30
Verification
* ICSE * DEMO - Demonstrations
at
E1/B room
Chair(s):
Marie-Christine Jakobs
LMU, Munich, Germany
14:00
30m
Talk
COMB: Computing Relevant Program Behaviors
* ICSE * DEMO - Demonstrations
Benjamin Holland
,
Payas Awadhutkar
,
Suresh Kothari
Iowa State University, USA
,
Ahmed Tamrawi
,
Jon Mathews
EnSoft Corp.
Link to publication
14:30
30m
Demonstration
The Gamma Statechart Composition Framework: Design, Verification and Code Generation for Component-Based Reactive Systems
* ICSE * DEMO - Demonstrations
Vince Molnár
Budapest University of Technology and Economics
,
Bence Graics
Budapest University of Technology and Economics
,
András Vörös
Budapest University of Technology and Economics
,
Istvan Majzik
Budapest University of Technology and Economics
,
Daniel Varro
McGill University / Budapest University of Technology and Economics
DOI
Pre-print
Media Attached
15:00
30m
Talk
A Regression Proof Selection Tool For Coq
* ICSE * DEMO - Demonstrations
Ahmet Celik
University of Texas at Austin, USA
,
Karl Palmskog
The University of Texas at Austin
,
Milos Gligoric
University of Texas at Austin
Pre-print
Media Attached
File Attached
Wed 30 May
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
E1/B room
* ICSE * DEMO - Demonstrations
Test automation and failure diagnosis
* ICSE * DEMO - Demonstrations
Performance and NFR
* ICSE * DEMO - Demonstrations
Evolution
Thu 31 May
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
E1/B room
* ICSE * DEMO - Demonstrations
Static analysis
* ICSE * DEMO - Demonstrations
Verification
Wed 30 May
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
E1/B room
* ICSE * DEMO - Demonstrations
Aletheia: A Failure Diagnosis Toolchain
11:00 - 11:30
* ICSE * DEMO - Demonstrations
When the testing gets tough, the tough get ElasTest
11:30 - 12:00
* ICSE * DEMO - Demonstrations
SUSHI: A Test Generator for Programs with Complex Structured Inputs
12:00 - 12:30
* ICSE * DEMO - Demonstrations
The Palladio-Bench for Modeling and Simulating Software Architectures
14:00 - 14:30
* ICSE * DEMO - Demonstrations
PerformanceHat - Augmenting Source Code with Runtime Performance Traces ...
14:30 - 15:00
* ICSE * DEMO - Demonstrations
PROMOpedia — A web-content management-based encyclopedia of software pr ...
15:00 - 15:30
* ICSE * DEMO - Demonstrations
GuideGen - A Tool for Keeping Requirements and Acceptance Tests Aligned
16:00 - 16:30
* ICSE * DEMO - Demonstrations
EVA: A Tool for Visualizing Software Architectural Evolution
16:30 - 17:00
* ICSE * DEMO - Demonstrations
CSLICERCLOUD: A Web-Based Semantic History Slicing Framework
17:00 - 17:30
Thu 31 May
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
E1/B room
* ICSE * DEMO - Demonstrations
AnATLyzer: An Advanced IDE for ATL Model Transformations
11:00 - 11:30
* ICSE * DEMO - Demonstrations
VisuFlow: a Debugging Environment for Static Analyses
11:30 - 12:00
* ICSE * DEMO - Demonstrations
SQLInspect: A Static Analyzer to Inspect Database Usage in Java Applica ...
12:00 - 12:30
* ICSE * DEMO - Demonstrations
COMB: Computing Relevant Program Behaviors
14:00 - 14:30
* ICSE * DEMO - Demonstrations
The Gamma Statechart Composition Framework: Design, Verification and Co ...
14:30 - 15:00
* ICSE * DEMO - Demonstrations
A Regression Proof Selection Tool For Coq
15:00 - 15:30
x
Fri 13 Dec 09:15