POPL 2018
Sun 7 - Sat 13 January 2018 Los Angeles, California, United States
POPL 2018 (series) / Omni Hotel /

Room information: Watercourt

VenueOmni Hotel
Room nameWatercourt
Floor0
Room InformationNo extra information available
Program

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 JhalaVMCAI 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
SynthesisVMCAI 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
VerificationVMCAI 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
SecurityVMCAI 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. McMillanVMCAI 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 InterpretationVMCAI 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
PotpourriVMCAI 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 NaikVMCAI 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 BanquetVMCAI 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 FarzanVMCAI 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 SystemsVMCAI 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 AnalysisVMCAI 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 CheckingVMCAI 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

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Watercourt

VMCAI

Invited Talk by Ranjit Jhala

VMCAI

Synthesis

VMCAI

Verification

VMCAI

Security

Mon 8 Jan

Displayed time zone: Tijuana, Baja California change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:003019:003020:003021:0030
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

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
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

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
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

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:0015304521:00153045
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

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
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