OPCT 2019
Sun 13 - Sat 19 January 2019
Cascais, Portugal
co-located with
POPL 2019
Toggle navigation
Attending
Venue: Hotel Cascais Miragem
Program
OPCT 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
OPCT 2019 Committees
Track Committees
Organizing Committee
Program Committee
Contributors
People Index
Search
Series
Sign in
Sign up
POPL 2019
(
series
) /
OPCT 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
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
Sylvie Putot
École Polytechnique
11:00 - 12:30
Abstract Interpretation (1)
VMCAI
at
Sala III
Chair(s):
Patrick M. Cousot
11:00
30m
Talk
Static Analysis of Binary Code with Memory Indirections Using Polyhedra
VMCAI
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
Rémy Boutonnet
,
Nicolas Halbwachs
File Attached
12:00
30m
Talk
Application of Abstract Interpretation to the Automotive Electronic Control System
VMCAI
Tomoya Yamaguchi
,
Martin Brain
,
Chris Ryder
,
Yosikazu Imai
,
Yoshiumi Kawamura
14:00 - 15:30
Program Synthesis
VMCAI
at
Sala III
Chair(s):
Nuno P. Lopes
Microsoft Research
14:00
30m
Talk
Minimal Synthesis of String To String Functions From Examples
VMCAI
Jad Hamza
LIAFA, Université Paris Diderot
,
Viktor Kunčak
EPFL, Switzerland
14:30
30m
Talk
Lazy but Effective Functional Synthesis
VMCAI
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
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
at
Sala III
Chair(s):
Mihaela Sighireanu
IRIF, University Paris Diderot and CNRS, France
16:00
30m
Talk
Demand Control-Flow Analysis
VMCAI
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
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
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
at
Sala III
Chair(s):
Lenore Zuck
09:00
90m
Talk
Designing Self-Certifying Software Systems
VMCAI
Kedar Namjoshi
Bell Labs, Nokia
11:00 - 12:30
Decision Procedures
VMCAI
at
Sala III
Chair(s):
Kedar Namjoshi
Bell Labs, Nokia
11:00
30m
Talk
Solving and Interpolating Constant Arrays Based on Weak Equivalences
VMCAI
Jochen Hoenicke
Universität Freiburg
,
Tanja Schindler
University of Freiburg
11:30
30m
Talk
A Decidable Logic for Tree Data-Structures with Measurements
VMCAI
Xiaokang Qiu
Purdue University
,
Yanjun Wang
Purdue University
File Attached
12:00
30m
Talk
A Practical Algorithm for Structure Embedding
VMCAI
Charlie Murphy
Princeton University
,
Zachary Kincaid
Princeton University
File Attached
14:00 - 15:30
Probabilistic Systems
VMCAI
at
Sala III
Chair(s):
Justin Hsu
University of Wisconsin-Madison, USA
14:00
30m
Talk
Syntactic Partial Order Compression for Probabilistic Reachability
VMCAI
Gereon Fox
,
Daniel Stan
,
Holger Hermanns
Saarland University
14:30
30m
Talk
Termination of Nondeterministic Probabilistic Programs
VMCAI
Hongfei Fu
IST Austria
,
Krishnendu Chatterjee
IST Austria
15:00
30m
Talk
Combining Refinement of Parametric Models with Goal-Oriented Reduction of Dynamics
VMCAI
Stefan Haar
,
Juraj Kolčák
LSV, CNRS & ENS Cachan, University Paris Saclay
,
Loïc Paulevé
16:00 - 17:30
Model Checking
VMCAI
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
É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
Alfons Laarman
Leiden University
,
Richard Huybers
File Attached
17:00
30m
Talk
Flat Model Checking for Counting LTL using Quantifier-free Presburger Arithmetic
VMCAI
Normann Decker
,
Anton Pirogov
Tue 15 Jan
Displayed time zone:
Belfast
change
09:00 - 10:30
Invited Talk 3
VMCAI
at
Sala III
Chair(s):
Ruzica Piskac
Yale University, USA
09:00
90m
Talk
Semantics for Compiler IRs: Undefined Behavior is not Evil!
VMCAI
Nuno P. Lopes
Microsoft Research
Media Attached
11:00 - 12:30
Software Verification and Synthesis
VMCAI
at
Sala III
Chair(s):
Ori Lahav
Tel Aviv University
11:00
30m
Talk
Mechanically Proving Determinacy of Hierarchical Block Diagram Translations
VMCAI
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
Denis Bueno
,
Karem A. Sakallah
12:00
30m
Talk
Program Synthesis with Equivalence Reduction
VMCAI
Calvin Smith
University of Wisconsin - Madison
,
Aws Albarghouthi
University of Wisconsin-Madison
14:00 - 15:30
Software Verification
VMCAI
at
Sala III
Chair(s):
Grigory Fedyukovich
Princeton University
14:00
30m
Talk
Type-directed Bounding of Collections in Reactive Programs
VMCAI
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
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
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
at
Sala III
Chair(s):
Cezara Drăgoi
INRIA, ENS, CNRS
16:00
30m
Talk
On the Semantics of Snapshot Isolation
VMCAI
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
Nuno P. Lopes
Microsoft Research
,
Andrey Rybalchenko
Microsoft Research
Pre-print
17:00
30m
Talk
Parametric Timed Broadcast Protocols
VMCAI
É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
Invited Talk 1
VMCAI
Abstract Interpretation (1)
VMCAI
Program Synthesis
VMCAI
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
Invited Talk 2
VMCAI
Decision Procedures
VMCAI
Probabilistic Systems
VMCAI
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
Invited Talk 3
VMCAI
Software Verification and Synthesis
VMCAI
Software Verification
VMCAI
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
Thu 21 Nov 16:45