Write a Blog >>
ICPC 2020
Mon 13 - Wed 15 July 2020
co-located with
ICSE 2020
Toggle navigation
Attending
Venue:
ICSE 2020
Registration
Conference Timeline
Code of Conduct
Diversity and Inclusion Plan
Terms and Conditions
Privacy Policy
ICSE Virtual
Presenter Information
K-Culture Experience
Social Events
Virtual Sponsor Booths
Going Virtual Announcements
ICSE Rescheduled
Brief ICSE Virtual
Program
ICPC Program
Your Program
Mon 13 Jul
Tue 14 Jul
Wed 15 Jul
Tracks
ICPC 2020
General Submission Instructions
Research
Industry
Programming Education
ERA
Tool Demonstration
Organization
ICPC 2020 Committees
Organizing Committee
Steering Committee
Track Committees
Research
Industry
Programming Education
ERA
Tool Demonstration
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 2020
(
series
) /
ICPC 2020
(
series
) /
/
Room information: Live Demo Room
Venue
Room name
Live Demo Room
Floor
0
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(UTC) Coordinated Universal Time
.
Use conference time zone: (UTC) Coordinated Universal Time
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
Tue 7 Jul
Displayed time zone:
(UTC) Coordinated Universal Time
change
09:10 - 10:00
ID1-Live Demos
ICSE Demonstrations
at
Live Demo Room
09:10
50m
Talk
SimilarAPI: Mining Analogical APIs for Library Migration
Demo
ICSE Demonstrations
Chunyang Chen
Monash University
09:10
50m
Talk
EvalDNN: A Toolbox for Evaluating Deep Neural Network Models
Demo
ICSE 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 Practice
Demo
ICSE 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 Models
Demo
ICSE 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 Demos
ICSE Demonstrations
at
Live Demo Room
17:10
50m
Talk
PG-KLEE: Trading Soundness for Coverage
Demo
ICSE Demonstrations
Richard Rutledge
Georgia Institute of Technology
,
Alessandro Orso
Georgia Tech
17:10
50m
Talk
SMRL: A Metamorphic Security Testing Tool for Web Systems
Demo
ICSE 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 Applications
Demo
ICSE 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 Demos
ICSE Demonstrations
at
Live Demo Room
02:10
50m
Talk
VITALSE: Visualizing Eye Tracking and Biometric Data
Demo
ICSE Demonstrations
Devjeet Roy
Washington State University
,
Sarah Fakhoury
Washington State University
,
Venera Arnaoudova
Washington State University
Pre-print
09:10 - 10:00
ID5-Live Demos
ICSE Demonstrations
at
Live Demo Room
09:10
50m
Talk
GeekyNote: A Technical Documentation Tool with Coverage, Backtracking, Traces, and Couplings
Demo
ICSE 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 Demos
ICSE Demonstrations
at
Live Demo Room
09:10
50m
Talk
MPI-SV: A Symbolic Verifier for MPI Programs
Demo
ICSE 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 Demos
ICSE Demonstrations
at
Live Demo Room
02:10
50m
Talk
mCoq: Mutation Analysis for Coq Verification Projects
Demo
ICSE 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 Applications
Demo
ICSE 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 Demos
ICSE Demonstrations
at
Live Demo Room
17:10
50m
Talk
The SmartSHARK Ecosystem for Software Repository Mining
Demo
ICSE 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 Applications
Demo
ICSE 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
ICSE Demonstrations
ID1-Live Demos
ICSE Demonstrations
Wed 8 Jul
Displayed time zone:
(UTC) Coordinated Universal Time
change
Room
17:00
30
Live Demo Room
ICSE 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
ICSE Demonstrations
PD4-Live Demos
ICSE Demonstrations
ID5-Live Demos
Fri 10 Jul
Displayed time zone:
(UTC) Coordinated Universal Time
change
Room
9:00
30
Live Demo Room
ICSE 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
ICSE Demonstrations
PD7-Live Demos
ICSE 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 Demonstrations
Demo
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 Demonstrations
Demo
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 Demonstrations
Demo
VITALSE: Visualizing Eye Tracking and Biometric Data
02:10 - 03:00
ICSE Demonstrations
Demo
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 Demonstrations
Demo
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 Demonstrations
Demo
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 Demonstrations
Demo
The SmartSHARK Ecosystem for Software Repository Mining
17:10 - 18:00
Demo
WasmView: Visual Testing for WebAssembly Applications
17:10 - 18:00
x
Sat 23 Nov 21:15