VMCAI
Sun 17 - Tue 19 January 2016 St. Petersburg, Florida, United States
co-located with POPL 2016
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

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

iCalendar subscription service for your personal schedule
You first need to have starred events () in order to use the iCalendar subscription service.
Currently Viewed Program
Downloads the currently viewed program (with filters applied) in iCal format
Session Calendar (ical)
Detailed Event Calendar (ical)