PADL
Mon 18 - Tue 19 January 2016 St. Petersburg, Florida, United States
co-located with POPL 2016
VenueHilton St. Petersburg Bayfront
Room nameRoom St Petersburg I
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 17 Jan

Displayed time zone: Guadalajara, Mexico City, Monterrey change

08:50 - 09:00
WelcomeVMCAI at Room St Petersburg I
Chair(s): K. Rustan M. Leino Microsoft Research
09:00 - 10:00
Invited Talk IVMCAI at Room St Petersburg I
Chair(s): Sharon Shoham
09:00
60m
Talk
Automating Abstract Interpretation
VMCAI
Thomas Reps University of Wisconsin - Madison and Grammatech Inc.

Mon 18 Jan

Displayed time zone: Guadalajara, Mexico City, Monterrey change

09:00 - 10:00
Invited Talk IIVMCAI at Room St Petersburg I
Chair(s): K. Rustan M. Leino Microsoft Research
09:00
60m
Talk
Ironclad - Full Verification of Complex Systems
VMCAI
Bryan Parno Microsoft Research
10:30 - 12:00
Hybrid and Timed SystemsVMCAI at Room St Petersburg I
Chair(s): David Monniaux CNRS, VERIMAG
10:30
30m
Talk
Abstract Interpretation with Infinitesimals
VMCAI
Kengo Kido , Swarat Chaudhuri Rice University, Ichiro Hasuo University of Tokyo
11:00
30m
Talk
Lipschitz Robustness of Timed I/O Systems
VMCAI
Thomas A. Henzinger IST Austria, Jan Otop University of Wrocław, Roopsha Samanta IST Austria
11:30
30m
Talk
A method for invariant generation for polynomial continuous systems
VMCAI
Andrew Sogokon , Khalil Ghorbal Carnegie Mellon University, Paul Jackson , André Platzer
14:00 - 15:30
Dynamic and Static VerificationVMCAI at Room St Petersburg I
Chair(s): Aarti Gupta Princeton University
14:00
30m
Talk
Hybrid Analysis for Partial Order Reduction of Programs with Arrays
VMCAI
Pavel Parizek Charles University in Prague
14:30
30m
Talk
Cloud-Based Verification of Concurrent Software
VMCAI
15:00
30m
Talk
Abstraction-driven Concolic Testing
VMCAI

Tue 19 Jan

Displayed time zone: Guadalajara, Mexico City, Monterrey change

09:00 - 10:00
Invited Talk IIIVMCAI at Room St Petersburg I
Chair(s): Bor-Yuh Evan Chang University of Colorado Boulder
09:00
60m
Talk
Viper - A Verification Infrastructure for Permission-based Reasoning
VMCAI
Peter Müller ETH Zurich
10:30 - 12:00
Concurrent ProgramsVMCAI at Room St Petersburg I
Chair(s): Noam Rinetzky
10:30
30m
Talk
Pointer Race Freedom
VMCAI
Frédéric Haziza , Lukáš Holík , Roland Meyer , Sebastian Wolff Fraunhofer ITWM and TU Kaiserslautern
11:00
30m
Talk
A program logic for C11 memory fences
VMCAI
Marko Doko MPI-SWS, Germany, Viktor Vafeiadis MPI-SWS, Germany
11:30
30m
Talk
From Low Level Pointers to High Level Containers
VMCAI
Kamil Dudka , Lukáš Holík , Petr Peringer , Tomáš Vojnar Brno University of Technology
14:00 - 15:30
Parameterized and Component-Based SystemsVMCAI at Room St Petersburg I
Chair(s): Arie Gurfinkel Carnegie Mellon University
14:00
30m
Talk
Regular Symmetry Patterns
VMCAI
Anthony Widjaja Lin Yale-NUS College, Singapore, Truong Khanh Nguyen , Philipp Ruemmer Uppsala University, Jun Sun
14:30
30m
Talk
Tight Cutoffs for Guarded Protocols with Fairness
VMCAI
15:00
30m
Talk
A General Modular Synthesis Problem for Pushdown Systems
VMCAI
18:00 - 21:00
CPP Reception, sponsored by the DeepSpec projectCPP at Room St Petersburg I
18:00
3h
Social Event
CPP Reception, sponsored by the DeepSpec project
CPP

Sat 23 Jan

Displayed time zone: Guadalajara, Mexico City, Monterrey change

09:00 - 10:00
Session OneOff the Beaten Track at Room St Petersburg I
Chair(s): Lindsey Kuper Intel Labs
09:00
15m
Day opening
Opening remarks and program chair's report
Off the Beaten Track
Lindsey Kuper Intel Labs
09:15
45m
Talk
Keynote Talk: Operationalizing Creative Theories
Off the Beaten Track
K: Chris Martens Carnegie Mellon University
14:00 - 15:35
Session ThreeOff the Beaten Track at Room St Petersburg I
Chair(s): Limin Jia Carnegie Mellon University
14:00
45m
Talk
Keynote Talk: Generalising Abstraction
Off the Beaten Track
K: Robert Atkey University of Strathclyde
14:45
25m
Talk
The Semantics of Syntax: Applying Denotational Semantics to Hygienic Macro Systems
Off the Beaten Track
Pre-print
15:10
25m
Talk
Affine Functional Programs as Higher-order Boolean Circuits
Off the Beaten Track
Pre-print

Sun 17 Jan

Displayed time zone: Guadalajara, Mexico City, Monterrey change

Mon 18 Jan

Displayed time zone: Guadalajara, Mexico City, Monterrey change

Tue 19 Jan

Displayed time zone: Guadalajara, Mexico City, Monterrey change

Sat 23 Jan

Displayed time zone: Guadalajara, Mexico City, Monterrey change