Pervasive Parallelism Lunch Programme 2014-15


Pervasive Parallelism Lunch 2014/15

All Pervasive Parallelism Lunches start at 12:15pm, and take place in the Informatics Forum, Mini-Forum 2, unless otherwise noted.

For information about PPar Lunch logistics, please see the main Pervasive Parallelism Lunch Programme page.

The student organiser rota is below the speaker schedule.

Speaker Schedule

Date                          

Location         

Speaker

Title

29 July 2015 Mini-Forum 2 Alan Bundy From Sequential to Parallel Algorithms  
22 July 2015 Mini-Forum 2 Mahesh Marina On the Role of Spectrum in the Evolution of Mobile Networks
15 July 2015 Mini-Forum 2 Richard Shillcock Some Philosophical and Psychological Aspects to Parallelism 
8 July 2015 Mini-Forum 2 Julian Bradfield Causality, Independence and Concurrency
1 July 2015 Postponed 
24 June 2015
*13:00*
Mini-Forum 2 No Speaker PPar Lunch Deluxe: Networking Event  
17 June 2015 Mini-Forum 2 Michael Rovatsos Architectures for Social Computation
10 June 2015 Mini-Forum 2 Stephen Booth Auto-tuning for distributed memory FFTs
3 June 2015 No Meeting –
Internal Conference 
27 May 2015 Mini-Forum 2 Jane Hillston Formal modelling languages for performance evaluation   
20 May 2015 Mini-Forum 2 Daniel Holmes New thread support levels for hybrid programming with MPI endpoints
13 May 2015 JCMB Alan Gray Portable Performance across CPUs and GPUs with targetDP
6 May 2015 IF-4.31/4.33 Kousha Etessami Algorithms for probabilistic basic parallel processes (Can these algorithms be parallelized nicely?)
29 April 2015 Mini-Forum 2 Charles Sutton Mining of (and Prediction From) Computer Programs
22 April 2015 Mini-Forum 2 Jacques Fleuriot Parallelism in Interactive Theorem Proving
15 April 2015 Mini-Forum 2 Paul Patras Proportional-fair Resource Allocation in Multi-rate Wi-Fi
8 April 2015 JCMB 3211 Gavin Pringle Lessons Learnt from Implementing a Mixed-Mode Wavefront Algorithm
1 April 2015 Mini-Forum 2 Bjoern Franke Commutativity Characterisation of Algorithmic Skeletons and Their Automated Detection in Sequential Legacy Codes
25 March 2015 IF-2.33 Vijay Nagarajan Synchronization Detection
18 March 2015 Mini-Forum 2 Ajitha Rajan Software testing on GPGPUs
11 March 2015 Postponed   
4 March 2015 Mini-Forum 2 James Cheney Composable Queries in F#
25 February 2015 Mini-Forum 2 Ilias Diakonikolas Distributed Statistical Estimation
18 February 2015 Mini-Forum 2 Rik Sarkar Sensing and learning on mobile devices
11 February 2015 JCMB Mark Bull MPI+X – Practical programming at the Exascale?
4 February 2015 Mini-Forum 2 Nigel Topham Many-core Embedded Systems for Energy-efficient Optical Wireless Communications
28 January 2015 Mini-Forum 2 Richard Mayr Techniques to solve computationally hard problems in automata theory
21 January 2015 Mini-Forum 2 Sam Lindley Session Types
14 January 2015 Mini-Forum 2 Myungjin Lee Bandwidth Guarantees for Predictable Datacenters
17 December 2014
*13:00*
Mini-Forum 2 No Speaker PPar Lunch Deluxe: Networking Event  
10 December 2014 Mini-Forum 2 Pavlos Petoumenos Iterative compilation 1.01
3 December 2014 Postponed  
26 November 2014 Mini-Forum 2 Subramanian Ramamoorthy Parallelising and embedding decision theoretic algorithms – description of some research challenges
19 November 2014 Mini-Forum 2 Phil Wadler Propositions as Sessions
12 November 2014 Mini-Forum 2 Hugh Leather Measuring QoE of Interactive Workloads and Characterising Frequency Governors
5 November 2014 JCMB Stephen Booth Making parallel libraries more useful
29 October 2014 Mini-Forum 2 Taku Komura Relationship descriptors for character animation
22 October 2014 No Meeting –
Kick-off Event
 
15 October 2014 Mini-Forum 2 Boris Grot In-memory computing: Where are my microseconds going?
8 October 2014 Mini-Forum 2 Christophe Dubach Towards Performance Portability for Heterogeneous Systems
(a Unified View of Algorithmic Choices and Hardware Optimisations)
1 October 2014 JCMB Murray Cole Patterns and parallelism
24 September 2014 Mini-Forum 2 Stratis Viglas Database paradigms for large-scale parallel data processing
17 September 2014 Mini-Forum 2 Alan Smaill Proofs as distributed processes

Student Organiser Rota

Month Student
October 2014 Andreas Bruenner
November 2014 Chris Cummins
December 2014 Simon Fowler
January 2014 James Ganis
February 2014 Adam Harries
April 2014 Mark Miller
May 2014 Artemy Margaritov
May 2014 Davide Pinato
June 2014 Martin Ruefenacht
July 2014 Galini Tsoukaneri
August 2014 None – no scheduled lunches in August
August 2014 Justs Zarins