Harnessing Static Analysis to Help Learn Pseudo-Inverses of String Manipulating Procedures for Automatic Test Generation (VMCAI 2020 - - 21st International Conference on Verification, Model Checking, and Abstract Interpretation)

Write a Blog >>

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

Who

Oren Ish-Shalom, Shachar Itzhaky, Roman Manevich, Noam Rinetzky

Track

VMCAI 2020

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

Save

When

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

Oren Ish-Shalom

Tel Aviv University, Israel

Israel

Shachar Itzhaky

Technion, Israel

Israel

Roman Manevich

Mellanox Technologies

Israel

Noam Rinetzky

Tel Aviv University

Israel

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

Display full programSpecify a time band

Save

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