From Shapes to Amortized Complexity (VMCAI 2018 - 19th International Conference on Verification, Model Checking, and Abstract Interpretation)

Sun 7 - Sat 13 January 2018 Los Angeles, California, United States

Who

Tomas Fiedor, Lukáš Holík, Adam Rogalewicz, Moritz Sinn, Tomáš Vojnar, Florian Zuleger

Track

VMCAI 2018

Time Zone

The program is currently displayed in (GMT-08:00) Tijuana, Baja California.

Use conference time zone: (GMT-08:00) Tijuana, Baja CaliforniaSelect 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

Tue 9 Jan 2018 14:00 - 14:30 at Watercourt - Types and Analysis Chair(s): Tachio Terauchi

Tomas Fiedor

VUT Brno

Lukáš Holík

Brno University of Technology

Adam Rogalewicz

Brno University of Technology

Moritz Sinn

St. Polten University of Applied Sciences

Tomáš Vojnar

Brno University of Technology

Florian Zuleger

TU Vienna

Time Zone

The program is currently displayed in (GMT-08:00) Tijuana, Baja California.

Use conference time zone: (GMT-08:00) Tijuana, Baja CaliforniaSelect 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

Tue 9 Jan
Displayed time zone: Tijuana, Baja California change

14:00 - 15:30	Types and AnalysisVMCAI at Watercourt Chair(s): Tachio Terauchi Waseda University

14:00 30m Talk		From Shapes to Amortized Complexity VMCAI Tomas Fiedor VUT Brno, Lukáš Holík Brno University of Technology, Adam Rogalewicz Brno University of Technology , Moritz Sinn St. Polten University of Applied Sciences, Tomáš Vojnar Brno University of Technology, Florian Zuleger TU Vienna
14:30 30m Talk		Invariant Generation for Multi-Path Loops with Polynomial Assignments VMCAI Andreas Humenberger Vienna University of Technology, Maximilian Jaroschek Vienna University of Technology, Laura Kovacs Chalmers University of Technology
15:00 30m Talk		Refinement Types for Ruby VMCAI Milod Kazerounian , Niki Vazou University of Maryland, Austin Bourgerie University of Maryland, Jeffrey S. Foster University of Maryland, College Park, Emina Torlak University of Washington