Putting the Squeeze on Array Programs: Loop Verification via Inductive Rank Reduction (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, Noam Rinetzky, Sharon Shoham

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

Sun 19 Jan 2020 17:12 - 17:45 at St Jerome - Papers 2 Chair(s): Kedar Namjoshi

Oren Ish-Shalom

Tel Aviv University, Israel

Israel

Shachar Itzhaky

Technion, Israel

Israel

Noam Rinetzky

Tel Aviv University

Israel

Sharon Shoham

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

Sun 19 Jan
Displayed time zone: Saskatchewan, Central America change

15:35 - 17:45	Papers 2VMCAI at St Jerome Chair(s): Kedar Namjoshi Bell Labs, Nokia

15:35 32m Talk		The Correctness of a Code Generator for a Functional Language VMCAI Nathanaël Courant INRIA, Antoine Sere Ecole Polytechnique, Natarajan Shankar SRI International, USA
16:07 32m Talk		Leveraging Compiler Intermediate Representation for Multi- and Cross-Language Verification VMCAI Jack Garzella University of Utah, Marek S. Baranowski University of Utah, Shaobo He University of Utah, Zvonimir Rakamaric University of Utah
16:40 32m Coffee break		Mini Break VMCAI
17:12 32m Talk		Putting the Squeeze on Array Programs: Loop Verification via Inductive Rank Reduction VMCAI Oren Ish-Shalom Tel Aviv University, Israel, Shachar Itzhaky Technion, Israel, Noam Rinetzky Tel Aviv University, Sharon Shoham Tel Aviv university