Write a Blog >>
VenueHilton St. Petersburg Bayfront
Room nameRoom St Petersburg I
Floor0
Additional informationThere is no additional information of this room 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 - 10:00
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 - 10:00
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 - 11:00
Talk
Abstract Interpretation with Infinitesimals
VMCAI
Kengo Kido, Swarat ChaudhuriRice University, Ichiro HasuoUniversity of Tokyo
11:00 - 11:30
Talk
Lipschitz Robustness of Timed I/O Systems
VMCAI
Thomas A. HenzingerIST Austria, Jan OtopUniversity of Wrocław, Roopsha SamantaIST Austria
11:30 - 12:00
Talk
A method for invariant generation for polynomial continuous systems
VMCAI
14:00 - 15:30: Dynamic and Static VerificationVMCAI at Room St Petersburg I
Chair(s): Aarti GuptaPrinceton University
14:00 - 14:30
Talk
Hybrid Analysis for Partial Order Reduction of Programs with Arrays
VMCAI
Pavel ParizekCharles University in Prague
14:30 - 15:00
Talk
Cloud-Based Verification of Concurrent Software
VMCAI
15:00 - 15:30
Talk
Abstraction-driven Concolic Testing
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 - 10:00
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 - 11:00
Talk
Pointer Race Freedom
VMCAI
Frédéric Haziza, Lukáš Holík, Roland Meyer, Sebastian WolffFraunhofer ITWM and TU Kaiserslautern
11:00 - 11:30
Talk
A program logic for C11 memory fences
VMCAI
Marko DokoMPI-SWS, Germany, Viktor VafeiadisMPI-SWS, Germany
11:30 - 12:00
Talk
From Low Level Pointers to High Level Containers
VMCAI
Kamil Dudka, Lukáš Holík, Petr Peringer, Tomáš VojnarBrno University of Technology
14:00 - 15:30: Parameterized and Component-Based SystemsVMCAI at Room St Petersburg I
Chair(s): Arie GurfinkelCarnegie Mellon University
14:00 - 14:30
Talk
Regular Symmetry Patterns
VMCAI
Anthony Widjaja LinYale-NUS College, Singapore, Truong Khanh Nguyen, Philipp RuemmerUppsala University, Jun Sun
14:30 - 15:00
Talk
Tight Cutoffs for Guarded Protocols with Fairness
VMCAI
15:00 - 15:30
Talk
A General Modular Synthesis Problem for Pushdown Systems
VMCAI
18:00 - 21:00: CPP Reception, sponsored by the DeepSpec projectCPP at Room St Petersburg I
18:00 - 21:00
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 - 09:15
Day opening
Opening remarks and program chair's report
Off the Beaten Track
Lindsey KuperIntel Labs
09:15 - 10:00
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 - 14:45
Talk
Keynote Talk: Generalising Abstraction
Off the Beaten Track
K: Robert AtkeyUniversity of Strathclyde
14:45 - 15:10
Talk
The Semantics of Syntax: Applying Denotational Semantics to Hygienic Macro Systems
Off the Beaten Track
Pre-print
15:10 - 15:35
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