Mon 26 Oct 2015 16:15 - 16:30 at Haselton 1 - Extended Abstracts Chair(s): Harry Xu

Just-in-Time Data Structures are an attempt to vulgarise the idea that changing the representation (i.e., implementation) of a data structure at runtime can improve the performance of a program compared to its counter part that relies on a single representation. In previous work, we developed a language to develop such Just-in-Time Data Structures. To express ``when'' to change between representations, a dedicated language construct was introduced: the swap rule. A swap rule analyses the state and usage of a just-in-time data structure and reacts as defined by a developer. Opposed to what the name suggest, swap rules are currently implemented as imperative statements woven into the codebase. Their intend, however, is declarative and therefore we think that swap rules should become real declarative rules. This extended abstract presents Just-in-Time Data Structures as a case for applying state-of-the-art in low overhead dynamic analysis. Changing from an imperative to a declarative implementation of swap rules will allow for more efficient execution of our programs by reducing the overhead of continuous analysis.

Mon 26 Oct
Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

16:00 - 17:00: WODA - Extended Abstracts at Haselton 1
Chair(s): Harry XuUniversity of California, Irvine
woda201516:00 - 16:15
Mohammad Reza AzadmaneshUniversity of Lugano, Matthias HauswirthUniversity of Lugano, Switzerland
woda201516:15 - 16:30
Mattias De WaelVrije Universiteit Brussel
woda201516:30 - 16:45
Luís PinaImperial College London, UK, Cristian CadarImperial College London
woda201516:45 - 17:00
Mark HillsEast Carolina University