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