Conference Dates
Conference Dates are in time zone (GMT-05:00) Guadalajara, Mexico City, Monterrey, and may differ from the viewed time zone.
Rooms
Tracks
Badges
Your Program
Sun 17 Jan Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change
Sun 17 Jan
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change
08:50 - 09:00 | |||
09:00 - 10:00 | |||
09:00 60mTalk | Automating Abstract Interpretation VMCAI Thomas RepsUniversity 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 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
09:00 - 10:00 | |||
09:00 60mTalk | Ironclad - Full Verification of Complex Systems VMCAI Bryan ParnoMicrosoft 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 GuptaPrinceton University | ||
14:00 30mTalk | Hybrid Analysis for Partial Order Reduction of Programs with Arrays VMCAI Pavel ParizekCharles 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 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
09:00 - 10:00 | Invited Talk IIIVMCAI at Room St Petersburg I Chair(s): Bor-Yuh Evan ChangUniversity of Colorado Boulder | ||
09:00 60mTalk | Viper - A Verification Infrastructure for Permission-based Reasoning VMCAI Peter MüllerETH Zurich |
10:30 - 12:00 | |||
10:30 30mTalk | Pointer Race Freedom VMCAI | ||
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 GurfinkelCarnegie Mellon University | ||
14:00 30mTalk | Regular Symmetry Patterns VMCAI Anthony Widjaja LinYale-NUS College, Singapore, Truong Khanh Nguyen, Philipp RuemmerUppsala 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 |
Sun 17 Jan Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change
Sun 17 Jan
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change
Room | 8:00 | 30 | 9:00 | 30 | 10:00 | 30 | 11:00 | 30 | 12:00 | 30 | 13:00 | 30 | 14:00 | 30 | 15:00 | 30 | 16:00 | 30 |
---|
Mon 18 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
Room | 9:00 | 30 | 10:00 | 30 | 11:00 | 30 | 12:00 | 30 | 13:00 | 30 | 14:00 | 30 | 15:00 | 30 | 16:00 | 30 |
---|
Tue 19 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
Room | 9:00 | 30 | 10:00 | 30 | 11:00 | 30 | 12:00 | 30 | 13:00 | 30 | 14:00 | 30 | 15:00 | 30 | 16:00 | 30 |
---|
Sun 17 Jan Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change
Sun 17 Jan
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change
Room | 9:00 | 15 | 30 | 45 | 10:00 | 15 | 30 | 45 | 11:00 | 15 | 30 | 45 | 12:00 | 15 | 30 | 45 | 13:00 | 15 | 30 | 45 | 14:00 | 15 | 30 | 45 | 15:00 | 15 | 30 | 45 | 16:00 | 15 | 30 | 45 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Room St Petersburg I | VMCAI Automating Abstract Interpretation 09:00 - 10:00 | VMCAI An Abstract Domain of Uninterpreted Functions 10:30 - 11:00 | VMCAI Property Directed Abstract Interpretation 11:30 - 12:00 | VMCAI Program Analysis with Local Policy Iteration 14:00 - 14:30 | VMCAI Lazy Constrained Monotonic Abstraction 14:30 - 15:00 | VMCAI D3 : Data-Driven Disjunctive Abstraction 16:00 - 16:30 | VMCAI Exact Heap Summaries for Symbolic Execution 16:30 - 17:00 |
Mon 18 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
Room | 9:00 | 15 | 30 | 45 | 10:00 | 15 | 30 | 45 | 11:00 | 15 | 30 | 45 | 12:00 | 15 | 30 | 45 | 13:00 | 15 | 30 | 45 | 14:00 | 15 | 30 | 45 | 15:00 | 15 | 30 | 45 | 16:00 | 15 | 30 | 45 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Room St Petersburg I | VMCAI Ironclad - Full Verification of Complex Systems 09:00 - 10:00 | VMCAI Abstract Interpretation with Infinitesimals 10:30 - 11:00 | VMCAI Lipschitz Robustness of Timed I/O Systems 11:00 - 11:30 | VMCAI Cloud-Based Verification of Concurrent Software 14:30 - 15:00 | VMCAI Abstraction-driven Concolic Testing 15:00 - 15:30 |
Tue 19 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
Room | 9:00 | 15 | 30 | 45 | 10:00 | 15 | 30 | 45 | 11:00 | 15 | 30 | 45 | 12:00 | 15 | 30 | 45 | 13:00 | 15 | 30 | 45 | 14:00 | 15 | 30 | 45 | 15:00 | 15 | 30 | 45 | 16:00 | 15 | 30 | 45 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Room St Petersburg I | VMCAI Pointer Race Freedom 10:30 - 11:00 | VMCAI A program logic for C11 memory fences 11:00 - 11:30 | VMCAI Regular Symmetry Patterns 14:00 - 14:30 |
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