Live Demo Room - ICSE 2020

Write a Blog >>

Wed 24 June - Thu 16 July 2020

Venue

Room nameLive Demo Room

Floor0

Room InformationNo extra information available

Program

Time Zone

The program is currently displayed in (UTC) Coordinated Universal Time.

Use conference time zone: (UTC) Coordinated Universal TimeSelect 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

Tue 7 Jul
Displayed time zone: (UTC) Coordinated Universal Time change

09:10 - 10:00	ID1-Live DemosDemonstrations at Live Demo Room

09:10 50m Talk		SimilarAPI: Mining Analogical APIs for Library MigrationDemo Demonstrations Chunyang Chen Monash University
09:10 50m Talk		EvalDNN: A Toolbox for Evaluating Deep Neural Network ModelsDemo Demonstrations Yongqiang TIAN The Hong Kong University of Science and Technology, Zhihua Zeng Zhejiang University, Ming Wen Huazhong University of Science and Technology, China, Yepang Liu Southern University of Science and Technology, Tzu-yang Kuo The Hong Kong University of Science and Technology, Shing-Chi Cheung Department of Computer Science and Engineering, The Hong Kong University of Science and Technology
09:10 50m Talk		An SLR-Tool: Search Process in PracticeDemo Demonstrations Andreas Hinderks University of Seville, Francisco José Domínguez Mayo University of Seville, Jörg Thomaschewski University of Applied Sciences Emden/Leer, María José Escalona University of Seville
09:10 50m Talk		FeatureNET: Diversity-driven Generation of Deep Learning ModelsDemo Demonstrations Salah Ghamizi SntT - University of Luxembourg, Maxime Cordy SnT, University of Luxembourg, Mike Papadakis University of Luxembourg, Yves Le Traon University of Luxembourg

Wed 8 Jul
Displayed time zone: (UTC) Coordinated Universal Time change

17:10 - 18:00	AD3-Live DemosDemonstrations at Live Demo Room

17:10 50m Talk		PG-KLEE: Trading Soundness for CoverageDemo Demonstrations Richard Rutledge Georgia Institute of Technology, Alessandro Orso Georgia Tech
17:10 50m Talk		SMRL: A Metamorphic Security Testing Tool for Web SystemsDemo Demonstrations Phu X. Mai University of Luxembourg, Arda Goknil SnT, University of Luxembourg, Fabrizio Pastore University of Luxembourg, Lionel C. Briand SnT Centre/University of Luxembourg
17:10 50m Talk		Nimbus: Improving the Developer Experience for Serverless ApplicationsDemo Demonstrations Robert Chatley Imperial College London, Thomas Allerton Starling Bank Pre-print

Thu 9 Jul
Displayed time zone: (UTC) Coordinated Universal Time change

02:10 - 03:00	PD4-Live DemosDemonstrations at Live Demo Room

02:10 50m Talk		VITALSE: Visualizing Eye Tracking and Biometric DataDemo Demonstrations Devjeet Roy Washington State University, Sarah Fakhoury Washington State University, Venera Arnaoudova Washington State University Pre-print

09:10 - 10:00	ID5-Live DemosDemonstrations at Live Demo Room

09:10 50m Talk		GeekyNote: A Technical Documentation Tool with Coverage, Backtracking, Traces, and CouplingsDemo Demonstrations Yung-Pin Cheng National Central University, Wei-Nien Hsiung National Central University, Yu-Shan Wu IsCoollab Co. Ltd, Li-Hsuan Chen IsCoollab Co. Ltd

Fri 10 Jul
Displayed time zone: (UTC) Coordinated Universal Time change

09:10 - 10:00	ID6-Live DemosDemonstrations at Live Demo Room

09:10 50m Talk		MPI-SV: A Symbolic Verifier for MPI ProgramsDemo Demonstrations Zhenbang Chen College of Computer, National University of Defense Technology, Changsha, PR China, Hengbiao Yu National University of Defense Technology, Xianjin Fu National University of Defense Technology, Ji Wang School of Computer, National University of Defense Technology, China Pre-print

Sat 11 Jul
Displayed time zone: (UTC) Coordinated Universal Time change

02:10 - 03:00	PD7-Live DemosDemonstrations at Live Demo Room

02:10 50m Talk		mCoq: Mutation Analysis for Coq Verification ProjectsDemo Demonstrations Kush Jain The University of Texas at Austin, Karl Palmskog KTH Royal Institute of Technology, Ahmet Celik Facebook, Inc., Emilio Jesús Gallego Arias INRIA, Milos Gligoric The University of Texas at Austin
02:10 50m Talk		DroidMutator: An Effective Mutation Analysis Tool for Android ApplicationsDemo Demonstrations Jian Liu East China Normal University, Xusheng Xiao Case Western Reserve University, Lihua Xu New York University Shanghai, Liang Dou East China Normal University, Andy Podgurski Case Western University

17:10 - 18:00	AD8-Live DemosDemonstrations at Live Demo Room

17:10 50m Talk		The SmartSHARK Ecosystem for Software Repository MiningDemo Demonstrations Alexander Trautsch University of Göttingen, Fabian Trautsch University of Göttingen, Steffen Herbold University of Göttingen, Benjamin Ledel University of Göttingen, Jens Grabowski University of Göttingen Pre-print
17:10 50m Talk		WasmView: Visual Testing for WebAssembly ApplicationsDemo Demonstrations Alan Romano University at Buffalo, SUNY, Weihang Wang University at Buffalo, SUNY

Tue 7 Jul
Displayed time zone: (UTC) Coordinated Universal Time change


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Live Demo Room			Demonstrations ID1-Live Demos																																																																										Demonstrations

Wed 8 Jul
Displayed time zone: (UTC) Coordinated Universal Time change


Room	17:00						30
Live Demo Room			Demonstrations AD3-Live Demos

Thu 9 Jul
Displayed time zone: (UTC) Coordinated Universal Time change


Room	2:00						30						3:00						30						4:00						30						5:00						30						6:00						30						7:00						30						8:00						30						9:00						30
Live Demo Room			Demonstrations PD4-Live Demos																																																																										Demonstrations ID5-Live Demos

Fri 10 Jul
Displayed time zone: (UTC) Coordinated Universal Time change


Room	9:00						30
Live Demo Room			Demonstrations ID6-Live Demos

Sat 11 Jul
Displayed time zone: (UTC) Coordinated Universal Time change


Room	2:00						30						3:00						30						4:00						30						5:00						30						6:00						30						7:00						30						8:00						30						9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Live Demo Room			Demonstrations PD7-Live Demos																																																																										Demonstrations AD8-Live Demos

Tue 7 Jul
Displayed time zone: (UTC) Coordinated Universal Time change


Room	9:00			15			30			45
Live Demo Room			ICSE DemonstrationsDemo SimilarAPI: Mining Analogical APIs for Library Migration 09:10 - 10:00 Demo EvalDNN: A Toolbox for Evaluating Deep Neural Network Models 09:10 - 10:00 Demo An SLR-Tool: Search Process in Practice 09:10 - 10:00 Demo FeatureNET: Diversity-driven Generation of Deep Learning Models 09:10 - 10:00

Wed 8 Jul
Displayed time zone: (UTC) Coordinated Universal Time change


Room	17:00			15			30			45
Live Demo Room			ICSE DemonstrationsDemo PG-KLEE: Trading Soundness for Coverage 17:10 - 18:00 Demo SMRL: A Metamorphic Security Testing Tool for Web Systems 17:10 - 18:00 Demo Nimbus: Improving the Developer Experience for Serverless Applications 17:10 - 18:00

Thu 9 Jul
Displayed time zone: (UTC) Coordinated Universal Time change


Room	2:00			15			30			45			3:00			15			30			45			4:00			15			30			45			5:00			15			30			45			6:00			15			30			45			7:00			15			30			45			8:00			15			30			45			9:00			15			30			45
Live Demo Room			ICSE DemonstrationsDemo VITALSE: Visualizing Eye Tracking and Biometric Data 02:10 - 03:00																																																																										ICSE DemonstrationsDemo GeekyNote: A Technical Documentation Tool with Coverage, Backtracking, ... 09:10 - 10:00

Fri 10 Jul
Displayed time zone: (UTC) Coordinated Universal Time change


Room	9:00			15			30			45
Live Demo Room			ICSE DemonstrationsDemo MPI-SV: A Symbolic Verifier for MPI Programs 09:10 - 10:00

Sat 11 Jul
Displayed time zone: (UTC) Coordinated Universal Time change


Room	2:00			15			30			45			3:00			15			30			45			4:00			15			30			45			5:00			15			30			45			6:00			15			30			45			7:00			15			30			45			8:00			15			30			45			9:00			15			30			45			10:00			15			30			45			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
Live Demo Room			ICSE DemonstrationsDemo mCoq: Mutation Analysis for Coq Verification Projects 02:10 - 03:00 Demo DroidMutator: An Effective Mutation Analysis Tool for Android Applications 02:10 - 03:00																																																																										ICSE DemonstrationsDemo The SmartSHARK Ecosystem for Software Repository Mining 17:10 - 18:00 Demo WasmView: Visual Testing for WebAssembly Applications 17:10 - 18:00

Room information: Live Demo Room

Tue 7 Jul
Displayed time zone: (UTC) Coordinated Universal Time change

Wed 8 Jul
Displayed time zone: (UTC) Coordinated Universal Time change

Thu 9 Jul
Displayed time zone: (UTC) Coordinated Universal Time change

Fri 10 Jul
Displayed time zone: (UTC) Coordinated Universal Time change

Sat 11 Jul
Displayed time zone: (UTC) Coordinated Universal Time change

Tue 7 Jul
Displayed time zone: (UTC) Coordinated Universal Time change

Demonstrations

Demonstrations

Wed 8 Jul
Displayed time zone: (UTC) Coordinated Universal Time change

Demonstrations

Thu 9 Jul
Displayed time zone: (UTC) Coordinated Universal Time change

Demonstrations

Demonstrations

Fri 10 Jul
Displayed time zone: (UTC) Coordinated Universal Time change

Demonstrations

Sat 11 Jul
Displayed time zone: (UTC) Coordinated Universal Time change

Demonstrations

Demonstrations

Tue 7 Jul
Displayed time zone: (UTC) Coordinated Universal Time change

Wed 8 Jul
Displayed time zone: (UTC) Coordinated Universal Time change

Thu 9 Jul
Displayed time zone: (UTC) Coordinated Universal Time change

Fri 10 Jul
Displayed time zone: (UTC) Coordinated Universal Time change

Sat 11 Jul
Displayed time zone: (UTC) Coordinated Universal Time change

Tracks

Co-hosted Conferences

Co-hosted Symposia

Room information: Live Demo Room

Program Display Configuration

Tue 7 JulDisplayed time zone: (UTC) Coordinated Universal Time change

Wed 8 JulDisplayed time zone: (UTC) Coordinated Universal Time change

Thu 9 JulDisplayed time zone: (UTC) Coordinated Universal Time change

Fri 10 JulDisplayed time zone: (UTC) Coordinated Universal Time change

Sat 11 JulDisplayed time zone: (UTC) Coordinated Universal Time change

Tue 7 JulDisplayed time zone: (UTC) Coordinated Universal Time change

Demonstrations

Demonstrations

Wed 8 JulDisplayed time zone: (UTC) Coordinated Universal Time change

Demonstrations

Thu 9 JulDisplayed time zone: (UTC) Coordinated Universal Time change

Demonstrations

Demonstrations

Fri 10 JulDisplayed time zone: (UTC) Coordinated Universal Time change

Demonstrations

Sat 11 JulDisplayed time zone: (UTC) Coordinated Universal Time change

Demonstrations

Demonstrations

Tue 7 JulDisplayed time zone: (UTC) Coordinated Universal Time change

Wed 8 JulDisplayed time zone: (UTC) Coordinated Universal Time change

Thu 9 JulDisplayed time zone: (UTC) Coordinated Universal Time change

Fri 10 JulDisplayed time zone: (UTC) Coordinated Universal Time change

Sat 11 JulDisplayed time zone: (UTC) Coordinated Universal Time change

Tue 7 Jul
Displayed time zone: (UTC) Coordinated Universal Time change

Wed 8 Jul
Displayed time zone: (UTC) Coordinated Universal Time change

Thu 9 Jul
Displayed time zone: (UTC) Coordinated Universal Time change

Fri 10 Jul
Displayed time zone: (UTC) Coordinated Universal Time change

Sat 11 Jul
Displayed time zone: (UTC) Coordinated Universal Time change

Tue 7 Jul
Displayed time zone: (UTC) Coordinated Universal Time change

Wed 8 Jul
Displayed time zone: (UTC) Coordinated Universal Time change

Thu 9 Jul
Displayed time zone: (UTC) Coordinated Universal Time change

Fri 10 Jul
Displayed time zone: (UTC) Coordinated Universal Time change

Sat 11 Jul
Displayed time zone: (UTC) Coordinated Universal Time change

Tue 7 Jul
Displayed time zone: (UTC) Coordinated Universal Time change

Wed 8 Jul
Displayed time zone: (UTC) Coordinated Universal Time change

Thu 9 Jul
Displayed time zone: (UTC) Coordinated Universal Time change

Fri 10 Jul
Displayed time zone: (UTC) Coordinated Universal Time change

Sat 11 Jul
Displayed time zone: (UTC) Coordinated Universal Time change