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

Tue 9 Jan
Times are displayed in time zone: Tijuana, Baja California change

14:00 - 15:30: Types and AnalysisVMCAI at Watercourt
Chair(s): Tachio TerauchiWaseda University
14:00 - 14:30
From Shapes to Amortized Complexity
Tomas FiedorVUT Brno, Lukáš HolíkBrno University of Technology, Adam RogalewiczBrno University of Technology , Moritz SinnSt. Polten University of Applied Sciences, Tomáš VojnarBrno University of Technology, Florian ZulegerTU Vienna
14:30 - 15:00
Invariant Generation for Multi-Path Loops with Polynomial Assignments
Andreas HumenbergerVienna University of Technology, Maximilian JaroschekVienna University of Technology, Laura KovacsChalmers University of Technology
15:00 - 15:30
Refinement Types for Ruby
Milod Kazerounian, Niki VazouUniversity of Maryland, Austin BourgerieUniversity of Maryland, Jeffrey S. FosterUniversity of Maryland, College Park, Emina TorlakUniversity of Washington