This page lists the group’s schools outreach and video dissemination activities, which we undertake with the aim of communicating Computer Science in general, and Programming Languages in particular, to a broader-than-academic audience.
Schools outreach
- Alastair Donaldson presented at the Y11 Project STEM Summer School, July 2018
- Alastair Donaldson presented at the Y11 Project STEM Summer School, July 2017
- Alastair Donaldson presented at the Y11 Project STEM Summer School, July 2016
- Alastair Donaldson lectured on programming languages and software reliability at the Imperial College Year 12 Sutton Trust Summer School, August 2016
- Alastair Donaldson will spoke about software reliability at the Imperial Engineering Summer School for for Girls, July 2016
- Alastair Donaldson gave the Inaugural Imperial College London Faculty of Engineering Outreach Lecture, What Makes Software Go Wrong?, June 2016
- Alastair Donaldson gave a lecture, When Programs Go Wrong, at the Imperial Engineering Summer School for for Girls, July 2015
Video dissemination
Short research videos
- Pantazis Deligiannis, Safer Asynchronous Programming with P#, video entry for UK ICT Pioneers Competition, 2015
- Nathan Chong, Practical Foundations for Technology Everywhere, video entry for UK ICT Pioneers Competition, 2014
- Video abstract for PLDI 2015 paper, Asynchronous Programming, Analysis and Testing with State Machines
- Video abstract for PLDI 2015 paper, Many-Core Compiler Fuzzing
Research talks
- Tyler Sorensen, Weak Memory Behaviours in GPU Applications, Imperial Concurrency Workshop 2015
- John Wickerson Overhauling SC atomics in C11 and OpenCL, presentation at POPL’16
- John Wickerson Remote-Scope Promotion: Clarified, Rectified, and Verified, presentation at OOPSLA’15