Write a Blog >>
VenueHilton St. Petersburg Bayfront
Room nameRoom St Petersburg I
Floor0
Room InformationNo extra information available
Program

You're viewing the program in a time zone which is different from your device's time zone - change time zone

Sun 17 Jan
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

08:50 - 09:00
WelcomeVMCAI at Room St Petersburg I
Chair(s): K. Rustan M. LeinoMicrosoft Research
09:00 - 10:00
Invited Talk IVMCAI at Room St Petersburg I
Chair(s): Sharon Shoham
09:00
60m
Talk
Automating Abstract Interpretation
VMCAI
Thomas RepsUniversity of Wisconsin - Madison and Grammatech Inc.

Mon 18 Jan
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

09:00 - 10:00
Invited Talk IIVMCAI at Room St Petersburg I
Chair(s): K. Rustan M. LeinoMicrosoft Research
09:00
60m
Talk
Ironclad - Full Verification of Complex Systems
VMCAI
Bryan ParnoMicrosoft Research
10:30 - 12:00
Hybrid and Timed SystemsVMCAI at Room St Petersburg I
Chair(s): David MonniauxCNRS, VERIMAG
10:30
30m
Talk
Abstract Interpretation with Infinitesimals
VMCAI
Kengo Kido, Swarat ChaudhuriRice University, Ichiro HasuoUniversity of Tokyo
11:00
30m
Talk
Lipschitz Robustness of Timed I/O Systems
VMCAI
Thomas A. HenzingerIST Austria, Jan OtopUniversity of Wrocław, Roopsha SamantaIST Austria
11:30
30m
Talk
A method for invariant generation for polynomial continuous systems
VMCAI

Tue 19 Jan
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

09:00 - 10:00
Invited Talk IIIVMCAI at Room St Petersburg I
Chair(s): Bor-Yuh Evan ChangUniversity of Colorado Boulder
09:00
60m
Talk
Viper - A Verification Infrastructure for Permission-based Reasoning
VMCAI
Peter MüllerETH Zurich
10:30 - 12:00
Concurrent ProgramsVMCAI at Room St Petersburg I
Chair(s): Noam Rinetzky
10:30
30m
Talk
Pointer Race Freedom
VMCAI
Frédéric Haziza, Lukáš Holík, Roland Meyer, Sebastian WolffFraunhofer ITWM and TU Kaiserslautern
11:00
30m
Talk
A program logic for C11 memory fences
VMCAI
Marko DokoMPI-SWS, Germany, Viktor VafeiadisMPI-SWS, Germany
11:30
30m
Talk
From Low Level Pointers to High Level Containers
VMCAI
Kamil Dudka, Lukáš Holík, Petr Peringer, Tomáš VojnarBrno University of Technology
18:00 - 21:00
CPP Reception, sponsored by the DeepSpec projectCPP at Room St Petersburg I
18:00
3h
Social Event
CPP Reception, sponsored by the DeepSpec project
CPP

Sat 23 Jan
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

09:00 - 10:00
Session OneOff the Beaten Track at Room St Petersburg I
Chair(s): Lindsey KuperIntel Labs
09:00
15m
Day opening
Opening remarks and program chair's report
Off the Beaten Track
Lindsey KuperIntel Labs
09:15
45m
Talk
Keynote Talk: Operationalizing Creative Theories
Off the Beaten Track
K: Chris MartensCarnegie Mellon University
14:00 - 15:35
Session ThreeOff the Beaten Track at Room St Petersburg I
Chair(s): Limin JiaCarnegie Mellon University
14:00
45m
Talk
Keynote Talk: Generalising Abstraction
Off the Beaten Track
K: Robert AtkeyUniversity of Strathclyde
14:45
25m
Talk
The Semantics of Syntax: Applying Denotational Semantics to Hygienic Macro Systems
Off the Beaten Track
Pre-print
15:10
25m
Talk
Affine Functional Programs as Higher-order Boolean Circuits
Off the Beaten Track
Pre-print

Sun 17 Jan
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

Mon 18 Jan
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

Tue 19 Jan
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

Sat 23 Jan
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change