VMCAI 2019
Sun 13 - Sat 19 January 2019
Cascais, Portugal
co-located with
POPL 2019
Toggle navigation
Attending
Venue: Hotel Cascais Miragem
Program
Complete Program
Your Program
Filter by Day
Sun 13 Jan
Mon 14 Jan
Tue 15 Jan
Wed 16 Jan
Thu 17 Jan
Fri 18 Jan
Sat 19 Jan
Track/Call
Organization
VMCAI 2019 Committees
Track Committees
Invited Speakers
Organizing Committee
Program Committee
Contributors
People Index
Search
Series
Series
VMCAI 2024
VMCAI 2023
VMCAI 2022
VMCAI 2021
VMCAI 2020
VMCAI 2019
VMCAI 2018
VMCAI 2017
VMCAI
Sign in
Sign up
POPL 2019
(
series
) /
VMCAI 2019 (
series
) /
Hotel Cascais Miragem
/
Room information: Sala III
Venue
Hotel Cascais Miragem
Room name
Sala III
Floor
0
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT) Belfast
.
Use conference time zone: (GMT) Belfast
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-10:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-09:00) Alaska
(GMT-08:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-08:00) Pacific Time (US & Canada)
(GMT-07:00) Mountain Time (US & Canada)
(GMT-07:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-05:00) Easter Island
(GMT-06:00) Central Time (US & Canada)
(GMT-05:00) Eastern Time (US & Canada)
(GMT-05:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-03:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-03:00) Manaus, Amazonas, Brazil
(GMT-04:00) Atlantic Time (Goose Bay)
(GMT-04:00) Atlantic Time (Canada)
(GMT-03:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-03:00) Miquelon, St. Pierre
(GMT-03:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-02:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT-01:00) Azores
(UTC) Coordinated Universal Time
(GMT) Belfast
(GMT) Dublin
(GMT) Lisbon
(GMT) London
(GMT) Monrovia, Reykjavik
(GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+01:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+01:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+02:00) Athens
(GMT+02:00) Beirut
(GMT+02:00) Cairo
(GMT+02:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+02:00) Jerusalem
(GMT+03:00) Minsk
(GMT+02:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+03:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+10:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+11:00) Hobart
(GMT+10:00) Vladivostok
(GMT+11:00) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+13:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+13:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
The GMT offsets shown reflect the offsets
at the moment of the conference
.
Time Band
By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.
Display full program
Specify a time band
-
Save
×
You're viewing the program in a time zone which is different from your device's time zone
change time zone
Sun 13 Jan
Displayed time zone:
Belfast
change
09:00 - 10:30
Invited Talk 1
VMCAI 2019
at
Sala III
Chair(s):
Constantin Enea
Université Paris Diderot
09:00
90m
Talk
Under and Over Approximated Reachability Analysis for the Verifcation of Control Systems
VMCAI 2019
Sylvie Putot
École Polytechnique
11:00 - 12:30
Abstract Interpretation (1)
VMCAI 2019
at
Sala III
Chair(s):
Patrick M. Cousot
11:00
30m
Talk
Static Analysis of Binary Code with Memory Indirections Using Polyhedra
VMCAI 2019
Clément Ballabriga
,
Julien Forget
,
Laure Gonnord
University of Lyon & LIP, France
,
Giuseppe Lipari
,
Jordy Ruiz
File Attached
11:30
30m
Talk
Disjunctive Relational Abstract Interpretation for Interprocedural Program Analysis
VMCAI 2019
Rémy Boutonnet
,
Nicolas Halbwachs
File Attached
12:00
30m
Talk
Application of Abstract Interpretation to the Automotive Electronic Control System
VMCAI 2019
Tomoya Yamaguchi
,
Martin Brain
,
Chris Ryder
,
Yosikazu Imai
,
Yoshiumi Kawamura
14:00 - 15:30
Program Synthesis
VMCAI 2019
at
Sala III
Chair(s):
Nuno P. Lopes
Microsoft Research
14:00
30m
Talk
Minimal Synthesis of String To String Functions From Examples
VMCAI 2019
Jad Hamza
LIAFA, Université Paris Diderot
,
Viktor Kunčak
EPFL, Switzerland
14:30
30m
Talk
Lazy but Effective Functional Synthesis
VMCAI 2019
Grigory Fedyukovich
Princeton University
,
Arie Gurfinkel
University of Waterloo
,
Aarti Gupta
Princeton University
15:00
30m
Talk
Automatic Program Repair using Formal Verification and Expression Templates
VMCAI 2019
Thanh-Toan Nguyen
,
Quang-Trung Ta
National University of Singapore
,
Wei-Ngan Chin
National University of Singapore
16:00 - 17:30
Abstract Interpretation (2)
VMCAI 2019
at
Sala III
Chair(s):
Mihaela Sighireanu
IRIF, University Paris Diderot and CNRS, France
16:00
30m
Talk
Demand Control-Flow Analysis
VMCAI 2019
Kimball Germane
University of Utah
,
Jay McCarthy
University of Massachusetts Lowell
,
Michael D. Adams
University of Utah
,
Matthew Might
University of Alabama at Birmingham | Harvard Medical School
16:30
30m
Talk
Effect-driven Flow Analysis
VMCAI 2019
Jens Nicolay
Vrije Universiteit Brussel, Belgium
,
Quentin Stiévenart
Vrije Universiteit Brussel, Belgium
,
Wolfgang De Meuter
Vrije Universiteit Brussel
,
Coen De Roover
Vrije Universiteit Brussel
17:00
30m
Talk
Relatively Complete Pushdown Analysis of Escape Continuations
VMCAI 2019
Kimball Germane
University of Utah
,
Matthew Might
University of Alabama at Birmingham | Harvard Medical School
Mon 14 Jan
Displayed time zone:
Belfast
change
09:00 - 10:30
Invited Talk 2
VMCAI 2019
at
Sala III
Chair(s):
Lenore Zuck
09:00
90m
Talk
Designing Self-Certifying Software Systems
VMCAI 2019
Kedar Namjoshi
Bell Labs, Nokia
11:00 - 12:30
Decision Procedures
VMCAI 2019
at
Sala III
Chair(s):
Kedar Namjoshi
Bell Labs, Nokia
11:00
30m
Talk
Solving and Interpolating Constant Arrays Based on Weak Equivalences
VMCAI 2019
Jochen Hoenicke
Universität Freiburg
,
Tanja Schindler
University of Freiburg
11:30
30m
Talk
A Decidable Logic for Tree Data-Structures with Measurements
VMCAI 2019
Xiaokang Qiu
Purdue University
,
Yanjun Wang
Purdue University
File Attached
12:00
30m
Talk
A Practical Algorithm for Structure Embedding
VMCAI 2019
Charlie Murphy
Princeton University
,
Zachary Kincaid
Princeton University
File Attached
14:00 - 15:30
Probabilistic Systems
VMCAI 2019
at
Sala III
Chair(s):
Justin Hsu
University of Wisconsin-Madison, USA
14:00
30m
Talk
Syntactic Partial Order Compression for Probabilistic Reachability
VMCAI 2019
Gereon Fox
,
Daniel Stan
,
Holger Hermanns
Saarland University
14:30
30m
Talk
Termination of Nondeterministic Probabilistic Programs
VMCAI 2019
Hongfei Fu
IST Austria
,
Krishnendu Chatterjee
IST Austria
15:00
30m
Talk
Combining Refinement of Parametric Models with Goal-Oriented Reduction of Dynamics
VMCAI 2019
Stefan Haar
,
Juraj Kolčák
LSV, CNRS & ENS Cachan, University Paris Saclay
,
Loïc Paulevé
16:00 - 17:30
Model Checking
VMCAI 2019
at
Sala III
Chair(s):
Xiaokang Qiu
Purdue University
16:00
30m
Talk
Verification of an Industrial Asynchronous Leader Election Algorithm Using Abstractions and Parametric Model Checking
VMCAI 2019
Étienne André
LIPN, CNRS UMR 7030, Université Paris 13
,
Laurent Fribourg
,
Romain Soulat
,
Jean-Marc Mota
16:30
30m
Talk
A Parallel Relation-Based Algorithm for Symbolic Bisimulation Minimization
VMCAI 2019
Alfons Laarman
Leiden University
,
Richard Huybers
File Attached
17:00
30m
Talk
Flat Model Checking for Counting LTL using Quantifier-free Presburger Arithmetic
VMCAI 2019
Normann Decker
,
Anton Pirogov
Tue 15 Jan
Displayed time zone:
Belfast
change
09:00 - 10:30
Invited Talk 3
VMCAI 2019
at
Sala III
Chair(s):
Ruzica Piskac
Yale University, USA
09:00
90m
Talk
Semantics for Compiler IRs: Undefined Behavior is not Evil!
VMCAI 2019
Nuno P. Lopes
Microsoft Research
Media Attached
11:00 - 12:30
Software Verification and Synthesis
VMCAI 2019
at
Sala III
Chair(s):
Ori Lahav
Tel Aviv University
11:00
30m
Talk
Mechanically Proving Determinacy of Hierarchical Block Diagram Translations
VMCAI 2019
Viorel Preoteasa
,
Iulia Dragomir
,
Stavros Tripakis
Aalto University and UC Berkeley
Link to publication
DOI
Pre-print
File Attached
11:30
30m
Talk
euforia: Complete Software Model Checking with Uninterpreted Functions
VMCAI 2019
Denis Bueno
,
Karem A. Sakallah
12:00
30m
Talk
Program Synthesis with Equivalence Reduction
VMCAI 2019
Calvin Smith
University of Wisconsin - Madison
,
Aws Albarghouthi
University of Wisconsin-Madison
14:00 - 15:30
Software Verification
VMCAI 2019
at
Sala III
Chair(s):
Grigory Fedyukovich
Princeton University
14:00
30m
Talk
Type-directed Bounding of Collections in Reactive Programs
VMCAI 2019
Tianhan Lu
University of Colorado Boulder
,
Pavol Cerny
University of Colorado Boulder
,
Bor-Yuh Evan Chang
University of Colorado Boulder
,
Ashutosh Trivedi
14:30
30m
Talk
Exploiting Pointer Analysis in Memory Models for Deductive Verification
VMCAI 2019
Quentin Bouillaguet
,
François Bobot
CEA
,
Mihaela Sighireanu
IRIF, University Paris Diderot and CNRS, France
,
Boris Yakobowski
CEA - LIST
File Attached
15:00
30m
Talk
Small Faults Grow Up - Verification of Error Masking Robustness in Arithmetically Encoded Programs
VMCAI 2019
Anja Karl
Institute of Applied Information Processing and Communications, Graz University of Technology
,
Robert Schilling
,
Roderick Bloem
Institute of Software Technology, Graz University of Technology
,
Stefan Mangard
16:00 - 17:30
Networks and Concurrency
VMCAI 2019
at
Sala III
Chair(s):
Cezara Drăgoi
INRIA, ENS, CNRS
16:00
30m
Talk
On the Semantics of Snapshot Isolation
VMCAI 2019
Azalea Raad
MPI-SWS, Germany
,
Ori Lahav
Tel Aviv University
,
Viktor Vafeiadis
MPI-SWS, Germany
16:30
30m
Talk
Fast BGP Simulation of Large Datacenters
VMCAI 2019
Nuno P. Lopes
Microsoft Research
,
Andrey Rybalchenko
Microsoft Research
Pre-print
17:00
30m
Talk
Parametric Timed Broadcast Protocols
VMCAI 2019
Étienne André
LIPN, CNRS UMR 7030, Université Paris 13
,
Benoit Delahaye
,
Paulin Fournier
,
Didier Lime
File Attached
Thu 17 Jan
Displayed time zone:
Belfast
change
10:30 - 12:30
Finalist Poster Presentations
POPL Student Research Competition
at
Sala III
Sun 13 Jan
Displayed time zone:
Belfast
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
17:00
30
Sala III
VMCAI 2019
Invited Talk 1
VMCAI 2019
Abstract Interpretation (1)
VMCAI 2019
Program Synthesis
VMCAI 2019
Abstract Interpretation (2)
Mon 14 Jan
Displayed time zone:
Belfast
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
17:00
30
Sala III
VMCAI 2019
Invited Talk 2
VMCAI 2019
Decision Procedures
VMCAI 2019
Probabilistic Systems
VMCAI 2019
Model Checking
Tue 15 Jan
Displayed time zone:
Belfast
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
17:00
30
Sala III
VMCAI 2019
Invited Talk 3
VMCAI 2019
Software Verification and Synthesis
VMCAI 2019
Software Verification
VMCAI 2019
Networks and Concurrency
Thu 17 Jan
Displayed time zone:
Belfast
change
Room
10:00
30
11:00
30
12:00
30
Sala III
POPL Student Research Competition
Finalist Poster Presentations
Sun 13 Jan
Displayed time zone:
Belfast
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
17:00
15
30
45
Sala III
VMCAI
Under and Over Approximated Reachability Analysis for the Verifcation o ...
09:00 - 10:30
VMCAI
Static Analysis of Binary Code with Memory Indirections Using Polyhedra
11:00 - 11:30
VMCAI
Disjunctive Relational Abstract Interpretation for Interprocedural Prog ...
11:30 - 12:00
VMCAI
Application of Abstract Interpretation to the Automotive Electronic Con ...
12:00 - 12:30
VMCAI
Minimal Synthesis of String To String Functions From Examples
14:00 - 14:30
VMCAI
Lazy but Effective Functional Synthesis
14:30 - 15:00
VMCAI
Automatic Program Repair using Formal Verification and Expression Templates
15:00 - 15:30
VMCAI
Demand Control-Flow Analysis
16:00 - 16:30
VMCAI
Effect-driven Flow Analysis
16:30 - 17:00
VMCAI
Relatively Complete Pushdown Analysis of Escape Continuations
17:00 - 17:30
Mon 14 Jan
Displayed time zone:
Belfast
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
17:00
15
30
45
Sala III
VMCAI
Designing Self-Certifying Software Systems
09:00 - 10:30
VMCAI
Solving and Interpolating Constant Arrays Based on Weak Equivalences
11:00 - 11:30
VMCAI
A Decidable Logic for Tree Data-Structures with Measurements
11:30 - 12:00
VMCAI
A Practical Algorithm for Structure Embedding
12:00 - 12:30
VMCAI
Syntactic Partial Order Compression for Probabilistic Reachability
14:00 - 14:30
VMCAI
Termination of Nondeterministic Probabilistic Programs
14:30 - 15:00
VMCAI
Combining Refinement of Parametric Models with Goal-Oriented Reduction ...
15:00 - 15:30
VMCAI
Verification of an Industrial Asynchronous Leader Election Algorithm Us ...
16:00 - 16:30
VMCAI
A Parallel Relation-Based Algorithm for Symbolic Bisimulation Minimization
16:30 - 17:00
VMCAI
Flat Model Checking for Counting LTL using Quantifier-free Presburger A ...
17:00 - 17:30
Tue 15 Jan
Displayed time zone:
Belfast
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
17:00
15
30
45
Sala III
VMCAI
Semantics for Compiler IRs: Undefined Behavior is not Evil!
09:00 - 10:30
VMCAI
Mechanically Proving Determinacy of Hierarchical Block Diagram Translations
11:00 - 11:30
VMCAI
euforia: Complete Software Model Checking with Uninterpreted Functions
11:30 - 12:00
VMCAI
Program Synthesis with Equivalence Reduction
12:00 - 12:30
VMCAI
Type-directed Bounding of Collections in Reactive Programs
14:00 - 14:30
VMCAI
Exploiting Pointer Analysis in Memory Models for Deductive Verification
14:30 - 15:00
VMCAI
Small Faults Grow Up - Verification of Error Masking Robustness in Arit ...
15:00 - 15:30
VMCAI
On the Semantics of Snapshot Isolation
16:00 - 16:30
VMCAI
Fast BGP Simulation of Large Datacenters
16:30 - 17:00
VMCAI
Parametric Timed Broadcast Protocols
17:00 - 17:30
x
Fri 26 Apr 20:54