Write a Blog >>
ICPC 2020
Mon 13 - Wed 15 July 2020
co-located with ICSE 2020
Venue
Room nameLive Demo Room
Floor0
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

Conference Day
Tue 7 Jul

Displayed time zone: (UTC) Coordinated Universal Time change

09:10 - 10:00
09:10
50m
Talk
SimilarAPI: Mining Analogical APIs for Library MigrationDemo
ICSE Demonstrations
Chunyang ChenMonash University
09:10
50m
Talk
EvalDNN: A Toolbox for Evaluating Deep Neural Network ModelsDemo
ICSE Demonstrations
Yongqiang TIANThe Hong Kong University of Science and Technology, Zhihua ZengZhejiang University, Ming WenHuazhong University of Science and Technology, China, Yepang LiuSouthern University of Science and Technology, Tzu-yang KuoThe Hong Kong University of Science and Technology, Shing-Chi CheungDepartment of Computer Science and Engineering, The Hong Kong University of Science and Technology
09:10
50m
Talk
An SLR-Tool: Search Process in PracticeDemo
ICSE Demonstrations
Andreas HinderksUniversity of Seville, Francisco José Domínguez MayoUniversity of Seville, Jörg ThomaschewskiUniversity of Applied Sciences Emden/Leer, María José EscalonaUniversity of Seville
09:10
50m
Talk
FeatureNET: Diversity-driven Generation of Deep Learning ModelsDemo
ICSE Demonstrations
Salah GhamiziSntT - University of Luxembourg, Maxime CordySnT, University of Luxembourg, Mike PapadakisUniversity of Luxembourg, Yves Le TraonUniversity of Luxembourg

Conference Day
Wed 8 Jul

Displayed time zone: (UTC) Coordinated Universal Time change

17:10 - 18:00
17:10
50m
Talk
PG-KLEE: Trading Soundness for CoverageDemo
ICSE Demonstrations
Richard RutledgeGeorgia Institute of Technology, Alessandro OrsoGeorgia Tech
17:10
50m
Talk
SMRL: A Metamorphic Security Testing Tool for Web SystemsDemo
ICSE Demonstrations
Phu X. MaiUniversity of Luxembourg, Arda GoknilSnT, University of Luxembourg, Fabrizio PastoreUniversity of Luxembourg, Lionel C. BriandSnT Centre/University of Luxembourg
17:10
50m
Talk
Nimbus: Improving the Developer Experience for Serverless ApplicationsDemo
ICSE Demonstrations
Robert ChatleyImperial College London, Thomas AllertonStarling Bank
Pre-print

Conference Day
Thu 9 Jul

Displayed time zone: (UTC) Coordinated Universal Time change

02:10 - 03:00
02:10
50m
Talk
VITALSE: Visualizing Eye Tracking and Biometric DataDemo
ICSE Demonstrations
Devjeet RoyWashington State University, Sarah FakhouryWashington State University, Venera ArnaoudovaWashington State University
Pre-print
09:10 - 10:00
09:10
50m
Talk
GeekyNote: A Technical Documentation Tool with Coverage, Backtracking, Traces, and CouplingsDemo
ICSE Demonstrations
Yung-Pin ChengNational Central University, Wei-Nien HsiungNational Central University, Yu-Shan WuIsCoollab Co. Ltd, Li-Hsuan ChenIsCoollab Co. Ltd

Conference Day
Fri 10 Jul

Displayed time zone: (UTC) Coordinated Universal Time change

09:10 - 10:00
09:10
50m
Talk
MPI-SV: A Symbolic Verifier for MPI ProgramsDemo
ICSE Demonstrations
Zhenbang ChenCollege of Computer, National University of Defense Technology, Changsha, PR China, Hengbiao YuNational University of Defense Technology, Xianjin FuNational University of Defense Technology, Ji WangSchool of Computer, National University of Defense Technology, China
Pre-print

Conference Day
Sat 11 Jul

Displayed time zone: (UTC) Coordinated Universal Time change

02:10 - 03:00
02:10
50m
Talk
mCoq: Mutation Analysis for Coq Verification ProjectsDemo
ICSE Demonstrations
Kush JainThe University of Texas at Austin, Karl PalmskogKTH Royal Institute of Technology, Ahmet CelikFacebook, Inc., Emilio Jesús Gallego AriasINRIA, Milos GligoricThe University of Texas at Austin
02:10
50m
Talk
DroidMutator: An Effective Mutation Analysis Tool for Android ApplicationsDemo
ICSE Demonstrations
Jian LiuEast China Normal University, Xusheng XiaoCase Western Reserve University, Lihua XuNew York University Shanghai, Liang DouEast China Normal University, Andy PodgurskiCase Western University
17:10 - 18:00
17:10
50m
Talk
The SmartSHARK Ecosystem for Software Repository MiningDemo
ICSE Demonstrations
Alexander TrautschUniversity of Göttingen, Fabian TrautschUniversity of Göttingen, Steffen HerboldUniversity of Göttingen, Benjamin LedelUniversity of Göttingen, Jens GrabowskiUniversity of Göttingen
Pre-print
17:10
50m
Talk
WasmView: Visual Testing for WebAssembly ApplicationsDemo
ICSE Demonstrations
Alan RomanoUniversity at Buffalo, SUNY, Weihang WangUniversity at Buffalo, SUNY

Conference Day
Tue 7 Jul

Displayed time zone: (UTC) Coordinated Universal Time change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Live Demo Room

Conference Day
Wed 8 Jul

Displayed time zone: (UTC) Coordinated Universal Time change

Conference Day
Thu 9 Jul

Displayed time zone: (UTC) Coordinated Universal Time change

Conference Day
Fri 10 Jul

Displayed time zone: (UTC) Coordinated Universal Time change

Conference Day
Sat 11 Jul

Displayed time zone: (UTC) Coordinated Universal Time change

Room2:00303:00304:00305:00306:00307:00308:00309:003010:003011:003012:003013:003014:003015:003016:003017:0030
Live Demo Room

Conference Day
Thu 9 Jul

Displayed time zone: (UTC) Coordinated Universal Time change

Conference Day
Fri 10 Jul

Displayed time zone: (UTC) Coordinated Universal Time change

Conference Day
Sat 11 Jul

Displayed time zone: (UTC) Coordinated Universal Time change

Room2:001530453:001530454:001530455:001530456:001530457:001530458:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Live Demo Room