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

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