Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Tue 14 AprDisplayed time zone: Azores change
Tue 14 Apr
Displayed time zone: Azores change
10:30 - 12:30 | |||
10:30 30mTalk | 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 30mTalk | Static Analysis of Spreadsheet Applications for Type-Unsafe Operations Detection ESOP | ||
11:30 30mTalk | Running Probabilistic Programs Backwards ESOP | ||
12:00 30mTalk | 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 | |||
14:00 30mTalk | 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 30mTalk | Automatic Static Cost Analysis for Parallel Programs ESOP | ||
15:00 30mTalk | 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 30mTalk | 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 | |||
16:30 30mTalk | 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 30mTalk | 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 30mTalk | IsoLate: A Type System for Self-Recursion ESOP Ravi Chugh University of Chicago | ||
Wed 15 AprDisplayed time zone: Azores change
Wed 15 Apr
Displayed time zone: Azores change
10:30 - 12:30 | |||
10:30 30mTalk | 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 30mTalk | The Best of Both Worlds: Trading Efficiency and Optimality in Fence Insertion for TSO ESOP | ||
11:30 30mTalk | 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 30mTalk | Witnessing (Co)datatypes ESOP | ||
14:00 - 16:00 | |||
14:00 30mTalk | 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, Robby Findler Northwestern University | ||
14:30 30mTalk | Refinement Types for Incremental Computational Complexity ESOP | ||
15:00 30mTalk | 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 30mTalk | 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 | |||
16:30 30mTalk | 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 30mTalk | 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 30mTalk | 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 AprDisplayed time zone: Azores change
Thu 16 Apr
Displayed time zone: Azores change
10:30 - 12:30 | |||
10:30 30mTalk | A Semantics for Propositions as Sessions ESOP | ||
11:00 30mTalk | Composite Replicated Data Types ESOP | ||
11:30 30mTalk | Relaxed Stratification: A New Approach to Practical Complete Predicate Refinement ESOP | ||
12:00 30mTalk | 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 | |||
14:00 30mTalk | 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 30mTalk | Full reduction in the face of absurdity ESOP | ||
15:00 30mTalk | CoLoSL: Concurrent Local Subjective Logic ESOP Azalea Raad Imperial College London, Jules Villard Imperial College London, Philippa Gardner Imperial College London | ||
15:30 30mTalk | 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 | |||
16:30 30mTalk | Binding Structures as an Abstract Data Type ESOP Wilmer Ricciotti University of Toulouse | ||
17:00 30mTalk | 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 30mTalk | Type Targeted Testing ESOP | ||