SEAMS 2020
Mon 29 June - Fri 3 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

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 Chen Monash University
09:10
50m
Talk
EvalDNN: A Toolbox for Evaluating Deep Neural Network ModelsDemo
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 PracticeDemo
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 ModelsDemo
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
17:10
50m
Talk
PG-KLEE: Trading Soundness for CoverageDemo
ICSE Demonstrations
Richard Rutledge Georgia Institute of Technology, Alessandro Orso Georgia Tech
17:10
50m
Talk
SMRL: A Metamorphic Security Testing Tool for Web SystemsDemo
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 ApplicationsDemo
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
02:10
50m
Talk
VITALSE: Visualizing Eye Tracking and Biometric DataDemo
ICSE Demonstrations
Devjeet Roy Washington State University, Sarah Fakhoury Washington State University, Venera Arnaoudova Washington 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 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
09:10
50m
Talk
MPI-SV: A Symbolic Verifier for MPI ProgramsDemo
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
02:10
50m
Talk
mCoq: Mutation Analysis for Coq Verification ProjectsDemo
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 ApplicationsDemo
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
17:10
50m
Talk
The SmartSHARK Ecosystem for Software Repository MiningDemo
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 ApplicationsDemo
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

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

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

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

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

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