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

Displayed time zone: (UTC) Coordinated Universal Time change

01:05 - 02:05
P28-Analysis and VerificationSoftware Engineering in Practice / Technical Papers / Demonstrations at Baekje
Chair(s): Rahul Purandare IIIT-Delhi
01:05
12m
Talk
Tailoring Programs for Static Analysis via Program TransformationTechnicalArtifact Available
Technical Papers
Rijnard van Tonder Sourcegraph, Claire Le Goues Carnegie Mellon University
01:17
3m
Talk
Phoenix: A Tool for Automated Data-Driven Synthesis of Repairs for Static Analysis ViolationsDemo
Demonstrations
Hiroaki Yoshida Fujitsu Laboratories of America, Inc., Rohan Bavishi UC Berkeley, Keisuke Hotta Fujitsu Laboratories Ltd., Yusuke Nemoto Fujitsu Laboratories Ltd., Mukul R. Prasad Fujitsu Laboratories of America, Inc, Shinji Kikuchi Fujitsu Laboratories Ltd.
01:20
12m
Talk
BCFA: Bespoke Control Flow Analysis for CFA at ScaleTechnical
Technical Papers
Ramanathan Ramu Iowa State University, Ganesha Upadhyaya Harmony.one, Hoan Anh Nguyen Amazon, Hridesh Rajan Iowa State University, USA
01:32
12m
Talk
On the Recall of Static Call Graph Construction in PracticeArtifact ReusableTechnicalArtifact Available
Technical Papers
Li Sui Massey University, New Zealand, Jens Dietrich Victoria University of Wellington, Amjed Tahir Massey University, George Fourtounis University of Athens
Pre-print
01:44
12m
Talk
DeCaf: Diagnosing & Triaging Performance Issues in Large-Scale Cloud ServicesSEIP
Software Engineering in Practice
Chetan Bansal Microsoft Research, Sundararajan Renganathan Stanford University, Ashima Asudani Microsoft, Olivier Midy Microsoft, Mathru Janakiraman Amazon
Pre-print
01:56
3m
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 - 03:00
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