Write a Blog >>
NetPL 2018
Mon 8 - Sat 13 January 2018
Los Angeles, California, United States
co-located with
POPL 2018
Toggle navigation
Attending
Venue: Omni Hotel
Program
NetPL Program
Your Program
Mon 8 Jan
Tue 9 Jan
Wed 10 Jan
Thu 11 Jan
Fri 12 Jan
Sat 13 Jan
Track/Call
Organization
NetPL 2018 Committees
Track Committees
Organizing Committee
Contributors
People Index
Search
Series
Series
NetPL 2018
NetPL 2015
Sign in
Sign up
POPL 2018
(
series
) /
NetPL 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
at
Watercourt
Chair(s):
Işıl Dillig
UT Austin
09:00
60m
Talk
Reasoning about Functions
VMCAI
Ranjit Jhala
University of California, San Diego
10:30 - 12:00
Synthesis
VMCAI
at
Watercourt
Chair(s):
K. Rustan M. Leino
Amazon
10:30
30m
Talk
Abstraction-Based Interaction Model for Synthesis
VMCAI
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
Eric Butler
University of Washington
,
Emina Torlak
University of Washington
,
Zoran Popovic
University of Washington
11:30
30m
Talk
Generating Tests by Example
VMCAI
Hila Peleg
,
Dan Rasin
Technion – Israel Institute of Technology
,
Eran Yahav
Technion
14:00 - 15:30
Verification
VMCAI
at
Watercourt
Chair(s):
Jeffrey S. Foster
University of Maryland, College Park
14:00
30m
Talk
Gradual Program Verification
VMCAI
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
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
Lenore Zuck
,
Kenneth L. McMillan
Microsoft Research
,
Jordan Torf
UIC
16:00 - 17:30
Security
VMCAI
at
Watercourt
Chair(s):
Francesco Ranzato
University of Padova
16:00
30m
Talk
Code Obfuscation Against Abstract Model Checking Attacks
VMCAI
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
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
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
at
Watercourt
Chair(s):
Lenore Zuck
09:00
60m
Talk
How to Stay Decidable
VMCAI
Kenneth L. McMillan
Microsoft Research
10:30 - 12:00
Abstract Interpretation
VMCAI
at
Watercourt
Chair(s):
Patrick Cousot
10:30
30m
Talk
On Constructivity of Galois Connections
VMCAI
Francesco Ranzato
University of Padova
11:00
30m
Talk
An Abstract Interpretation Framework for the Round-Off Error Analysis of Floating-Point Programs
VMCAI
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
Julian Kranz
Technical University of Munich
,
Axel Simon
Google
14:00 - 15:30
Potpourri
VMCAI
at
Watercourt
Chair(s):
Wei-Ngan Chin
National University of Singapore
14:00
30m
Talk
Revisiting MITL to Fix Decision Procedures
VMCAI
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
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
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
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
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
at
Watercourt
18:00
4h
Dinner
Banquet
VMCAI
Tue 9 Jan
Displayed time zone:
Tijuana, Baja California
change
09:00 - 10:00
Invited Talk by Azadeh Farzan
VMCAI
at
Watercourt
Chair(s):
Işıl Dillig
UT Austin
09:00
60m
Talk
Rethinking Compositionality for Concurrent Program Proofs
VMCAI
Azadeh Farzan
University of Toronto
10:30 - 12:00
Verifying Protocols and Systems
VMCAI
at
Watercourt
Chair(s):
James Riely
DePaul University
10:30
30m
Talk
Analyzing Guarded Protocols: Better Cutoffs, More Systems, More Expressivity
VMCAI
Swen Jacobs
,
Mouhammad Sakr
Saarland University
11:00
30m
Talk
Automatic Verification of Intermittent Systems
VMCAI
Manjeet Dahiya
,
Sorav Bansal
11:30
30m
Talk
Co-Design and Verification of an Available File System
VMCAI
Mahsa Najafzadeh
Purdue University
,
Marc Shapiro
LIP6
,
Patrick Eugster
Purdue University
14:00 - 15:30
Types and Analysis
VMCAI
at
Watercourt
Chair(s):
Tachio Terauchi
Waseda University
14:00
30m
Talk
From Shapes to Amortized Complexity
VMCAI
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
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
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
at
Watercourt
Chair(s):
Kenneth L. McMillan
Microsoft Research
16:00
30m
Talk
Learning to Complement Büchi Automata
VMCAI
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
Tanja Schindler
University of Freiburg
,
Dejan Jovanović
SRI International
17:00
30m
Talk
Parameterized Model Checking of Synchronous Distributed Algorithms by Abstraction
VMCAI
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
Invited Talk by Ranjit Jhala
VMCAI
Synthesis
VMCAI
Verification
VMCAI
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
Invited Talk by Kenneth L. McMillan
VMCAI
Abstract Interpretation
VMCAI
Potpourri
VMCAI
Invited Tutorial by Mayur Naik
VMCAI
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
Invited Talk by Azadeh Farzan
VMCAI
Verifying Protocols and Systems
VMCAI
Types and Analysis
VMCAI
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 22 Dec 09:51