Program - ESOP 2015

Tue 14 - Thu 16 April 2015 London, United Kingdom

Filter

Tue 14 Apr

10:30 - 12:30: ESOP - Session 1 at Skeel
Chair(s): Jan Vitek

10:30 - 11:00
Talk

Probabilistic Programs as Spreadsheet Queries

Andrew D. Gordon, Claudio Russo, Marcin Szymczak, Johannes Borgström, Nicolas Rolland, Thore Graepel, Daniel Tarlow

11:00 - 11:30
Talk

Static Analysis of Spreadsheet Applications for Type-Unsafe Operations Detection

Tie Cheng, Xavier Rival

11:30 - 12:00
Talk

Running Probabilistic Programs Backwards

Neil Toronto, Jay McCarthy, David Van Horn

12:00 - 12:30
Talk

A Verified Compiler for Probability Density Functions

Manuel Eberl, Johannes Hölzl, Tobias Nipkow

14:00 - 16:00: ESOP - Session 2 at Skeel
Chair(s): Gavin Bierman

14:00 - 14:30
Talk

Segment Abstraction for Worst-Case Execution Time Analysis

Pavol Cerny, Thomas A. Henzinger, Laura Kovacs, Arjun Radhakrishna, Jakob Zwirchmayr

14:30 - 15:00
Talk

Automatic Static Cost Analysis for Parallel Programs

Jan Hoffmann, Zhong Shao

15:00 - 15:30
Talk

Sound, modular and compositional verification of the input/output behavior of programs

Willem Penninckx, Bart Jacobs, Frank Piessens

15:30 - 16:00
Talk

Unrestricted Termination and Non-Termination Arguments for Bit-Vector Programs

Cristina David, Daniel Kroening, Matt Lewis

16:30 - 18:00: ESOP - Session 3 at Skeel
Chair(s): David Sands

16:30 - 17:00
Talk

A Theory of Name Resolution

Pierre Neron, Andrew Tolmach, Eelco Visser, Guido Wachsmuth

17:00 - 17:30
Talk

A Core Calculus for XQuery 3.0: Combining Navigational and Pattern Matching Approaches

Giuseppe Castagna, Hyeonseung Im, Kim Nguyễn, Véronique Benzaken

17:30 - 18:00
Talk

IsoLate: A Type System for Self-Recursion

Wed 15 Apr

10:30 - 12:30: ESOP - Session 4 at Skeel
Chair(s): Lars Birkedal

10:30 - 11:00
Talk

The Problem of Programming Language Concurrency Semantics

Mark Batty, Kayvan Memarian, Kyndylan Nienhuis, Jean Pichon-Pharabod, Peter Sewell

11:00 - 11:30
Talk

The Best of Both Worlds: Trading Efficiency and Optimality in Fence Insertion for TSO

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Tuan Phong Ngo

11:30 - 12:00
Talk

Specifying and Verifying Concurrent Algorithms with Histories and Subjectivity

Ilya Sergey, Aleksandar Nanevski, Anindya Banerjee

12:00 - 12:30
Talk

Witnessing (Co)datatypes

Jasmin Blanchette, Andrei Popescu, Dmitriy Traytel

14:00 - 16:00: ESOP - Session 5 at Skeel
Chair(s): Jan Vitek

14:00 - 14:30
Talk

Making Random Judgments: Automatically Generating Well-Typed Terms from the Definition of a Type-System

Burke Fetscher, Koen Claessen, Michał Pałka, John Hughes, Robby Findler

14:30 - 15:00
Talk

Refinement Types for Incremental Computational Complexity

Ezgi Çiçek, Deepak Garg, Umut Acar

15:00 - 15:30
Talk

Monotonic References for Efficient Gradual Typing

Jeremy G. Siek, Michael M. Vitousek, Matteo Cimini, Sam Tobin-Hochstadt, Ronald Garcia

15:30 - 16:00
Talk

Inter-procedural Two-Variable Herbrand Equalities

Stefan Schulze Frielinghaus, Michael Petter, Helmut Seidl

16:30 - 18:00: ESOP - Session 6 at Skeel
Chair(s): Helmut Seidl

16:30 - 17:00
Talk

Desynchronized Multi-State Abstractions for Open Programs in Dynamic Languages

Arlen Cox, Bor-Yuh Evan Chang, Xavier Rival

17:00 - 17:30
Talk

Fine-grained Detection of Privilege Escalation Attacks on Browser Extensions

Stefano Calzavara, Michele Bugliesi, Silvia Crafa, Enrico Steffinlongo

17:30 - 18:00
Talk

Analysis of Asynchronous Programs with Event-Based Synchronization

Michael Emmi, Pierre Ganty, Rupak Majumdar, Fernando Rosa-Velardo

Thu 16 Apr

10:30 - 12:30: ESOP - Session 7 at Skeel
Chair(s): Delphine Demange

10:30 - 11:00
Talk

A Semantics for Propositions as Sessions

Sam Lindley, J. Garrett Morris

11:00 - 11:30
Talk

Composite Replicated Data Types

Alexey Gotsman, Hongseok Yang

11:30 - 12:00
Talk

Relaxed Stratification: A New Approach to Practical Complete Predicate Refinement

Tachio Terauchi, Hiroshi Unno

12:00 - 12:30
Talk

Spatial Interpolants

Aws Albarghouthi, Josh Berdine, Byron Cook, Zachary Kincaid

14:00 - 16:00: ESOP - Session 8 at Skeel
Chair(s): Jan Vitek

14:00 - 14:30
Talk

Propositional Reasoning about Safety and Termination of Heap-Manipulating Programs

Cristina David, Daniel Kroening, Matt Lewis

14:30 - 15:00
Talk

Full reduction in the face of absurdity

Gabriel Scherer, Didier Rémy

15:00 - 15:30
Talk

CoLoSL: Concurrent Local Subjective Logic

Azalea Raad, Jules Villard, Philippa Gardner

15:30 - 16:00
Talk

A Separation Logic for Fictional Sequential Consistency

Filip Sieczkowski, Kasper Svendsen, Lars Birkedal, Jean Pichon-Pharabod

16:30 - 18:00: ESOP - Session 9 at Skeel
Chair(s): Jan Vitek

16:30 - 17:00
Talk

Binding Structures as an Abstract Data Type

Wilmer Ricciotti

17:00 - 17:30
Talk

Type-based Allocation Analysis for Co-Recursion in Lazy Functional Languages

Pedro Vasconcelos, Steffen Jost, Mario Florido, Kevin Hammond

17:30 - 18:00
Talk

Type Targeted Testing

Eric L. Seidel, Niki Vazou, Ranjit Jhala

Tue 14 Apr 2015


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						18:00						30
Skeel							ESOP Session 1 10:30 - 12:30																																										ESOP Session 2 14:00 - 16:00																														ESOP Session 3 16:30 - 18:00

Wed 15 Apr 2015


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						18:00						30
Skeel							ESOP Session 4 10:30 - 12:30																																										ESOP Session 5 14:00 - 16:00																														ESOP Session 6 16:30 - 18:00

Thu 16 Apr 2015


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						18:00						30
Skeel							ESOP Session 7 10:30 - 12:30																																										ESOP Session 8 14:00 - 16:00																														ESOP Session 9 16:30 - 18:00

Tue 14 Apr 2015


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			18:00			15			30			45
Skeel							ESOP 2015 Probabilistic Programs as Spreadsheet Queries 10:30 - 11:00						ESOP 2015 Static Analysis of Spreadsheet Applications for Type-Unsafe Operations ... 11:00 - 11:30						ESOP 2015 Running Probabilistic Programs Backwards 11:30 - 12:00						ESOP 2015 A Verified Compiler for Probability Density Functions 12:00 - 12:30																								ESOP 2015 Segment Abstraction for Worst-Case Execution Time Analysis 14:00 - 14:30						ESOP 2015 Automatic Static Cost Analysis for Parallel Programs 14:30 - 15:00						ESOP 2015 Sound, modular and compositional verification of the input/output behav ... 15:00 - 15:30						ESOP 2015 Unrestricted Termination and Non-Termination Arguments for Bit-Vector P ... 15:30 - 16:00												ESOP 2015 A Theory of Name Resolution 16:30 - 17:00						ESOP 2015 A Core Calculus for XQuery 3.0: Combining Navigational and Pattern Matc ... 17:00 - 17:30						ESOP 2015 IsoLate: A Type System for Self-Recursion 17:30 - 18:00

Wed 15 Apr 2015


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			18:00			15			30			45
Skeel							ESOP 2015 The Problem of Programming Language Concurrency Semantics 10:30 - 11:00						ESOP 2015 The Best of Both Worlds: Trading Efficiency and Optimality in Fence Ins ... 11:00 - 11:30						ESOP 2015 Specifying and Verifying Concurrent Algorithms with Histories and Subje ... 11:30 - 12:00						ESOP 2015 Witnessing (Co)datatypes 12:00 - 12:30																								ESOP 2015 Making Random Judgments: Automatically Generating Well-Typed Terms from ... 14:00 - 14:30						ESOP 2015 Refinement Types for Incremental Computational Complexity 14:30 - 15:00						ESOP 2015 Monotonic References for Efficient Gradual Typing 15:00 - 15:30						ESOP 2015 Inter-procedural Two-Variable Herbrand Equalities 15:30 - 16:00												ESOP 2015 Desynchronized Multi-State Abstractions for Open Programs in Dynamic La ... 16:30 - 17:00						ESOP 2015 Fine-grained Detection of Privilege Escalation Attacks on Browser Exten ... 17:00 - 17:30						ESOP 2015 Analysis of Asynchronous Programs with Event-Based Synchronization 17:30 - 18:00

Thu 16 Apr 2015


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			18:00			15			30			45
Skeel							ESOP 2015 A Semantics for Propositions as Sessions 10:30 - 11:00						ESOP 2015 Composite Replicated Data Types 11:00 - 11:30						ESOP 2015 Relaxed Stratification: A New Approach to Practical Complete Predicate ... 11:30 - 12:00						ESOP 2015 Spatial Interpolants 12:00 - 12:30																								ESOP 2015 Propositional Reasoning about Safety and Termination of Heap-Manipulati ... 14:00 - 14:30						ESOP 2015 Full reduction in the face of absurdity 14:30 - 15:00						ESOP 2015 CoLoSL: Concurrent Local Subjective Logic 15:00 - 15:30						ESOP 2015 A Separation Logic for Fictional Sequential Consistency 15:30 - 16:00												ESOP 2015 Binding Structures as an Abstract Data Type 16:30 - 17:00						ESOP 2015 Type-based Allocation Analysis for Co-Recursion in Lazy Functional Lang ... 17:00 - 17:30						ESOP 2015 Type Targeted Testing 17:30 - 18:00

iCalendar subscription service for your personal schedule

You first need to have starred events () in order to use the iCalendar subscription service.

Currently Viewed Program

Downloads the currently viewed program (with filters applied) in iCal format