POPL 2016 (series) / VMCAI (series) /
VMCAI Program
This is the VMCAI program - see the full program for POPL 2016 and all affiliated events.
Filter Program
Dates
Sun 17 Jan 2016
Mon 18 Jan 2016
Tue 19 Jan 2016
Rooms
Room St Petersburg I
Tracks
VMCAI
Badges
Nothing to filter
Your Program
Nothing to filter
Sun 17 JanDisplayed time zone: Guadalajara, Mexico City, Monterrey change
Sun 17 Jan
Displayed time zone: Guadalajara, Mexico City, Monterrey change
08:50 - 09:00 | |||
09:00 - 10:00 | |||
09:00 60mTalk | Automating Abstract Interpretation VMCAI Thomas Reps University of Wisconsin - Madison and Grammatech Inc. | ||
10:30 - 12:00 | |||
10:30 30mTalk | An Abstract Domain of Uninterpreted Functions VMCAI | ||
11:00 30mTalk | Predicate Abstraction for Linked Data Structures VMCAI | ||
11:30 30mTalk | Property Directed Abstract Interpretation VMCAI | ||
14:00 - 15:30 | |||
14:00 30mTalk | Program Analysis with Local Policy Iteration VMCAI | ||
14:30 30mTalk | Lazy Constrained Monotonic Abstraction VMCAI | ||
15:00 30mTalk | Polyhedral Approximation of Multivariate Polynomials using Handelman’s Theorem VMCAI | ||
16:00 - 17:00 | |||
16:00 30mTalk | D3 : Data-Driven Disjunctive Abstraction VMCAI | ||
16:30 30mTalk | Exact Heap Summaries for Symbolic Execution VMCAI | ||
Mon 18 JanDisplayed time zone: Guadalajara, Mexico City, Monterrey change
Mon 18 Jan
Displayed time zone: Guadalajara, Mexico City, Monterrey change
09:00 - 10:00 | |||
09:00 60mTalk | Ironclad - Full Verification of Complex Systems VMCAI Bryan Parno Microsoft Research | ||
10:30 - 12:00 | |||
10:30 30mTalk | Abstract Interpretation with Infinitesimals VMCAI | ||
11:00 30mTalk | Lipschitz Robustness of Timed I/O Systems VMCAI | ||
11:30 30mTalk | 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 Gupta Princeton University | ||
14:00 30mTalk | Hybrid Analysis for Partial Order Reduction of Programs with Arrays VMCAI Pavel Parizek Charles University in Prague | ||
14:30 30mTalk | Cloud-Based Verification of Concurrent Software VMCAI | ||
15:00 30mTalk | Abstraction-driven Concolic Testing VMCAI | ||
16:00 - 17:00 | |||
16:00 30mTalk | Reward-Bounded Reachability Probability for Uncertain Weighted MDPs VMCAI | ||
16:30 30mTalk | Parameter Synthesis for Parametric Interval Markov Chains VMCAI | ||
Tue 19 JanDisplayed time zone: Guadalajara, Mexico City, Monterrey change
Tue 19 Jan
Displayed time zone: Guadalajara, Mexico City, Monterrey change
09:00 - 10:00 | Invited Talk IIIVMCAI at Room St Petersburg I Chair(s): Bor-Yuh Evan Chang University of Colorado Boulder | ||
09:00 60mTalk | Viper - A Verification Infrastructure for Permission-based Reasoning VMCAI Peter Müller ETH Zurich | ||
10:30 - 12:00 | |||
10:30 30mTalk | Pointer Race Freedom VMCAI Frédéric Haziza , Lukáš Holík , Roland Meyer , Sebastian Wolff Fraunhofer ITWM and TU Kaiserslautern | ||
11:00 30mTalk | A program logic for C11 memory fences VMCAI | ||
11:30 30mTalk | From Low Level Pointers to High Level Containers VMCAI | ||
14:00 - 15:30 | Parameterized and Component-Based SystemsVMCAI at Room St Petersburg I Chair(s): Arie Gurfinkel Carnegie Mellon University | ||
14:00 30mTalk | Regular Symmetry Patterns VMCAI Anthony Widjaja Lin Yale-NUS College, Singapore, Truong Khanh Nguyen , Philipp Ruemmer Uppsala University, Jun Sun | ||
14:30 30mTalk | Tight Cutoffs for Guarded Protocols with Fairness VMCAI | ||
15:00 30mTalk | A General Modular Synthesis Problem for Pushdown Systems VMCAI | ||
16:00 - 17:00 | |||
16:00 30mTalk | Model Checking with Multi-Threaded IC3 Portfolios VMCAI | ||
16:30 30mTalk | Automatic Generation of Propagation Complete SAT Encodings VMCAI | ||