Blogs (61) >>
Sun 15 - Sat 21 July 2018 Amsterdam, Netherlands
Mon 16 Jul 2018 12:00 - 12:30 at Hanoi - Session 1

Modern architectures require applications to make effective use of caches to achieve high performance and hide memory latency. This in turn requires careful consideration of placement of data in memory to exploit spatial locality, leverage hardware prefetching and conserve memory bandwidth. In unmanaged languages like C++, memory optimisations are common, but at the cost of losing object abstraction and memory safety. In managed languages like Java and C#, the abstract view of memory and proliferation of moving compacting garbage collection does not provide enough control over placement and layout. We have proposed SHAPES, a type-driven abstract placement specification that can be integrated with object-oriented languages to enable memory optimisations. SHAPES preserves both memory and object abstraction. In this paper, we formally specify the SHAPES semantics and describe its memory safety model.

Mon 16 Jul

11:00 - 12:30: FTfJP - Session 1 at Hanoi
FTfJP-2018-papers11:00 - 11:30
Benjamin ChungNortheastern University, Jan VitekNortheastern University
FTfJP-2018-papers11:30 - 12:00
Tamás Szabóitemis AG / TU Delft, Edlira KuciTU Darmstadt, Germany, Matthijs BijmanDelft University of Technology, Mira MeziniTU Darmstadt, Sebastian ErdwegTU Delft
FTfJP-2018-papers12:00 - 12:30
Juliana FrancoMicrosoft Research, Cambridge, Alexandros TasosImperial College London, Sophia DrossopoulouImperial College London, Tobias WrigstadUppsala University, Susan EisenbachImperial College London