Write a Blog >>
POPL 2021
Sun 17 - Fri 22 January 2021 Online
Mon 18 Jan 2021 15:00 - 16:00 at PEPM - Keynote 1 Chair(s): Sam Lindley

Julia Lawall is a research scientist at Inria-Paris. Previously, she was on the faculty at the University of Copenhagen. Her research covers the areas of programming languages, software engineering and systems, with a particular interest in improving the development of operating systems. Among her early work was contributions to the Schism partial evaluator for Scheme and the Tempo partial evaluator for C, developed in the group of Charles Consel at Inria-Rennes. She also contributed to the development of domain-specific languages for a variety of systems programming tasks. More recently, she has led the development of the Coccinelle program matching and transformation tool for C code, which has been used in of thousands of commits to the Linux kernel. In this talk, she will connect the dots between these research directions, showing how the work on partial evaluation and domain specific languages has led to the design decisions behind Coccinelle, and how those design decisions have led to the success of the tool in practice.

slides (pepm21.pdf)104KiB

Mon 18 Jan

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

15:00 - 16:00
Keynote 1PEPM at PEPM
Chair(s): Sam Lindley Heriot-Watt University, UK / The University of Edinburgh, UK

Live stream: https://www.youtube.com/watch?v=kaJOj_LErQo

The PEPM 2021 Best Paper Award will be announced at the beginning of this session immediately before this keynote.

Program Manipulation of C Code: From Partial Evaluation to Semantic Patches for the Linux Kernel
File Attached