Talks & Seminars
Title: Programming Language Design and Analysis Motivated by Hardware Evolution
Prof. Alan Mycroft, University of Cambridge, University of Cambridge
Date & Time: January 27, 2010 11:30
Venue: Conference Room, 01st floor, Kanwal Rekhi Bldg.
Silicon chip design has passed a threshold whereby exponentially increasing transistor density (Moore's Law) no longer translates into increased processing power for single-processor architectures. Moore's Law now expresses itself as an exponentially increasing number of processing cores per fixed-size chip. We survey this process and its implications on programming language design and static analysis. Particular aspects addressed include the reduced reliability of ever-smaller components, the problems of physical distribution of programs and the growing problems of providing shared memory.
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 ~Scompile-time debugging~T. His PhD created the subject of ~Sstrictness analysis~T 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 ~SSilicon Compilers~T, 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 ~Qmulti-core~R 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 (~Soptimize as much as you can, but don't step over the line~T).
List of Talks


Faculty CSE IT
Forgot Password
    [+] Sitemap     Feedback