Program - ESOP 2015

Detailed Table Session Timeline Detailed Timeline

Time Zone

The program is currently displayed in (GMT) Azores.

Use conference time zone: (GMT) AzoresSelect other time zone

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 programSpecify 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

10:30 - 12:30	Session 1ESOP 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 2ESOP 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 3ESOP 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

10:30 - 12:30	Session 4ESOP 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 5ESOP 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

ESOP 2015 Program

Tue 14 Apr
Displayed time zone: Azores change

Wed 15 Apr
Displayed time zone: Azores change

Thu 16 Apr
Displayed time zone: Azores change

Tracks

16:30 - 18:00	Session 6ESOP 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

10:30 - 12:30	Session 7ESOP 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 8ESOP 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 9ESOP 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

ESOP 2015 Program

Switch Program View

Program Display Configuration

Tue 14 AprDisplayed time zone: Azores change

Wed 15 AprDisplayed time zone: Azores change

Thu 16 AprDisplayed time zone: Azores change

Get Calendar (iCal)

Tue 14 Apr
Displayed time zone: Azores change

Wed 15 Apr
Displayed time zone: Azores change

Thu 16 Apr
Displayed time zone: Azores change