Conference Dates
Conference Dates are in time zone (GMT) Azores, and may differ from the viewed time zone.
Rooms
Tracks
Badges
Your Program
Tue 14 Apr Times are displayed in time zone: Azores change
Tue 14 Apr
Times are displayed in time zone: Azores change
10:30 - 12:30 | |||
10:30 30mTalk | Probabilistic Programs as Spreadsheet Queries ESOP 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 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 EberlTechnische Universität München, Johannes HölzlTechnische Universität München, Tobias NipkowTechnische Universität München |
14:00 - 16:00 | |||
14:00 30mTalk | Segment Abstraction for Worst-Case Execution Time Analysis ESOP Pavol CernyUniversity of Colorado Boulder, Thomas A. HenzingerIST Austria, Laura KovacsChalmers University of Technology, Arjun RadhakrishnaMicrosoft, Jakob ZwirchmayrIRIT 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 PenninckxKU Leuven, Bart JacobsiMinds - Distrinet, KU Leuven, Frank PiessensiMinds - Distrinet, KU Leuven | ||
15:30 30mTalk | Unrestricted Termination and Non-Termination Arguments for Bit-Vector Programs ESOP Cristina DavidUniversity of Oxford, Daniel KroeningUniversity of Oxford, Matt LewisUniversity of Oxford |
16:30 - 18:00 | |||
16:30 30mTalk | A Theory of Name Resolution ESOP Pierre NeronTU Delft, Andrew TolmachPortland State University, Eelco VisserDelft University of Technology, Guido WachsmuthDelft University of Technology | ||
17:00 30mTalk | A Core Calculus for XQuery 3.0: Combining Navigational and Pattern Matching Approaches ESOP 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 30mTalk | IsoLate: A Type System for Self-Recursion ESOP Ravi ChughUniversity of Chicago |
Wed 15 Apr Times are displayed in time zone: Azores change
Wed 15 Apr
Times are displayed in time zone: Azores change
10:30 - 12:30 | |||
10:30 30mTalk | The Problem of Programming Language Concurrency Semantics ESOP Mark BattyUniversity of Cambridge, Kayvan MemarianUniversity of Cambridge, Kyndylan NienhuisUniversity of Cambridge, Jean Pichon-PharabodUniversity of Cambridge, Peter SewellUniversity 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 SergeyIMDEA Software Institute, Aleksandar NanevskiIMDEA Software Institute, Anindya BanerjeeIMDEA 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 FetscherNorthwestern University, Koen ClaessenChalmers University of Technology, Michał PałkaChalmers University of Technology, John HughesChalmers University of Technology, Robby FindlerNorthwestern University | ||
14:30 30mTalk | Refinement Types for Incremental Computational Complexity ESOP | ||
15:00 30mTalk | Monotonic References for Efficient Gradual Typing ESOP Jeremy G. SiekIndiana University, Michael M. VitousekIndiana University, Matteo CiminiIndiana University, Sam Tobin-HochstadtIndiana University, Ronald GarciaUniversity of British Columbia | ||
15:30 30mTalk | Inter-procedural Two-Variable Herbrand Equalities ESOP Stefan Schulze FrielinghausTechnische Universität München, Michael PetterTechnische Universität München, Helmut SeidlTechnische Universität München |
16:30 - 18:00 | |||
16:30 30mTalk | Desynchronized Multi-State Abstractions for Open Programs in Dynamic Languages ESOP Arlen CoxUniversity of Colorado Boulder, Bor-Yuh Evan ChangUniversity of Colorado Boulder, Xavier RivalINRIA/CNRS/ENS Paris | ||
17:00 30mTalk | Fine-grained Detection of Privilege Escalation Attacks on Browser Extensions ESOP Stefano CalzavaraUniversità Ca' Foscari Venezia, Michele BugliesiUniversità Ca' Foscari Venezia, Silvia CrafaUniversity of Padova, Enrico SteffinlongoUniversità Ca' Foscari Venezia | ||
17:30 30mTalk | Analysis of Asynchronous Programs with Event-Based Synchronization ESOP Michael EmmiIMDEA Software Institute, Pierre GantyIMDEA Software Institute, Rupak MajumdarMPI-SWS, Fernando Rosa-VelardoUniversidad Complutense de Madrid |
Thu 16 Apr Times are displayed in time zone: Azores change
Thu 16 Apr
Times are displayed in 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 AlbarghouthiUniversity of Wisconsin - Madison, Josh BerdineMicrosoft Research, Byron CookMicrosoft Research, Zachary KincaidUniversity of Toronto |
14:00 - 16:00 | |||
14:00 30mTalk | Propositional Reasoning about Safety and Termination of Heap-Manipulating Programs ESOP Cristina DavidUniversity of Oxford, Daniel KroeningUniversity of Oxford, Matt LewisUniversity of Oxford | ||
14:30 30mTalk | Full reduction in the face of absurdity ESOP | ||
15:00 30mTalk | CoLoSL: Concurrent Local Subjective Logic ESOP Azalea RaadImperial College London, Jules VillardImperial College London, Philippa GardnerImperial College London | ||
15:30 30mTalk | A Separation Logic for Fictional Sequential Consistency ESOP Filip SieczkowskiAarhus University, Kasper SvendsenAarhus University, Lars BirkedalAarhus University, Jean Pichon-PharabodUniversity of Cambridge |
16:30 - 18:00 | |||
16:30 30mTalk | Binding Structures as an Abstract Data Type ESOP Wilmer RicciottiUniversity of Toulouse | ||
17:00 30mTalk | Type-based Allocation Analysis for Co-Recursion in Lazy Functional Languages ESOP 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 30mTalk | Type Targeted Testing ESOP |
Tue 14 Apr Times are displayed in time zone: Azores change
Tue 14 Apr
Times are displayed in 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 |
---|
Wed 15 Apr Times are displayed in time zone: Azores change
Wed 15 Apr
Times are displayed in 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 |
---|
Thu 16 Apr Times are displayed in time zone: Azores change
Thu 16 Apr
Times are displayed in 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 |
---|
Tue 14 Apr Times are displayed in time zone: Azores change
Tue 14 Apr
Times are displayed in 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 Running Probabilistic Programs Backwards 11:30 - 12:00 | ESOP A Theory of Name Resolution 16:30 - 17:00 | ESOP IsoLate: A Type System for Self-Recursion 17:30 - 18:00 |
Wed 15 Apr Times are displayed in time zone: Azores change
Wed 15 Apr
Times are displayed in 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 Witnessing (Co)datatypes 12:00 - 12:30 |
Thu 16 Apr Times are displayed in time zone: Azores change
Thu 16 Apr
Times are displayed in 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 Spatial Interpolants 12:00 - 12:30 | ESOP Full reduction in the face of absurdity 14:30 - 15:00 | ESOP CoLoSL: Concurrent Local Subjective Logic 15:00 - 15:30 | ESOP Binding Structures as an Abstract Data Type 16:30 - 17:00 | 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