Julia Lawall - SPLASH 2024

Sun 20 - Fri 25 October 2024 Pasadena, California, United States

Registered user since Tue 26 Aug 2014

Name:Julia Lawall

Country:France

Affiliation:Inria

Personal website: https://who.paris.inria.fr/Julia.Lawall/

Contributions

2024

GPCE

Author in Program Committee within the GPCE 2024-track

JENSFEST

Coccinelle: Program transformation in the real world

Static Analysis Symposium

Should We Balance? Towards Formal Verification of the Linux Kernel Scheduler (NEAT paper)

Show activities from other conferences

SPLASH 2024-profile
View general profile