Pervasive Parallelism Lunch 2015/16


Pervasive Parallelism Lunch 2015/16

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.

Semester 1

Date

Location  

Speaker

Title

Student Organiser

23 September 2015 Mini-Forum 2 Don Sannella ThreadSafe: Static Analysis for Java Concurrency Justs Zariņš
30 September 2015 Mini-Forum 2 Artemy Margaritov Sharing Branch Direction Predictors for Data Center Processors Justs Zariņš
7 October 2015 Mini-Forum 2 Adrian Jackson HPC, I/O, NVRAM, and Big Data Floyd Chitalu
14 October 2015 No meeting No meeting N/A
21 October 2015 Mini-Forum 1 No speaker; informal gathering Floyd Chitalu
28 October 2015 Mini-Forum 2 Justs Zariņš The Method in Madness Floyd Chitalu
4 November 2015 No meeting No meeting; PPar Industry Event N/A
18 November 2015 Mini-Forum 1 PPar students feed back about industrial meetings Victor Dumitrescu
25 November 2015 Mini-Forum 2 Mike O’Boyle Achieving a successful research career: A highly biased perspective Victor Dumitrescu
2 December 2015 Mini-Forum 2 Murray Cole Finding Patterns in Parallel Legacy Code Philip Ginsbach
9 December 2015 Mini-Forum 2 Paul Jackson Formal verification of cyber-physical systems Philip Ginsbach
16 December 2015
*13:00*
Mini-Forum 2 PPar Lunch Deluxe (no speaker) PPar Lunch Deluxe: Networking Event Philip Ginsbach

Semester 2

Date

Location

Speaker                                 

Title                                               

Student Organiser

13 January 2016 Mini-Forum 2 Simon Fowler  An Introduction to Concurrent λ-Calculi  Daniel Hillerström
20 January 2016 Mini-Forum 2 Sethu Vijayakumar Shared autonomy for interactive robotics: Closing the loop   Daniel Hillerström
27 January 2016 Mini-Forum 2 Adam Harries Compositional Compilation for Sparse, Irregular Data Parallelism Daniel Hillerström
3 February 2016 Mini-Forum 2 Perdita Stevens Parallelism and Model-driven Development Caoimhin Laoide-Kemp
10 February 2016 Mini-Forum 2 Chris Cummins Autotuning and Algorithmic Skeletons Caoimhin Laoide-Kemp
17 February 2016 Mini-Forum 2 Leonid Libkin Can you trust answers to database queries? Caoimhin Laoide-Kemp
24 February 2016 Mini-Forum 2 Galini Tsoukaneri On the Inference of User Paths from Anonymized Mobility Data
Daniel Mills
2 March 2016 Mini-Forum 2 Ian Stark Continuous pi-Calculus: A Process Language for Computational Modelling of
Biochemical Systems
Daniel Mills
9 March 2016 Mini-Forum 2 Martin Rüfenacht AllReducing with the best of them! Daniel Mills
16 March 2016 Mini-Forum 2 Barry O’Rouke (CriticalBlue) Realizing Performance on Mass Market Multicore Platforms Paul Piho
23 March 2016 Mini-Forum 2 Davide Pinato Improving TCP’s Performance for Intra-Data Center Flows Paul Piho
30 March 2016 Mini-Forum 2 Adam Lopez Parallelism and natural language processing Paul Piho
6 April 2016 Mini-Forum 2 No speaker; informal gathering Amna Shahab
13 April 2016 Mini-Forum 2 No speaker; informal gathering Amna Shahab
20 April 2016 Mini-Forum 2 No meeting N/A
27 April 2016 Mini-Forum 2 No meeting; CDT Training Event
N/A
4 May 2016 Mini-Forum 2 Arpit Joshi Architectural Optimizations for Non-volatile Memories Larisa Stoltzfus
11 May 2016 Mini-Forum 2 Codeplay SYCL: Programming accelerators the C++ way Larisa Stoltzfus
18 May 2016 Mini-Forum 2 Nikolay Bogoychev Massively parallel Language models Rajkarn Singh
25 May 2016 Mini-Forum 2 No speaker; informal gathering
  Rajkarn Singh
1 June 2016 Mini-Forum 2 Stan Manilov Beyond dependence analysis for parallelisation: Commutativity! Rajkarn Singh
8 June 2016 Mini-Forum 2 Valentin Radu Squeezing deep learning to resource constrained devices  Vanya Yaneva
15 June 2016 Mini-Forum 2 Michele Weiland Energy Efficiency in HPC Vanya Yaneva
22 June 2016 Mini-Forum 2 Kenneth Heafield Systems and Scaling Problems in Machine Translation  Jakub Zalewski
29 June 2016 Mini-Forum 2 Kenny Mitchell, Bochang Moon, Babis Koniaris
Accelerating Film and Game Technology Convergence  Jakub Zalewski