User contributions
From WG 2.11
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 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)
- 17:48, 27 October 2015 (diff | hist) . . (+22) . . WG211/M15Schedule (→Talks)
- 19:27, 30 September 2015 (diff | hist) . . (+78) . . WG211/M15Schedule (→Talks and Schedule)
- 18:39, 27 August 2015 (diff | hist) . . (+14) . . WG211/M15Schedule (→Attendance)
- 15:35, 28 October 2014 (diff | hist) . . (+14) . . WG211/M14Schedule (→Attendance)
- 15:46, 9 September 2013 (diff | hist) . . (+14) . . WG211/M13Schedule (→Attendees)
- 05:51, 5 June 2013 (diff | hist) . . (+87) . . WG211/M12Schedule (→Sharing a taxi from the university to the airport)
- 16:17, 1 April 2013 (diff | hist) . . (+14) . . WG211/M12Schedule
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
