ESOP 2015
Tue 14 - Thu 16 April 2015
London, United Kingdom
Toggle navigation
Attending
Venue: Queen Mary, University of London
Hotels
Sponsors
Program
ESOP Program
Your Program
Tue 14 Apr
Wed 15 Apr
Thu 16 Apr
Tracks
ESOP 2015
ESOP
Speakers
Organization
ESOP 2015 Committees
Steering Committee
Track Committees
Program Committee
Contributors
People Index
Search
Series
Series
ESOP 2019
ESOP 2015
Sign in
Sign up
ESOP 2015
(
series
) /
Queen Mary, University of London
/
Room information: Skeel
Venue
Queen Mary, University of London
Room name
Skeel
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) Azores
.
Use conference time zone: (GMT) Azores
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06: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-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:30) Caracas
(GMT-03:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+01:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+04: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+06: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+09:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+10:00) Hobart
(GMT+10:00) Vladivostok
(GMT+10:30) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+10:00) Magadan
(GMT+11:30) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+12:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+12: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
Tue 14 Apr
Displayed time zone:
Azores
change
10:30 - 12:30
Session 1
ESOP
at
Skeel
Chair(s):
Jan Vitek
Northeastern University
10:30
30m
Talk
Probabilistic Programs as Spreadsheet Queries
ESOP
Andrew D. Gordon
Microsoft Research and University of Edinburgh
,
Claudio Russo
Microsoft Research
,
Marcin Szymczak
University of Edinburgh
,
Johannes Borgström
Uppsala University
,
Nicolas Rolland
Microsoft Research
,
Thore Graepel
Microsoft Research
,
Daniel Tarlow
Microsoft Research
11:00
30m
Talk
Static Analysis of Spreadsheet Applications for Type-Unsafe Operations Detection
ESOP
Tie Cheng
CNRS, ENS, INRIA, Paris, France
,
Xavier Rival
INRIA/CNRS/ENS Paris
11:30
30m
Talk
Running Probabilistic Programs Backwards
ESOP
Neil Toronto
Brigham Young University
,
Jay McCarthy
,
David Van Horn
12:00
30m
Talk
A Verified Compiler for Probability Density Functions
ESOP
Manuel Eberl
Technische Universität München
,
Johannes Hölzl
Technische Universität München
,
Tobias Nipkow
Technische Universität München
14:00 - 16:00
Session 2
ESOP
at
Skeel
Chair(s):
Gavin Bierman
Oracle Labs
14:00
30m
Talk
Segment Abstraction for Worst-Case Execution Time Analysis
ESOP
Pavol Cerny
University of Colorado Boulder
,
Thomas A. Henzinger
IST Austria
,
Laura Kovacs
Chalmers University of Technology
,
Arjun Radhakrishna
Microsoft
,
Jakob Zwirchmayr
IRIT Toulouse
14:30
30m
Talk
Automatic Static Cost Analysis for Parallel Programs
ESOP
Jan Hoffmann
Yale University
,
Zhong Shao
Yale University
15:00
30m
Talk
Sound, modular and compositional verification of the input/output behavior of programs
ESOP
Willem Penninckx
KU Leuven
,
Bart Jacobs
iMinds - Distrinet, KU Leuven
,
Frank Piessens
iMinds - Distrinet, KU Leuven
15:30
30m
Talk
Unrestricted Termination and Non-Termination Arguments for Bit-Vector Programs
ESOP
Cristina David
University of Oxford
,
Daniel Kroening
University of Oxford
,
Matt Lewis
University of Oxford
16:30 - 18:00
Session 3
ESOP
at
Skeel
Chair(s):
Dave Sands
Chalmers University of Technology
16:30
30m
Talk
A Theory of Name Resolution
ESOP
Pierre Neron
TU Delft
,
Andrew Tolmach
Portland State University
,
Eelco Visser
Delft University of Technology
,
Guido Wachsmuth
Delft University of Technology
17:00
30m
Talk
A Core Calculus for XQuery 3.0: Combining Navigational and Pattern Matching Approaches
ESOP
Giuseppe Castagna
Paris Diderot University & CNRS
,
Hyeonseung Im
INRIA Grenoble Rhône-Alpes
,
Kim Nguyễn
LRI, Université Paris-Sud
,
Véronique Benzaken
LRI, Université Paris-Sud
17:30
30m
Talk
IsoLate: A Type System for Self-Recursion
ESOP
Ravi Chugh
University of Chicago
Wed 15 Apr
Displayed time zone:
Azores
change
10:30 - 12:30
Session 4
ESOP
at
Skeel
Chair(s):
Lars Birkedal
Aarhus University
10:30
30m
Talk
The Problem of Programming Language Concurrency Semantics
ESOP
Mark Batty
University of Cambridge
,
Kayvan Memarian
University of Cambridge
,
Kyndylan Nienhuis
University of Cambridge
,
Jean Pichon-Pharabod
University of Cambridge
,
Peter Sewell
University of Cambridge
11:00
30m
Talk
The Best of Both Worlds: Trading Efficiency and Optimality in Fence Insertion for TSO
ESOP
Parosh Aziz Abdulla
,
Mohamed Faouzi Atig
Uppsala University
,
Tuan Phong Ngo
Uppsala University
11:30
30m
Talk
Specifying and Verifying Concurrent Algorithms with Histories and Subjectivity
ESOP
Ilya Sergey
IMDEA Software Institute
,
Aleksandar Nanevski
IMDEA Software Institute
,
Anindya Banerjee
IMDEA Software Institute
12:00
30m
Talk
Witnessing (Co)datatypes
ESOP
Jasmin Blanchette
TU Munich
,
Andrei Popescu
Middlesex University, London
,
Dmitriy Traytel
TU Munich
14:00 - 16:00
Session 5
ESOP
at
Skeel
Chair(s):
Jan Vitek
Northeastern University
14:00
30m
Talk
Making Random Judgments: Automatically Generating Well-Typed Terms from the Definition of a Type-System
ESOP
Burke Fetscher
Northwestern University
,
Koen Claessen
Chalmers University of Technology
,
Michał Pałka
Chalmers University of Technology
,
John Hughes
Chalmers University of Technology
,
Robert Bruce Findler
Northwestern University
14:30
30m
Talk
Refinement Types for Incremental Computational Complexity
ESOP
Ezgi Çiçek
MPI-SWS
,
Deepak Garg
MPI-SWS
,
Umut A. Acar
Carnegie Mellon University
15:00
30m
Talk
Monotonic References for Efficient Gradual Typing
ESOP
Jeremy G. Siek
Indiana University
,
Michael M. Vitousek
Indiana University
,
Matteo Cimini
Indiana University
,
Sam Tobin-Hochstadt
Indiana University
,
Ronald Garcia
University of British Columbia
15:30
30m
Talk
Inter-procedural Two-Variable Herbrand Equalities
ESOP
Stefan Schulze Frielinghaus
Technische Universität München
,
Michael Petter
Technische Universität München
,
Helmut Seidl
Technische Universität München
16:30 - 18:00
Session 6
ESOP
at
Skeel
Chair(s):
Helmut Seidl
Technische Universität München
16:30
30m
Talk
Desynchronized Multi-State Abstractions for Open Programs in Dynamic Languages
ESOP
Arlen Cox
University of Colorado Boulder
,
Bor-Yuh Evan Chang
University of Colorado Boulder
,
Xavier Rival
INRIA/CNRS/ENS Paris
17:00
30m
Talk
Fine-grained Detection of Privilege Escalation Attacks on Browser Extensions
ESOP
Stefano Calzavara
Università Ca' Foscari Venezia
,
Michele Bugliesi
Università Ca' Foscari Venezia
,
Silvia Crafa
University of Padova
,
Enrico Steffinlongo
Università Ca' Foscari Venezia
17:30
30m
Talk
Analysis of Asynchronous Programs with Event-Based Synchronization
ESOP
Michael Emmi
IMDEA Software Institute
,
Pierre Ganty
IMDEA Software Institute
,
Rupak Majumdar
MPI-SWS
,
Fernando Rosa-Velardo
Universidad Complutense de Madrid
Thu 16 Apr
Displayed time zone:
Azores
change
10:30 - 12:30
Session 7
ESOP
at
Skeel
Chair(s):
Delphine Demange
IRISA / University of Rennes 1
10:30
30m
Talk
A Semantics for Propositions as Sessions
ESOP
Sam Lindley
University of Edinburgh
,
J. Garrett Morris
The University of Edinburgh
11:00
30m
Talk
Composite Replicated Data Types
ESOP
Alexey Gotsman
IMDEA
,
Hongseok Yang
University of Oxford
11:30
30m
Talk
Relaxed Stratification: A New Approach to Practical Complete Predicate Refinement
ESOP
Tachio Terauchi
JAIST
,
Hiroshi Unno
University of Tsukuba
12:00
30m
Talk
Spatial Interpolants
ESOP
Aws Albarghouthi
University of Wisconsin - Madison
,
Josh Berdine
Microsoft Research
,
Byron Cook
Microsoft Research
,
Zachary Kincaid
University of Toronto
14:00 - 16:00
Session 8
ESOP
at
Skeel
Chair(s):
Jan Vitek
Northeastern University
14:00
30m
Talk
Propositional Reasoning about Safety and Termination of Heap-Manipulating Programs
ESOP
Cristina David
University of Oxford
,
Daniel Kroening
University of Oxford
,
Matt Lewis
University of Oxford
14:30
30m
Talk
Full reduction in the face of absurdity
ESOP
Gabriel Scherer
INRIA
,
Didier Rémy
INRIA
15:00
30m
Talk
CoLoSL: Concurrent Local Subjective Logic
ESOP
Azalea Raad
Imperial College London
,
Jules Villard
Imperial College London
,
Philippa Gardner
Imperial College London
15:30
30m
Talk
A Separation Logic for Fictional Sequential Consistency
ESOP
Filip Sieczkowski
Aarhus University
,
Kasper Svendsen
Aarhus University
,
Lars Birkedal
Aarhus University
,
Jean Pichon-Pharabod
University of Cambridge
16:30 - 18:00
Session 9
ESOP
at
Skeel
Chair(s):
Jan Vitek
Northeastern University
16:30
30m
Talk
Binding Structures as an Abstract Data Type
ESOP
Wilmer Ricciotti
University of Toulouse
17:00
30m
Talk
Type-based Allocation Analysis for Co-Recursion in Lazy Functional Languages
ESOP
Pedro Vasconcelos
LIACC, Universidade do Porto, Porto, Portugal
,
Steffen Jost
LMU, Munich, Germany
,
Mario Florido
FCUP, Universidade do Porto, Portugal
,
Kevin Hammond
University of St Andrews, St Andrews, UK
17:30
30m
Talk
Type Targeted Testing
ESOP
Eric Seidel
,
Niki Vazou
UC San Diego
,
Ranjit Jhala
University of California, San Diego
Tue 14 Apr
Displayed time zone:
Azores
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Skeel
ESOP
Session 1
ESOP
Session 2
ESOP
Session 3
Wed 15 Apr
Displayed time zone:
Azores
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Skeel
ESOP
Session 4
ESOP
Session 5
ESOP
Session 6
Thu 16 Apr
Displayed time zone:
Azores
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Skeel
ESOP
Session 7
ESOP
Session 8
ESOP
Session 9
Tue 14 Apr
Displayed time zone:
Azores
change
Room
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
Skeel
ESOP
Probabilistic Programs as Spreadsheet Queries
10:30 - 11:00
ESOP
Static Analysis of Spreadsheet Applications for Type-Unsafe Operations ...
11:00 - 11:30
ESOP
Running Probabilistic Programs Backwards
11:30 - 12:00
ESOP
A Verified Compiler for Probability Density Functions
12:00 - 12:30
ESOP
Segment Abstraction for Worst-Case Execution Time Analysis
14:00 - 14:30
ESOP
Automatic Static Cost Analysis for Parallel Programs
14:30 - 15:00
ESOP
Sound, modular and compositional verification of the input/output behav ...
15:00 - 15:30
ESOP
Unrestricted Termination and Non-Termination Arguments for Bit-Vector P ...
15:30 - 16:00
ESOP
A Theory of Name Resolution
16:30 - 17:00
ESOP
A Core Calculus for XQuery 3.0: Combining Navigational and Pattern Matc ...
17:00 - 17:30
ESOP
IsoLate: A Type System for Self-Recursion
17:30 - 18:00
Wed 15 Apr
Displayed time zone:
Azores
change
Room
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
Skeel
ESOP
The Problem of Programming Language Concurrency Semantics
10:30 - 11:00
ESOP
The Best of Both Worlds: Trading Efficiency and Optimality in Fence Ins ...
11:00 - 11:30
ESOP
Specifying and Verifying Concurrent Algorithms with Histories and Subje ...
11:30 - 12:00
ESOP
Witnessing (Co)datatypes
12:00 - 12:30
ESOP
Making Random Judgments: Automatically Generating Well-Typed Terms from ...
14:00 - 14:30
ESOP
Refinement Types for Incremental Computational Complexity
14:30 - 15:00
ESOP
Monotonic References for Efficient Gradual Typing
15:00 - 15:30
ESOP
Inter-procedural Two-Variable Herbrand Equalities
15:30 - 16:00
ESOP
Desynchronized Multi-State Abstractions for Open Programs in Dynamic La ...
16:30 - 17:00
ESOP
Fine-grained Detection of Privilege Escalation Attacks on Browser Exten ...
17:00 - 17:30
ESOP
Analysis of Asynchronous Programs with Event-Based Synchronization
17:30 - 18:00
Thu 16 Apr
Displayed time zone:
Azores
change
Room
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
Skeel
ESOP
A Semantics for Propositions as Sessions
10:30 - 11:00
ESOP
Composite Replicated Data Types
11:00 - 11:30
ESOP
Relaxed Stratification: A New Approach to Practical Complete Predicate ...
11:30 - 12:00
ESOP
Spatial Interpolants
12:00 - 12:30
ESOP
Propositional Reasoning about Safety and Termination of Heap-Manipulati ...
14:00 - 14:30
ESOP
Full reduction in the face of absurdity
14:30 - 15:00
ESOP
CoLoSL: Concurrent Local Subjective Logic
15:00 - 15:30
ESOP
A Separation Logic for Fictional Sequential Consistency
15:30 - 16:00
ESOP
Binding Structures as an Abstract Data Type
16:30 - 17:00
ESOP
Type-based Allocation Analysis for Co-Recursion in Lazy Functional Lang ...
17:00 - 17:30
ESOP
Type Targeted Testing
17:30 - 18:00
x
Sat 21 Dec 17:16