19th March 2012
Birmingham Hilton Metropole Hotel
This workshop has been called to help identify the common research challenges from across the breadth of UK computing and electronic engineering, required to address the future of massively parallel computing. We aim to bring together leading experts both software and hardware in the UK, to discuss the design, architecture, programming, and verification of such systems.
This workshop is co-organised with EPSRC to feed ideas into the closely related EPSRC workshop on the following day. Registration for each event is separate.
This workshop is co-organised with EPSRC to feed ideas into the closely related EPSRC workshop on the following day. Registration for each event is separate.
Workshop Programme
10:15 Registration and Coffee
10:45 Introduction to the Morning Session, Dr George Constantinides (Imperial College London)
11:00 Biologically-Inspired Massively-Parallel Architectures, Professor Steve Furber (University of Manchester)
11:25 Programming Heterogeneous Manycores: Compiler Challenges and Possible Solutions, Professor Mike O'Boyle (University of Edinburgh)
11:50 Coffee Break
12:15 Gazing into the Void: The End of the Exponential, Professor Ian Phillips (Principal Staff Engineer, ARM)
12:40 FPGAs: Mapping Real-World Applications onto One Million Parallel Elements, Steve Perry (System Tools Architect, Altera)
13:05 GPGPU: Construction Challenges Enabling Accurate Function Evaluation in a Manycore Environment, Theo Drane (Imagination Technologies)
13:30 Lunch
14:45 Introduction to the Afternoon Session, Dr Dan Ghica (Birmingham University)
15:00 The Ghosts of Manycore Past, Present and Yet to Come, Dr Peter Sewell (University of Cambridge)
15:25 Proving that Concurrent/Parallel Systems Eventually do Something Good, Professor Byron Cook (Microsoft Research UK)
15:50 Towards an Axiomatic Theory of Concurrency Professor Peter O'Hearn (Queen Mary, University of London)
16:15 Coffee Break
16:45 The Challenges of Task Allocation in Sea-of-Cores Systems, Dr Wim Vanderbauwhede (University of Glasgow)
17:10 Understanding Program Equivalence in the Manycore World, Dr Julian Rathke (Southampton University)
17:35 Verifying Concurrent Software with Predicate Abstraction, Professor Daniel Kroening (University Oxford)
18:00 Conference Close
10:45 Introduction to the Morning Session, Dr George Constantinides (Imperial College London)
11:00 Biologically-Inspired Massively-Parallel Architectures, Professor Steve Furber (University of Manchester)
11:25 Programming Heterogeneous Manycores: Compiler Challenges and Possible Solutions, Professor Mike O'Boyle (University of Edinburgh)
11:50 Coffee Break
12:15 Gazing into the Void: The End of the Exponential, Professor Ian Phillips (Principal Staff Engineer, ARM)
12:40 FPGAs: Mapping Real-World Applications onto One Million Parallel Elements, Steve Perry (System Tools Architect, Altera)
13:05 GPGPU: Construction Challenges Enabling Accurate Function Evaluation in a Manycore Environment, Theo Drane (Imagination Technologies)
13:30 Lunch
14:45 Introduction to the Afternoon Session, Dr Dan Ghica (Birmingham University)
15:00 The Ghosts of Manycore Past, Present and Yet to Come, Dr Peter Sewell (University of Cambridge)
15:25 Proving that Concurrent/Parallel Systems Eventually do Something Good, Professor Byron Cook (Microsoft Research UK)
15:50 Towards an Axiomatic Theory of Concurrency Professor Peter O'Hearn (Queen Mary, University of London)
16:15 Coffee Break
16:45 The Challenges of Task Allocation in Sea-of-Cores Systems, Dr Wim Vanderbauwhede (University of Glasgow)
17:10 Understanding Program Equivalence in the Manycore World, Dr Julian Rathke (Southampton University)
17:35 Verifying Concurrent Software with Predicate Abstraction, Professor Daniel Kroening (University Oxford)
18:00 Conference Close
Workshop Committee
Dr George A. Constantinides (Imperial College London)
Dr Dan Ghica (University of Birmingham)
Dr Christina Turner (EPSRC)
Dr Dan Ghica (University of Birmingham)
Dr Christina Turner (EPSRC)
Slides
Slides from the talks can be downloaded below:
|
|
||||||||||||||||||
