Program - ESOP 2015

Filter

Tue 14 Apr

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

10:30 - 11:00
Talk

Probabilistic Programs as Spreadsheet Queries

Andrew D. GordonMicrosoft Research and University of Edinburgh, Claudio RussoMicrosoft Research, Marcin SzymczakUniversity of Edinburgh, Johannes BorgströmUppsala University, Nicolas RollandMicrosoft Research, Thore GraepelMicrosoft Research, Daniel TarlowMicrosoft Research

11:00 - 11:30
Talk

Static Analysis of Spreadsheet Applications for Type-Unsafe Operations Detection

Tie ChengCNRS, ENS, INRIA, Paris, France, Xavier RivalINRIA/CNRS/ENS Paris

11:30 - 12:00
Talk

Running Probabilistic Programs Backwards

Neil TorontoBrigham Young University, Jay McCarthy, David Van Horn

12:00 - 12:30
Talk

A Verified Compiler for Probability Density Functions

Manuel EberlTechnische Universität München, Johannes HölzlTechnische Universität München, Tobias NipkowTechnische Universität München

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

14:00 - 14:30
Talk

Segment Abstraction for Worst-Case Execution Time Analysis

Pavol CernyUniversity of Colorado Boulder, Thomas A. HenzingerIST Austria, Laura KovacsChalmers University of Technology, Arjun RadhakrishnaMicrosoft, Jakob ZwirchmayrIRIT Toulouse

14:30 - 15:00
Talk

Automatic Static Cost Analysis for Parallel Programs

Jan HoffmannYale University, Zhong ShaoYale University

15:00 - 15:30
Talk

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

Willem PenninckxKU Leuven, Bart JacobsiMinds - Distrinet, KU Leuven, Frank PiessensiMinds - Distrinet, KU Leuven

15:30 - 16:00
Talk

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

Cristina DavidUniversity of Oxford, Daniel KroeningUniversity of Oxford, Matt LewisUniversity of Oxford

16:30 - 18:00: ESOP - Session 3 at Skeel
Chair(s): Dave SandsChalmers University of Technology

16:30 - 17:00
Talk

A Theory of Name Resolution

Pierre NeronTU Delft, Andrew TolmachPortland State University, Eelco VisserDelft University of Technology, Guido WachsmuthDelft University of Technology

17:00 - 17:30
Talk

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

Giuseppe CastagnaParis Diderot University & CNRS, Hyeonseung ImINRIA Grenoble Rhône-Alpes, Kim NguyễnLRI, Université Paris-Sud, Véronique BenzakenLRI, Université Paris-Sud

17:30 - 18:00
Talk

IsoLate: A Type System for Self-Recursion

Ravi ChughUniversity of Chicago

Wed 15 Apr

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

10:30 - 11:00
Talk

The Problem of Programming Language Concurrency Semantics

Mark BattyUniversity of Cambridge, Kayvan MemarianUniversity of Cambridge, Kyndylan NienhuisUniversity of Cambridge, Jean Pichon-PharabodUniversity of Cambridge, Peter SewellUniversity of Cambridge

11:00 - 11:30
Talk

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

Parosh Aziz Abdulla, Mohamed Faouzi AtigUppsala University, Tuan Phong NgoUppsala University

11:30 - 12:00
Talk

Specifying and Verifying Concurrent Algorithms with Histories and Subjectivity

Ilya SergeyIMDEA Software Institute, Aleksandar NanevskiIMDEA Software Institute, Anindya BanerjeeIMDEA Software Institute

12:00 - 12:30
Talk

Witnessing (Co)datatypes

Jasmin Christian BlanchetteTU Munich, Andrei PopescuMiddlesex University, London, Dmitriy TraytelTU Munich

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

14:00 - 14:30
Talk

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

Burke FetscherNorthwestern University, Koen ClaessenChalmers University of Technology, Michał PałkaChalmers University of Technology, John HughesChalmers University of Technology, Robby FindlerNorthwestern University

14:30 - 15:00
Talk

Refinement Types for Incremental Computational Complexity

Ezgi ÇiçekMPI-SWS, Deepak GargMPI-SWS, Umut AcarCarnegie Mellon University

15:00 - 15:30
Talk

Monotonic References for Efficient Gradual Typing

Jeremy G. SiekIndiana University, Michael M. VitousekIndiana University, Matteo CiminiIndiana University, Sam Tobin-HochstadtIndiana University, Ronald GarciaUniversity of British Columbia

15:30 - 16:00
Talk

Inter-procedural Two-Variable Herbrand Equalities

Stefan Schulze FrielinghausTechnische Universität München, Michael PetterTechnische Universität München, Helmut SeidlTechnische Universität München

16:30 - 18:00: ESOP - Session 6 at Skeel
Chair(s): Helmut SeidlTechnische Universität München

16:30 - 17:00
Talk

Desynchronized Multi-State Abstractions for Open Programs in Dynamic Languages

Arlen CoxUniversity of Colorado Boulder, Bor-Yuh Evan ChangUniversity of Colorado Boulder, Xavier RivalINRIA/CNRS/ENS Paris

17:00 - 17:30
Talk

Fine-grained Detection of Privilege Escalation Attacks on Browser Extensions

Stefano CalzavaraUniversità Ca' Foscari Venezia, Michele BugliesiUniversità Ca' Foscari Venezia, Silvia CrafaUniversity of Padova, Enrico SteffinlongoUniversità Ca' Foscari Venezia

17:30 - 18:00
Talk

Analysis of Asynchronous Programs with Event-Based Synchronization

Michael EmmiIMDEA Software Institute, Pierre GantyIMDEA Software Institute, Rupak MajumdarMPI-SWS, Fernando Rosa-VelardoUniversidad Complutense de Madrid

Thu 16 Apr

10:30 - 12:30: ESOP - Session 7 at Skeel
Chair(s): Delphine DemangeIRISA / University of Rennes 1

10:30 - 11:00
Talk

A Semantics for Propositions as Sessions

Sam LindleyUniversity of Edinburgh, J. Garrett MorrisThe University of Edinburgh

11:00 - 11:30
Talk

Composite Replicated Data Types

Alexey GotsmanIMDEA, Hongseok YangUniversity of Oxford

11:30 - 12:00
Talk

Relaxed Stratification: A New Approach to Practical Complete Predicate Refinement

Tachio TerauchiJAIST, Hiroshi UnnoUniversity of Tsukuba

12:00 - 12:30
Talk

Spatial Interpolants

Aws AlbarghouthiUniversity of Wisconsin - Madison, Josh BerdineMicrosoft Research, Byron CookMicrosoft Research, Zachary KincaidUniversity of Toronto

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

14:00 - 14:30
Talk

Propositional Reasoning about Safety and Termination of Heap-Manipulating Programs

Cristina DavidUniversity of Oxford, Daniel KroeningUniversity of Oxford, Matt LewisUniversity of Oxford

14:30 - 15:00
Talk

Full reduction in the face of absurdity

Gabriel SchererINRIA, Didier RémyINRIA

15:00 - 15:30
Talk

CoLoSL: Concurrent Local Subjective Logic

Azalea RaadImperial College London, Jules VillardImperial College London, Philippa GardnerImperial College London

15:30 - 16:00
Talk

A Separation Logic for Fictional Sequential Consistency

Filip SieczkowskiAarhus University, Kasper SvendsenAarhus University, Lars BirkedalAarhus University, Jean Pichon-PharabodUniversity of Cambridge

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

16:30 - 17:00
Talk

Binding Structures as an Abstract Data Type

Wilmer RicciottiUniversity of Toulouse

17:00 - 17:30
Talk

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

Pedro VasconcelosLIACC, Universidade do Porto, Porto, Portugal, Steffen JostLMU, Munich, Germany, Mario FloridoFCUP, Universidade do Porto, Portugal, Kevin HammondUniversity of St Andrews, St Andrews, UK

17:30 - 18:00
Talk

Type Targeted Testing

Eric Seidel, Niki VazouUC San Diego, Ranjit JhalaUniversity of California, San Diego

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

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

ESOP 2015 Program

Tue 14 Apr

Wed 15 Apr

Thu 16 Apr

Tue 14 Apr 2015

ESOP

ESOP

ESOP

Wed 15 Apr 2015

ESOP

ESOP

ESOP

Thu 16 Apr 2015

ESOP

ESOP

ESOP

Tue 14 Apr 2015

Wed 15 Apr 2015

Thu 16 Apr 2015

Tracks