Leveraging Compiler Intermediate Representation for Multi- and Cross-Language Verification (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

Jack Garzella, Marek S. Baranowski, Shaobo He, Zvonimir Rakamaric

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 16:07 - 16:40 at St Jerome - Papers 2 Chair(s): Kedar Namjoshi

Jack Garzella

University of Utah

United States

Marek S. Baranowski

University of Utah

United States

Shaobo He

University of Utah

United States

Zvonimir Rakamaric

University of Utah

United States

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