CREST/PWL Special Event

Papers We Love - London
Papers We Love - London
Public group

The Microsoft Reactor London

70 Wilson St · London

How to find us

Microsoft Reactor London 70 Wilson Street https://goo.gl/maps/JjGrPNB8a9N2

Location image of event venue

Details

In connection with the presence in town of the CREST Open Workshop (http://crest.cs.ucl.ac.uk/cow/62/), PWL London is organising a special afternoon of automatic program repair papers and related topics! 4 speakers, 4 papers, 4 meetups in one!

The goal of the event is to bring together academia and industry experts on the topic of automatic program repair (https://program-repair.org), offering a relaxed environment to exchange opinions ahead of the workshop. Everyone's invited, please join us to learn something new!

-Schedule-

* 14:00-14:15 Introduction

* 14:15-15:00 "Compiler Fuzzing: How Much Does It Matter?" Michael Marcozzi (https://srg.doc.ic.ac.uk/people/michael-marcozzi/) A study of the impact of 45 bugs in the LLVM compiler over the reliability of 309 Debian packages, comparing bugs found by fuzzing the compiler, by compiling real code and by formal verification.

* 15:00-15:45 "Coccinelle: 10 Years of Automated Evolution in the Linux Kernel" by Julia Lawall (https://pages.lip6.fr/Julia.Lawall/). The Coccinelle C-program matching and transformation tool was first released in 2008 to facilitate specification and automation in the evolution of Linux kernel code. This talk studies the impact of Coccinelle on Linux kernel development and the features of Coccinelle that have made it possible.

BREAK

* 16:15-17:00 "TripleAgent: Monitoring, Perturbation and Failure-obliviousness for Automated Resilience Improvement in Java Applications" by Martin Monperrus (https://www.monperrus.net/martin). In this paper, we present a novel resilience improvement system for Java applications. The unique feature of this system is to combine automated monitoring, automated perturbation injection, and automated resilience improvement. See https://arxiv.org/pdf/1812.10706

* 17:00-17:45 "Using MDEOptimiser to quickly apply search-based software engineering to your domain-specific problem" Alexandru Burdusel (https://nms.kcl.ac.uk/alex.burdusel/)

Drinks and snacks provided. Feel free to stay longer for a friendly pint afterwards (>6pm Craft Beers Co., 233 Old St, London, EC1V 9HE). For any info, please get in touch: paperswelove.london[at]gmail.com

Location:

Microsoft Reactor London
70 Wilson Street
EC2A 2DB
https://goo.gl/maps/JjGrPNB8a9N2

The nearest tube station is Moorgate, Old Street, Liverpool St.