VMCAI 2018
Sun 7 - Tue 9 January 2018
Los Angeles, California, United States
co-located with
POPL 2018
Toggle navigation
Attending
Venue: Omni Hotel
Program
Complete Program
Your Program
Sun 7 Jan
Mon 8 Jan
Tue 9 Jan
Track/Call
Organization
VMCAI 2018 Committees
Track Committees
Invited Speakers
Invited Tutorial
Organizing Committee
Travel Grants
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 2018
(
series
) /
VMCAI 2018 (
series
) /
Omni Hotel
/
Room information: Watercourt
Venue
Omni Hotel
Room name
Watercourt
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-08:00) Tijuana, Baja California
.
Use conference time zone: (GMT-08:00) Tijuana, Baja California
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 7 Jan
Displayed time zone:
Tijuana, Baja California
change
09:00 - 10:00
Invited Talk by Ranjit Jhala
VMCAI 2018
at
Watercourt
Chair(s):
Işıl Dillig
UT Austin
09:00
60m
Talk
Reasoning about Functions
VMCAI 2018
Ranjit Jhala
University of California, San Diego
10:30 - 12:00
Synthesis
VMCAI 2018
at
Watercourt
Chair(s):
K. Rustan M. Leino
Amazon
10:30
30m
Talk
Abstraction-Based Interaction Model for Synthesis
VMCAI 2018
Hila Peleg
,
Shachar Itzhaky
Technion, Israel
,
Sharon Shoham
Tel Aviv university
11:00
30m
Talk
A Framework for Computer-Aided Design of Educational Domain Models
VMCAI 2018
Eric Butler
University of Washington
,
Emina Torlak
University of Washington
,
Zoran Popovic
University of Washington
11:30
30m
Talk
Generating Tests by Example
VMCAI 2018
Hila Peleg
,
Dan Rasin
Technion – Israel Institute of Technology
,
Eran Yahav
Technion
14:00 - 15:30
Verification
VMCAI 2018
at
Watercourt
Chair(s):
Jeffrey S. Foster
University of Maryland, College Park
14:00
30m
Talk
Gradual Program Verification
VMCAI 2018
Johannes Bader
Microsoft
,
Jonathan Aldrich
Carnegie Mellon University
,
Éric Tanter
University of Chile
14:30
30m
Talk
A Logical System for Modular Information Flow Verification
VMCAI 2018
Adi Prabawa
National University of Singapore
,
Mahmudul Faisal Al Ameen
National University of Singapore
,
Benedict Lee
National University of Singapore
,
Wei-Ngan Chin
National University of Singapore
15:00
30m
Talk
P5: Planner-less Proofs of Probabilistic Parameterized Protocols
VMCAI 2018
Lenore Zuck
,
Kenneth L. McMillan
Microsoft Research
,
Jordan Torf
UIC
16:00 - 17:30
Security
VMCAI 2018
at
Watercourt
Chair(s):
Francesco Ranzato
University of Padova
16:00
30m
Talk
Code Obfuscation Against Abstract Model Checking Attacks
VMCAI 2018
Roberto Bruni
Dipartimento di Informatica, Universita' di Pisa
,
Roberto Giacobazzi
University of Verona and IMDEA Software Institute
,
Roberta Gori
Dipartimento di Informatica, Universita' di Pisa
16:30
30m
Talk
Scalable Approximation of Quantitative Information Flow in Programs
VMCAI 2018
Fabrizio Biondi
CentraleSupelec Rennes
,
Mike Enescu
INRIA
,
Annelie Heuser
CNRS/IRISA
,
Axel Legay
,
Kuldeep S. Meel
National University of Singapore
,
Jean Quilbeuf
INRIA
17:00
30m
Talk
Abstract Code Injection - A Semantic Approach Based on Abstract Non-Interference
VMCAI 2018
Samuele Buro
Università degli Studi di Verona
,
Isabella Mastroeni
University of Verona, Italy
Mon 8 Jan
Displayed time zone:
Tijuana, Baja California
change
09:00 - 10:00
Invited Talk by Kenneth L. McMillan
VMCAI 2018
at
Watercourt
Chair(s):
Lenore Zuck
09:00
60m
Talk
How to Stay Decidable
VMCAI 2018
Kenneth L. McMillan
Microsoft Research
10:30 - 12:00
Abstract Interpretation
VMCAI 2018
at
Watercourt
Chair(s):
Patrick Cousot
10:30
30m
Talk
On Constructivity of Galois Connections
VMCAI 2018
Francesco Ranzato
University of Padova
11:00
30m
Talk
An Abstract Interpretation Framework for the Round-Off Error Analysis of Floating-Point Programs
VMCAI 2018
Laura Titolo
National Institute of Aerospace, USA
,
Marco A. Feliu
National Institute of Aerospace
,
Mariano Moscato
National Institute of Aerospace
,
Cesar Munoz
NASA
11:30
30m
Talk
Modular Analysis of Executables using On-Demand Heyting Completion
VMCAI 2018
Julian Kranz
Technical University of Munich
,
Axel Simon
Google
14:00 - 15:30
Potpourri
VMCAI 2018
at
Watercourt
Chair(s):
Wei-Ngan Chin
National University of Singapore
14:00
30m
Talk
Revisiting MITL to Fix Decision Procedures
VMCAI 2018
Nima Roohi
University of Pennsylvania
,
Mahesh Viswanathan
University of Illinois at Urbana-Champaign
14:30
30m
Talk
On abstraction and compositionality for weak-memory linearisability
VMCAI 2018
Brijesh Dongol
Brunel University London
,
Radha Jagadeesan
DePaul University
,
James Riely
DePaul University
,
Alasdair Armstrong
Brunel University
15:00
30m
Talk
Automatic Verification of RMA Programs via Abstraction Extrapolation
VMCAI 2018
Cedric Baumann
ETH Zurich
,
Andrei Marian Dan
ETH Zurich
,
Yuri Meshman
IMDEA
,
Torsten Hoefler
ETH Zurich
,
Martin Vechev
ETH Zürich
16:00 - 17:30
Invited Tutorial by Mayur Naik
VMCAI 2018
at
Watercourt
Chair(s):
Jens Palsberg
University of California, Los Angeles (UCLA)
16:00
90m
Talk
Maximum Satisfiability in Program Analysis: Applications and Techniques
VMCAI 2018
Mayur Naik
University of Pennsylvania
,
Xujie Si
University of Pennsylvania
,
Xin Zhang
Massachusetts Institute of Technology, USA
,
Radu Grigore
University of Kent
18:00 - 22:00
VMCAI Banquet
VMCAI 2018
at
Watercourt
18:00
4h
Dinner
Banquet
VMCAI 2018
Tue 9 Jan
Displayed time zone:
Tijuana, Baja California
change
09:00 - 10:00
Invited Talk by Azadeh Farzan
VMCAI 2018
at
Watercourt
Chair(s):
Işıl Dillig
UT Austin
09:00
60m
Talk
Rethinking Compositionality for Concurrent Program Proofs
VMCAI 2018
Azadeh Farzan
University of Toronto
10:30 - 12:00
Verifying Protocols and Systems
VMCAI 2018
at
Watercourt
Chair(s):
James Riely
DePaul University
10:30
30m
Talk
Analyzing Guarded Protocols: Better Cutoffs, More Systems, More Expressivity
VMCAI 2018
Swen Jacobs
,
Mouhammad Sakr
Saarland University
11:00
30m
Talk
Automatic Verification of Intermittent Systems
VMCAI 2018
Manjeet Dahiya
,
Sorav Bansal
11:30
30m
Talk
Co-Design and Verification of an Available File System
VMCAI 2018
Mahsa Najafzadeh
Purdue University
,
Marc Shapiro
LIP6
,
Patrick Eugster
Purdue University
14:00 - 15:30
Types and Analysis
VMCAI 2018
at
Watercourt
Chair(s):
Tachio Terauchi
Waseda University
14:00
30m
Talk
From Shapes to Amortized Complexity
VMCAI 2018
Tomas Fiedor
VUT Brno
,
Lukáš Holík
Brno University of Technology
,
Adam Rogalewicz
Brno University of Technology
,
Moritz Sinn
St. Polten University of Applied Sciences
,
Tomáš Vojnar
Brno University of Technology
,
Florian Zuleger
TU Vienna
14:30
30m
Talk
Invariant Generation for Multi-Path Loops with Polynomial Assignments
VMCAI 2018
Andreas Humenberger
Vienna University of Technology
,
Maximilian Jaroschek
Vienna University of Technology
,
Laura Kovacs
Chalmers University of Technology
15:00
30m
Talk
Refinement Types for Ruby
VMCAI 2018
Milod Kazerounian
,
Niki Vazou
University of Maryland
,
Austin Bourgerie
University of Maryland
,
Jeffrey S. Foster
University of Maryland, College Park
,
Emina Torlak
University of Washington
16:00 - 17:30
Model Checking
VMCAI 2018
at
Watercourt
Chair(s):
Kenneth L. McMillan
Microsoft Research
16:00
30m
Talk
Learning to Complement Büchi Automata
VMCAI 2018
Yong Li
Institute of Software, Chinese Academy of Sciences
,
Andrea Turrini
State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences
,
Lijun Zhang
Institute of Software, Chinese Academy of Sciences
,
Sven Schewe
University of Liverpool
16:30
30m
Talk
Selfless Interpolation for Infinite-State Model Checking
VMCAI 2018
Tanja Schindler
University of Freiburg
,
Dejan Jovanović
SRI International
17:00
30m
Talk
Parameterized Model Checking of Synchronous Distributed Algorithms by Abstraction
VMCAI 2018
Benjamin Aminof
Vienna University of Technology
,
Sasha Rubin
University of Naples Federico II
,
Ilina Stoilkovska
Vienna University of Technology
,
Josef Widder
TU Wien
,
Florian Zuleger
TU Vienna
Sun 7 Jan
Displayed time zone:
Tijuana, Baja California
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
Watercourt
VMCAI 2018
Invited Talk by Ranjit Jhala
VMCAI 2018
Synthesis
VMCAI 2018
Verification
VMCAI 2018
Security
Mon 8 Jan
Displayed time zone:
Tijuana, Baja California
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
18:00
30
19:00
30
20:00
30
21:00
30
Watercourt
VMCAI 2018
Invited Talk by Kenneth L. McMillan
VMCAI 2018
Abstract Interpretation
VMCAI 2018
Potpourri
VMCAI 2018
Invited Tutorial by Mayur Naik
VMCAI 2018
VMCAI Banquet
Tue 9 Jan
Displayed time zone:
Tijuana, Baja California
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
Watercourt
VMCAI 2018
Invited Talk by Azadeh Farzan
VMCAI 2018
Verifying Protocols and Systems
VMCAI 2018
Types and Analysis
VMCAI 2018
Model Checking
Sun 7 Jan
Displayed time zone:
Tijuana, Baja California
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
Watercourt
VMCAI
Reasoning about Functions
09:00 - 10:00
VMCAI
Abstraction-Based Interaction Model for Synthesis
10:30 - 11:00
VMCAI
A Framework for Computer-Aided Design of Educational Domain Models
11:00 - 11:30
VMCAI
Generating Tests by Example
11:30 - 12:00
VMCAI
Gradual Program Verification
14:00 - 14:30
VMCAI
A Logical System for Modular Information Flow Verification
14:30 - 15:00
VMCAI
P5: Planner-less Proofs of Probabilistic Parameterized Protocols
15:00 - 15:30
VMCAI
Code Obfuscation Against Abstract Model Checking Attacks
16:00 - 16:30
VMCAI
Scalable Approximation of Quantitative Information Flow in Programs
16:30 - 17:00
VMCAI
Abstract Code Injection - A Semantic Approach Based on Abstract Non-Int ...
17:00 - 17:30
Mon 8 Jan
Displayed time zone:
Tijuana, Baja California
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
18:00
15
30
45
19:00
15
30
45
20:00
15
30
45
21:00
15
30
45
Watercourt
VMCAI
How to Stay Decidable
09:00 - 10:00
VMCAI
On Constructivity of Galois Connections
10:30 - 11:00
VMCAI
An Abstract Interpretation Framework for the Round-Off Error Analysis o ...
11:00 - 11:30
VMCAI
Modular Analysis of Executables using On-Demand Heyting Completion
11:30 - 12:00
VMCAI
Revisiting MITL to Fix Decision Procedures
14:00 - 14:30
VMCAI
On abstraction and compositionality for weak-memory linearisability
14:30 - 15:00
VMCAI
Automatic Verification of RMA Programs via Abstraction Extrapolation
15:00 - 15:30
VMCAI
Maximum Satisfiability in Program Analysis: Applications and Techniques
16:00 - 17:30
VMCAI
Banquet
18:00 - 22:00
Tue 9 Jan
Displayed time zone:
Tijuana, Baja California
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
Watercourt
VMCAI
Rethinking Compositionality for Concurrent Program Proofs
09:00 - 10:00
VMCAI
Analyzing Guarded Protocols: Better Cutoffs, More Systems, More Express ...
10:30 - 11:00
VMCAI
Automatic Verification of Intermittent Systems
11:00 - 11:30
VMCAI
Co-Design and Verification of an Available File System
11:30 - 12:00
VMCAI
From Shapes to Amortized Complexity
14:00 - 14:30
VMCAI
Invariant Generation for Multi-Path Loops with Polynomial Assignments
14:30 - 15:00
VMCAI
Refinement Types for Ruby
15:00 - 15:30
VMCAI
Learning to Complement Büchi Automata
16:00 - 16:30
VMCAI
Selfless Interpolation for Infinite-State Model Checking
16:30 - 17:00
VMCAI
Parameterized Model Checking of Synchronous Distributed Algorithms by A ...
17:00 - 17:30
x
Sun 28 Apr 23:24