Write a Blog >>
ICSE 2020
Wed 24 June - Thu 16 July 2020
Sat 11 Jul 2020 01:56 - 01:59 at Baekje - P28-Analysis and Verification Chair(s): Rahul Purandare
Sat 11 Jul 2020 02:10 - 03:00 at Live Demo Room - PD7-Live Demos

Sat 11 Jul
Times are displayed in time zone: (UTC) Coordinated Universal Time change

icse-2020-paper-presentations
01:05 - 02:05: Paper Presentations - P28-Analysis and Verification at Baekje
Chair(s): Rahul PurandareIIIT-Delhi
icse-2020-papers01:05 - 01:17
Talk
Rijnard van TonderSourcegraph, Claire Le GouesCarnegie Mellon University
Demonstrations01:17 - 01:20
Talk
Hiroaki YoshidaFujitsu Laboratories of America, Inc., Rohan BavishiUC Berkeley, Keisuke HottaFujitsu Laboratories Ltd., Yusuke NemotoFujitsu Laboratories Ltd., Mukul PrasadFujitsu Laboratories of America, Inc, Shinji KikuchiFujitsu Laboratories Ltd.
icse-2020-papers01:20 - 01:32
Talk
Ramanathan RamuIowa State University, Ganesha UpadhyayaHarmony.one, Hoan Anh NguyenAmazon, Hridesh RajanIowa State University, USA
icse-2020-papers01:32 - 01:44
Talk
Li SuiMassey University, New Zealand, Jens DietrichVictoria University of Wellington, Amjed TahirMassey University, George FourtounisUniversity of Athens
Pre-print
icse-2020-Software-Engineering-in-Practice01:44 - 01:56
Talk
Chetan BansalMicrosoft Research, Sundararajan RenganathanStanford University, Ashima AsudaniMicrosoft, Olivier MidyMicrosoft, Mathru JanakiramanAmazon
Pre-print
Demonstrations01:56 - 01:59
Talk
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
Demonstrations
02:10 - 03:00: Demonstrations - PD7-Live Demos at Live Demo Room
Demonstrations02:10 - 03:00
Talk
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
Demonstrations02:10 - 03:00
Talk
Jian LiuEast China Normal University, Xusheng XiaoCase Western Reserve University, Lihua XuNew York University Shanghai, Liang DouEast China Normal University, Andy PodgurskiCase Western University