On Friday October 17, this site was moved to a new server, https://mw.hh.se. The original address will continue to work. Whithin a week or two this site will return to the original address. /Peo HH IT-dep
User contributions for Julia
From WG 2.11
Jump to navigationJump to search
11 August 2025
2 October 2024
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
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
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
20 February 2020
- 09:3609:36, 20 February 2020 diff hist +80 WG211/M20Schedule →Social events current
16 February 2020
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
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
10 January 2020
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
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
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
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