Sharing Ghost Variables in a Collection of Abstract Domains (VMCAI 2020 - - 21st International Conference on Verification, Model Checking, and Abstract Interpretation) - POPL 2020

Write a Blog >>

Sun 19 - Sat 25 January 2020 New Orleans, Louisiana, United States

Who

Marc Chevalier, Jerome Feret

Track

Time Zone

The program is currently displayed in (GMT-06:00) Saskatchewan, Central America.

Use conference time zone: (GMT-06:00) Saskatchewan, Central AmericaSelect 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

Mon 20 Jan 2020 11:00 - 11:30 at St Jerome - Papers 3 Chair(s): Dirk Beyer

Marc Chevalier

ENS, CNRS, PSL University, INRIA

France

Jerome Feret

INRIA Paris

France

Time Zone

The program is currently displayed in (GMT-06:00) Saskatchewan, Central America.

Use conference time zone: (GMT-06:00) Saskatchewan, Central AmericaSelect 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

Mon 20 Jan
Displayed time zone: Saskatchewan, Central America change

	10:30 - 12:30	Papers 3VMCAI at St Jerome Chair(s): Dirk Beyer LMU Munich

	10:30 30m Research paper		A Systematic Approach to Abstract Interpretation of Program Transformations VMCAI Sven Keidel JGU Mainz, Sebastian Erdweg JGU Mainz Pre-print
	11:00 30m Talk		Sharing Ghost Variables in a Collection of Abstract Domains VMCAI Marc Chevalier ENS, CNRS, PSL University, INRIA, Jerome Feret INRIA Paris
	11:30 30m Coffee break		Mini Break VMCAI
	12:00 30m Talk		Harnessing Static Analysis to Help Learn Pseudo-Inverses of String Manipulating Procedures for Automatic Test Generation VMCAI Oren Ish-Shalom Tel Aviv University, Israel, Shachar Itzhaky Technion, Israel, Roman Manevich Mellanox Technologies, Noam Rinetzky Tel Aviv University