Write a Blog >>
ISSTA 2018
Sun 15 - Sat 21 July 2018 Amsterdam, Netherlands
co-located with ECOOP and ISSTA
Wed 18 Jul 2018 14:00 - 14:25 at Winterthur - Session 2

Senior Submission
There are two compiler universes. In universe Σ\SigmaΣ, they statically analyze code. Its optimizers are theorem provers, that apply equivalence preserving transformations to speed up computation. Many small hints about the structure of data and computation are provided by the programmer to that end. On the other hand, in universe Ω\OmegaΩ programs are hard to analyze statically. Here, optimizers are anthropologists; they observe the program behavior and optimize for its predicted future. One universe bases its optimizations on facts, the other one on predictions, or even fictions. What, if they are not that different after all? Non-refutable facts are hard to come by, even in universe Σ\SigmaΣ. And from Ω\OmegaΩ we learn, that it can be very efficient to rely on fictions – as long as they are not refuted.

We propose to search for ways of integrating those two worlds. We argue that, with the proper accounting, predictions and assumptions can be used for optimizations; just like facts. Such a compiler uses optimizations which are correct ``up to some context of assumptions''. By controlling the scope of assumptions, and tracking their dependencies, target code comes with a description of a particular execution context, under which it is correct.

Wed 18 Jul

13:30 - 15:24: Doc Symposium - Session 2 at Winterthur
ecoop-issta-2018-doctoral-symposium14:00 - 14:25
Doctoral symposium paper
Olivier FlückigerNortheastern University, USA
File Attached
ecoop-issta-2018-doctoral-symposium14:25 - 14:41
Doctoral symposium paper
Anastasios AntoniadisUniversity of Athens, Greece
File Attached
ecoop-issta-2018-doctoral-symposium14:41 - 14:57
Doctoral symposium paper
Goran PiskachevFraunhofer IEM
File Attached
ecoop-issta-2018-doctoral-symposium14:57 - 15:13
Doctoral symposium paper
Timotej KapusImperial College London
File Attached
ecoop-issta-2018-doctoral-symposium15:13 - 15:29
Doctoral symposium paper
Dan IorgaImperial College London, UK