E1/B room - ICPC 2018

VenueCongress center Gothia Towers

Room nameE1/B room

Floor0

Capacity50

Room InformationNo extra information available

Program

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, ViennaSelect other time zone

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 programSpecify 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

Room information: E1/B room

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

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

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

* ICSE * DEMO - Demonstrations

* ICSE * DEMO - Demonstrations

* ICSE * DEMO - Demonstrations

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

* ICSE * DEMO - Demonstrations

* ICSE * DEMO - Demonstrations

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

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

Tracks

Room information: E1/B room

Program Display Configuration

Wed 30 MayDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 31 MayDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 30 MayDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

* ICSE * DEMO - Demonstrations

* ICSE * DEMO - Demonstrations

* ICSE * DEMO - Demonstrations

Thu 31 MayDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

* ICSE * DEMO - Demonstrations

* ICSE * DEMO - Demonstrations

Wed 30 MayDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 31 MayDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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

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

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

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

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

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