Talks & Seminars
Title: Types for Access Capabilities in Multi-Core Systems
Prof. Alan Mycroft, Cambridge University
Date & Time: February 15, 2013 15:00
Venue: Conference Room, 01st Floor, C Block, Department of Computer Science and Engineering, Kanwal Rekhi Building
Private local memory and shared memory in multi-core systems causes headaches: programs have concurrency errors (races); cache effects expose the fiction of random access memory; and private local memory requires explicit inter-processor data transfers. We show how an intuitive type system can enforce data isolation between tasks. This eliminates data races and also allows a compiler to freely allocate tasks to processors without changing program meaning and with increased performance predictability.
Speaker Profile:
Alan Mycroft is Professor of Computing in the Computer Laboratory of Cambridge University. His research interests span an arc from semantic models of programming languages to actually building optimizing compilers. A core interest is that of static analysis of programs to extract properties of their run-time behaviour. Such properties can be used to enable optimisations or to facilitate compile-time debugging. His PhD created the subject of strictness analysis when he argued that apparent run-time inefficiencies in modern high-level languages can often be removed by program analysis and optimization phases. Other work has encompassed type-based decompilation and also language and compilation issues for Silicon Compilers, i.e. compiling specifications directly to hardware. In 2005/06, he held a visiting faculty position with Intel Research Cambridge involving developing languages and techniques for compiling to multi-core processors; this research illuminates the benefits of type-like systems of program analysis at enabling programmers to express and manage their implicit treaty with a compiler (optimize as much as you can, but don't step over the line).
List of Talks


Faculty CSE IT
Forgot Password
    [+] Sitemap     Feedback