Fixing Code That Explodes Under Symbolic Evaluation (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

Sorawee Porncharoenwase, James Bornholt, Emina Torlak

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 12:00 - 12:30 at St Jerome - Papers 1 Chair(s): Natasha Sharygina

Sorawee Porncharoenwase

University of Washington

United States

James Bornholt

University of Texas at Austin

United States

Emina Torlak

University of Washington

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

10:30 - 12:30	Papers 1VMCAI at St Jerome Chair(s): Natasha Sharygina USI Lugano, Switzerland

10:30 30m Talk		Witnessing Secure Compilation VMCAI Kedar Namjoshi Bell Labs, Nokia, Lucas M. Tabajara Rice University
11:00 30m Talk		BackFlow: Backward Context-sensitive Flow Reconstruction of Taint Analysis Results VMCAI Pietro Ferrara Università Ca' Foscari, Venezia, Italy, Luca Olivieri JuliaSoft SRL, Fausto Spoto U. Verona
11:30 30m Coffee break		Mini Break VMCAI
12:00 30m Talk		Fixing Code That Explodes Under Symbolic Evaluation VMCAI Sorawee Porncharoenwase University of Washington, James Bornholt University of Texas at Austin, Emina Torlak University of Washington