Type-Centric Kotlin Compiler Fuzzing: Preserving Test Program Correctness by Preserving Types. (ICST 2021 - Industry Track) - ICST 2021

Mon 12 - Fri 16 April 2021

Who

Daniil Stepanov, Marat Akhin, Mikhail Belyaev

Track

ICST 2021 Industry Track

Time Zone

The program is currently displayed in (GMT-03:00) Brasilia, Distrito Federal, Brazil.

Use conference time zone: (GMT-03:00) Brasilia, Distrito Federal, BrazilSelect 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

Wed 14 Apr 2021 09:15 - 09:45 at Carneiros - Industry II

Daniil Stepanov

Marat Akhin

Saint Petersburg Polytechnic University / JetBrains Research

Russia

Mikhail Belyaev

Saint Petersburg Polytechnic University / JetBrains Research

Time Zone

The program is currently displayed in (GMT-03:00) Brasilia, Distrito Federal, Brazil.

Use conference time zone: (GMT-03:00) Brasilia, Distrito Federal, BrazilSelect 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

Wed 14 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

	09:15 - 10:45	Industry IIIndustry Track at Carneiros

	09:15 30m Paper		Type-Centric Kotlin Compiler Fuzzing: Preserving Test Program Correctness by Preserving Types. Industry Track Daniil Stepanov , Marat Akhin Saint Petersburg Polytechnic University / JetBrains Research, Mikhail Belyaev Saint Petersburg Polytechnic University / JetBrains Research
	09:45 30m Paper		Automatically Checking Semantic Equivalence between Versions of Large-Scale C Projects. Industry Track Viktor Malík , Tomáš Vojnar Brno University of Technology
	10:15 30m Paper		A Failed attempt at creating Guidelines for Visual GUI Testingtesting: An industrial case study. Industry Track Emil Alégroth Blekinge Institute of Technology, Elin Petersén , John Tinnerholm