Refinement Types for Ruby (VMCAI 2018 - 19th International Conference on Verification, Model Checking, and Abstract Interpretation) - POPL 2018

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

Who

Milod Kazerounian, Niki Vazou, Austin Bourgerie, Jeffrey S. Foster, Emina Torlak

Track

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

When

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

Milod Kazerounian

Niki Vazou

University of Maryland

Austin Bourgerie

University of Maryland

Jeffrey S. Foster

University of Maryland, College Park

United States

Emina Torlak

University of Washington

United States

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

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