mCoq: Mutation Analysis for Coq Verification Projects (ICSE 2020 - Demonstrations) - ICSE 2020

Write a Blog >>

Wed 24 June - Thu 16 July 2020

Who

Kush Jain, Karl Palmskog, Ahmet Celik, Emilio Jesús Gallego Arias, Milos Gligoric

Track

ICSE 2020 Demonstrations

Time Zone

The program is currently displayed in (UTC) Coordinated Universal Time.

Use conference time zone: (UTC) Coordinated Universal TimeSelect other time zone

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 programSpecify a time band

When

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

Kush Jain

The University of Texas at Austin

Karl Palmskog

KTH Royal Institute of Technology

Sweden

Ahmet Celik

Facebook, Inc.

Emilio Jesús Gallego Arias

INRIA

France

Milos Gligoric

The University of Texas at Austin

United States

Time Zone

The program is currently displayed in (UTC) Coordinated Universal Time.

Use conference time zone: (UTC) Coordinated Universal TimeSelect other time zone

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 programSpecify a time band

Session Program

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 TransformationTechnical 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 Prasad Fujitsu Laboratories of America, 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 PracticeTechnical 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	PD7-Live DemosDemonstrations at Live Demo Room

	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