« All Events

  • This event has passed.

Workshop – Introduction to Verification and Testing (INVEST), 2015

December 5, 2015 @ 9:30 am - 5:30 pm

Introduction to Verification and Testing (INVEST) workshop will take place in the Department of Computing, Imperial College London on Saturday, December 5 2015. The aim of the workshop is to introduce young researchers, and students potentially interested in research careers, to the fields of software verification and testing. By attending the workshop, you will listen to and engage with world-leading academic scholars, current Post-Docs and PhD students, experience what it’s like being a Verification and Testing researcher, and network with other high achieving participants.

Who should attend

Outstanding computer science undergraduate students in their third or final year/postgraduate students/early stage PhD students. We expect most of the attendees to come from the UK/Europe (no assistance related to UK visa can be provided).

How to apply

To be considered for a place on the workshop, please send an email (see Contact us page) providing your name, the name of your PhD supervisor or tutor, the name of your university, and a brief statement on why you want to attend this workshop.

The decisions on accepting participants would be made on a case by case basis.

There is no charge for the workshop. Complimentary tea, coffee and lunch will be provided, but participants are expected to make their own travel and accommodation arrangements.

Important dates

Application deadline: Mon, Nov 30, 2015

Notification of application status: Wed, Dec 2, 2015

Workshop: Sat, Dec 5, 2015


09:30 – 09:50   Registration and Coffee

09:50 – 09:55   Welcome to INVEST 2015

09:55 – 10:35   Symbolic Execution for Evolving Software, Cristian Cadar (Software Reliability Group)

10:35 – 10:45   Break

10:45 – 11:35   Understanding and Verifying JavaScript Programs, Philippa Gardner (Resource Reasoning Group)

11:35 – 11:45   Break

11:45 – 12:15   Metamorphic Compiler Testing, Alastair Donaldson (Multicore Programming Group)

12:15 – 12:30   On Broken Documents and Automatic Document Recovery, Tomasz Kuchta (Software Reliability Group)

12:30 – 13:00   One Minute Madness, part 1 (attendees present snapshots of their work, 1 minute each)

13:00 – 14:00   Lunch and Coffee

14:00 – 14:20   Analysing Asynchronous Concurrent Programs with the P# Language, Pantazis Deligiannis (Multicore Programming Group)

14:20 – 14:35   Towards Deployment-Time Dynamic Analysis of Server Applications, Luis Pina (Software Reliability Group)

14:35 – 15:00   One Minute Madness, part 2 (attendees present snapshots of their work, 1 minute each)

15:00 – 15:10   Break

15:10 – 15:25   Symbooglix: A Symbolic Execution Engine for Boogie Programs, Dan Liew (Multicore Programming Group and Software Reliability Group)

15:25 – 15:45   Concurrency and Termination Verification, Julian Sutherland (Resource Reasoning Group)

15:45 – 16:05   An Empirical Investigation of GPU Memory Consistency, Tyler Sorensen (Multicore Programming Group)

16:05 – 16:15   Break

16:15 – 17:00   How to Do a Bad (or Good) PhD and How to Give a Bad (or Good) Talk, Cristian Cadar (Software Reliability Group)

17:00 – 17:30   Discussion


Alastair Donaldson is a Senior Lecturer in the Department of Computing, Imperial College London, where he leads the Multicore Programming Group and is Coordinator of the FP7 project CARP: Correct and Efficient Accelerator Programming. He has published more than 50 peer-reviewed papers in formal verification and multicore programming, and leads the GPUVerify project on automatic verification of GPU kernels, which is a collaboration with Microsoft Research. Before joining Imperial, Alastair was a Visiting Researcher at Microsoft Research Redmond, a Research Fellow at the University of Oxford and a Research Engineer at Codeplay Software Ltd. He holds a PhD from the University of Glasgow.

Cristian Cadar is a Reader in the Department of Computing at Imperial College London where he leads the Software Reliability Group (http://srg.doc.ic.ac.uk) and holds an EPSRC Early-Career Fellowship. His research interests span the areas of software engineering, computer systems, and security, with an emphasis on building practical tools for improving the reliability and security of software systems. Cristian received a PhD in Computer Science from Stanford University, and undergraduate and Master’s degrees from the Massachusetts Institute of Technology.

Philippa Gardner is a Professor in the Department of Computing at Imperial and Director of the Research Institute in Automated Program Analysis and Verification, funded by GCHQ in association with EPSRC. She completed her PhD thesis, supervised by Professor Gordon Plotkin at Edinburgh in 1992. She moved to Cambridge in 1998 on an EPSRC Advanced Fellowship, hosted by Professor Robin Milner. She obtained a lectureship at Imperial in 2001, and became professor in 2009. She held a Microsoft Research Cambridge/Royal Academy of Engineering Senior Fellowship from 2005 to 2010 at Imperial. She is funded by two EPSRC programme grants: `Resource Reasoning’ with UCL (O’Hearn and then Pym, PI) and Oxford, and `REMS: Rigorous Engineering of Mainstream Systems’ with Cambridge (Sewell, PI) and Edinburgh, and by GCHQ grant `Certified Verification of Client-side Web Programs’ with Sergio Maffeis at Imperial.



December 5, 2015
9:30 am - 5:30 pm