CREST/PWL Special Event - January, 2020

Search…

Compiler Fuzzing: How Much Does It Matter
​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.
Coccinelle: 10 Years of Automated Evolution in the Linux Kernel
​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.
TripleAgent: Monitoring, Perturbation and Failure-obliviousness for Automated Resilience Improvement in Java Applications
​Martin Monperrus​
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. 
Paper - https://arxiv.org/pdf/1812.10706​
Using MDEOptimiser to quickly apply search-based software engineering to your domain-specific problem
​Alexandru Burdusel​
Related papers
​Model Optimisation for Feature Class allocation using MDEOptimiser: A TTC 2016 Submission​

Papers We Love

Sports

Last modified 1yr ago

Copy link

Contents

Compiler Fuzzing: How Much Does It Matter

Coccinelle: 10 Years of Automated Evolution in the Linux Kernel

TripleAgent: Monitoring, Perturbation and Failure-obliviousness for Automated Resilience Improvement in Java Applications

Using MDEOptimiser to quickly apply search-based software engineering to your domain-specific problem