User contributions
From WG 2.11
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 21:47, 2 October 2024 (diff | hist) . . (+15) . . WG211/M24Schedule (→Attendance)
- 09:34, 10 March 2024 (diff | hist) . . (+1) . . WG211/M23Lawall (current)
- 09: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...")
- 09:27, 10 March 2024 (diff | hist) . . (+79) . . WG211/M23Schedule (→Talks)
- 14:37, 25 January 2024 (diff | hist) . . (+15) . . WG211/M23Schedule (→Attendance)
- 09:12, 6 April 2023 (diff | hist) . . (+32) . . WG211/M22Lawall (current)
- 09:10, 6 April 2023 (diff | hist) . . (+6) . . N File:Slides lawall m22.pdf (Slides) (current)
- 09:07, 6 April 2023 (diff | hist) . . (+382) . . N WG211/M22Lawall (Graphing Tools for Tracing Task Schedulers: The Quest for a DSL)
- 09:04, 6 April 2023 (diff | hist) . . (+101) . . WG211/M22Schedule (→Tuesday April 4th in Timmanzaal)
- 18:25, 5 January 2023 (diff | hist) . . (+14) . . WG211/M22Schedule (→Attendance)
- 06: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)
- 06:42, 12 August 2022 (diff | hist) . . (+151) . . WG211/M21Schedule (→Talks)
- 15:49, 26 May 2022 (diff | hist) . . (+14) . . WG211/M21Schedule (→Attendance)
- 08:36, 20 February 2020 (diff | hist) . . (+80) . . WG211/M20Schedule (→Social events) (current)
- 18:38, 16 February 2020 (diff | hist) . . (+15) . . WG211/M20Schedule (→Attendance)
- 23:22, 13 February 2020 (diff | hist) . . (+657) . . WG211/M20Schedule (→Venue)
- 23:17, 13 February 2020 (diff | hist) . . (+132) . . WG211/M20Schedule (→Travel)
- 23:08, 13 February 2020 (diff | hist) . . (+196) . . WG211/M20Schedule (→Travel)
- 21:51, 10 February 2020 (diff | hist) . . (+126) . . WG211/M20Schedule (→Travel)
- 16:12, 10 February 2020 (diff | hist) . . (+13) . . WG211/M20Schedule (→Attendance)
- 09:52, 29 January 2020 (diff | hist) . . (+87) . . WG211/M20Schedule (→Talks)
- 15:54, 28 January 2020 (diff | hist) . . (+37) . . WG211/M20Schedule (→Attendance)
- 11:20, 28 January 2020 (diff | hist) . . (+659) . . WG211/M20Schedule (→Social events)
- 11:12, 28 January 2020 (diff | hist) . . (+101) . . WG211/M20Schedule (→Registration)
- 17:52, 14 January 2020 (diff | hist) . . (+18) . . WG211/M20Schedule (→Registration)
- 20:57, 10 January 2020 (diff | hist) . . (+96) . . WG211/M20Schedule (→Registration)
- 16:43, 18 November 2019 (diff | hist) . . (+219) . . WG211/M20Schedule (→Accommodation)
- 16:41, 18 November 2019 (diff | hist) . . (+199) . . WG211/M20Schedule (→Travel)
- 16:37, 18 November 2019 (diff | hist) . . (+47) . . WG211/M20Schedule (→Venue)
- 01:39, 1 May 2019 (diff | hist) . . (0) . . WG211/M19Schedule (→Talks)
- 01:34, 1 May 2019 (diff | hist) . . (+40) . . WG211/M19Schedule (→Talks)
- 01:33, 1 May 2019 (diff | hist) . . (0) . . N File:WG211 M19 lawall.pdf (current)
- 11:46, 28 April 2019 (diff | hist) . . (0) . . WG211/M19Schedule (→Travel Recommendations)
- 21:20, 26 April 2019 (diff | hist) . . (+83) . . WG211/M19Lawall (current)
- 21: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...")
- 21:15, 26 April 2019 (diff | hist) . . (+25) . . WG211/M19Schedule (→Talks)
- 13:01, 26 April 2019 (diff | hist) . . (+1) . . WG211/M19Schedule (→Travel)
- 13:00, 26 April 2019 (diff | hist) . . (+54) . . WG211/M19Schedule (→Travel)
- 06:31, 13 April 2019 (diff | hist) . . (+19) . . WG211/M19Schedule (→Talks)
- 20:30, 24 March 2019 (diff | hist) . . (+14) . . WG211/M19Schedule (→Attendance)
- 13: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)
- 07:12, 30 April 2018 (diff | hist) . . (+79) . . WG211/M18Schedule (→Travel)
- 07:42, 25 April 2017 (diff | hist) . . (+14) . . WG211/M17Schedule
- 10:43, 8 August 2016 (diff | hist) . . (+85) . . WG211/M16Lawall (current)
- 10: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...")
- 10:40, 8 August 2016 (diff | hist) . . (+81) . . WG211/M16Schedule (→Talks)
- 09:26, 4 July 2016 (diff | hist) . . (+6) . . WG211/M16Schedule (→Attendance)
- 12:19, 17 May 2016 (diff | hist) . . (+18) . . WG211/M16Schedule (→Talks)
- 12:44, 4 November 2015 (diff | hist) . . (-100) . . WG211/M15Schedule (→Talks)
- 17:49, 27 October 2015 (diff | hist) . . (+929) . . N WG211/M15Lawall (Created page with "Prequel: A Patch-Like Query Language for Commit History Search<br> Julia Lawall, Inria The commit history of a code base such as the Linux kernel is a gold mine of information o...") (current)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
