User contributions for Julia

11 August 2025

• 10:5710:57, 11 August 2025 diff hist +15 WG211/M25Schedule →Members attending

2 October 2024

• 22:4722:47, 2 October 2024 diff hist +15 WG211/M24Schedule →Attendance

10 March 2024

• 10:3410:34, 10 March 2024 diff hist +1 WG211/M23Lawall No edit summary current
• 10:3410:34, 10 March 2024 diff hist +647 N WG211/M23Lawall Created page with "Towards Verification of Linux Kernel Code Julia Lawall, Inria There is a growing awareness that for critical infrastructure such as operating systems, more rigorous means of..."
• 10:2710:27, 10 March 2024 diff hist +79 WG211/M23Schedule →Talks

25 January 2024

• 15:3715:37, 25 January 2024 diff hist +15 WG211/M23Schedule →Attendance

6 April 2023

• 10:1210:12, 6 April 2023 diff hist +32 WG211/M22Lawall No edit summary current
• 10:1010:10, 6 April 2023 diff hist +6 N File:Slides lawall m22.pdf Slides current
• 10:0710:07, 6 April 2023 diff hist +382 N WG211/M22Lawall Graphing Tools for Tracing Task Schedulers: The Quest for a DSL
• 10:0410:04, 6 April 2023 diff hist +101 WG211/M22Schedule →Tuesday April 4th in Timmanzaal

5 January 2023

• 19:2519:25, 5 January 2023 diff hist +14 WG211/M22Schedule →Attendance

12 August 2022

• 07:4507:45, 12 August 2022 diff hist +466 N WG211/M21Lawall Created page with "Coccinelle is a tool for scripting repetitive transformations in C code, based on a notion of a semantic patch. Coccinelle has been used extensively on the Linux kernel. Sti..." current
• 07:4207:42, 12 August 2022 diff hist +151 WG211/M21Schedule →Talks

26 May 2022

• 16:4916:49, 26 May 2022 diff hist +14 WG211/M21Schedule →Attendance

20 February 2020

• 09:3609:36, 20 February 2020 diff hist +80 WG211/M20Schedule →Social events current

16 February 2020

• 19:3819:38, 16 February 2020 diff hist +15 WG211/M20Schedule →Attendance

14 February 2020

• 00:2200:22, 14 February 2020 diff hist +657 WG211/M20Schedule →Venue
• 00:1700:17, 14 February 2020 diff hist +132 WG211/M20Schedule →Travel
• 00:0800:08, 14 February 2020 diff hist +196 WG211/M20Schedule →Travel

10 February 2020

• 22:5122:51, 10 February 2020 diff hist +126 WG211/M20Schedule →Travel
• 17:1217:12, 10 February 2020 diff hist +13 WG211/M20Schedule →Attendance

29 January 2020

• 10:5210:52, 29 January 2020 diff hist +87 WG211/M20Schedule →Talks

28 January 2020

• 16:5416:54, 28 January 2020 diff hist +37 WG211/M20Schedule →Attendance
• 12:2012:20, 28 January 2020 diff hist +659 WG211/M20Schedule →Social events
• 12:1212:12, 28 January 2020 diff hist +101 WG211/M20Schedule →Registration

14 January 2020

• 18:5218:52, 14 January 2020 diff hist +18 WG211/M20Schedule →Registration

10 January 2020

• 21:5721:57, 10 January 2020 diff hist +96 WG211/M20Schedule →Registration

18 November 2019

• 17:4317:43, 18 November 2019 diff hist +219 WG211/M20Schedule →Accommodation
• 17:4117:41, 18 November 2019 diff hist +199 WG211/M20Schedule →Travel
• 17:3717:37, 18 November 2019 diff hist +47 WG211/M20Schedule →Venue

1 May 2019

• 02:3902:39, 1 May 2019 diff hist 0 WG211/M19Schedule →Talks
• 02:3402:34, 1 May 2019 diff hist +40 WG211/M19Schedule →Talks
• 02:3302:33, 1 May 2019 diff hist 0 N File:WG211 M19 lawall.pdf No edit summary current

28 April 2019

• 12:4612:46, 28 April 2019 diff hist 0 WG211/M19Schedule →Travel Recommendations

26 April 2019

• 22:2022:20, 26 April 2019 diff hist +83 WG211/M19Lawall No edit summary current
• 22:1922:19, 26 April 2019 diff hist +432 N WG211/M19Lawall Created page with "Julia's adventures with Why3 [http://why3.lri.fr/ Why3] is a platform for deductive program verification developed in the Inria Toccata team. In the Inria Whisper team, we h..."
• 22:1522:15, 26 April 2019 diff hist +25 WG211/M19Schedule →Talks
• 14:0114:01, 26 April 2019 diff hist +1 WG211/M19Schedule →Travel
• 14:0014:00, 26 April 2019 diff hist +54 WG211/M19Schedule →Travel

13 April 2019

• 07:3107:31, 13 April 2019 diff hist +19 WG211/M19Schedule →Talks

24 March 2019

• 21:3021:30, 24 March 2019 diff hist +14 WG211/M19Schedule →Attendance

13 June 2018

• 14:1714:17, 13 June 2018 diff hist +198 N WG211/M18Lawall Created page with "Coccinelle is a program matching and transformation tool that targets C code. This talk gives an overview of Coccinelle and studies its evolution and use over the past 10 yea..." current

30 April 2018

• 08:1208:12, 30 April 2018 diff hist +79 WG211/M18Schedule →Travel

25 April 2017

• 08:4208:42, 25 April 2017 diff hist +14 WG211/M17Schedule No edit summary

8 August 2016

• 11:4311:43, 8 August 2016 diff hist +85 WG211/M16Lawall No edit summary current
• 11:4311:43, 8 August 2016 diff hist +838 N WG211/M16Lawall Created page with "The commit history of a code base such as the Linux kernel is a gold mine of information on how evolutions should be made, how bugs should be fixed, etc. Nevertheless, the hi..."
• 11:4011:40, 8 August 2016 diff hist +81 WG211/M16Schedule →Talks

4 July 2016

• 10:2610:26, 4 July 2016 diff hist +6 WG211/M16Schedule →Attendance

17 May 2016

• 13:1913:19, 17 May 2016 diff hist +18 WG211/M16Schedule →Talks

4 November 2015

• 13:4413:44, 4 November 2015 diff hist −100 WG211/M15Schedule →Talks