User contributions for Julia

6 April 2023

• 09:0709:07, 6 April 2023 diff hist +382 N WG211/M22Lawall Graphing Tools for Tracing Task Schedulers: The Quest for a DSL
• 09:0409:04, 6 April 2023 diff hist +101 WG211/M22Schedule →Tuesday April 4th in Timmanzaal

5 January 2023

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

12 August 2022

• 06:4506: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:4206:42, 12 August 2022 diff hist +151 WG211/M21Schedule →Talks

26 May 2022

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

20 February 2020

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

16 February 2020

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

13 February 2020

• 23:2223:22, 13 February 2020 diff hist +657 WG211/M20Schedule →Venue
• 23:1723:17, 13 February 2020 diff hist +132 WG211/M20Schedule →Travel
• 23:0823:08, 13 February 2020 diff hist +196 WG211/M20Schedule →Travel

10 February 2020

• 21:5121:51, 10 February 2020 diff hist +126 WG211/M20Schedule →Travel
• 16:1216:12, 10 February 2020 diff hist +13 WG211/M20Schedule →Attendance

29 January 2020

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

28 January 2020

• 15:5415:54, 28 January 2020 diff hist +37 WG211/M20Schedule →Attendance
• 11:2011:20, 28 January 2020 diff hist +659 WG211/M20Schedule →Social events
• 11:1211:12, 28 January 2020 diff hist +101 WG211/M20Schedule →Registration

14 January 2020

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

10 January 2020

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

18 November 2019

• 16:4316:43, 18 November 2019 diff hist +219 WG211/M20Schedule →Accommodation
• 16:4116:41, 18 November 2019 diff hist +199 WG211/M20Schedule →Travel
• 16:3716:37, 18 November 2019 diff hist +47 WG211/M20Schedule →Venue

1 May 2019

• 01:3901:39, 1 May 2019 diff hist 0 WG211/M19Schedule →Talks
• 01:3401:34, 1 May 2019 diff hist +40 WG211/M19Schedule →Talks
• 01:3301:33, 1 May 2019 diff hist 0 N File:WG211 M19 lawall.pdf No edit summary current

28 April 2019

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

26 April 2019

• 21:2021:20, 26 April 2019 diff hist +83 WG211/M19Lawall No edit summary current
• 21:1921: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:1521:15, 26 April 2019 diff hist +25 WG211/M19Schedule →Talks
• 13:0113:01, 26 April 2019 diff hist +1 WG211/M19Schedule →Travel
• 13:0013:00, 26 April 2019 diff hist +54 WG211/M19Schedule →Travel

13 April 2019

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

24 March 2019

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

13 June 2018

• 13:1713: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

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

25 April 2017

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

8 August 2016

• 10:4310:43, 8 August 2016 diff hist +85 WG211/M16Lawall No edit summary current
• 10:4310: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:4010:40, 8 August 2016 diff hist +81 WG211/M16Schedule →Talks

4 July 2016

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

17 May 2016

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

4 November 2015

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

27 October 2015

• 17:4917: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:4817:48, 27 October 2015 diff hist +22 WG211/M15Schedule →Talks

30 September 2015

• 19:2719:27, 30 September 2015 diff hist +78 WG211/M15Schedule →Talks and Schedule

27 August 2015

• 18:3918:39, 27 August 2015 diff hist +14 WG211/M15Schedule →Attendance

28 October 2014

• 15:3515:35, 28 October 2014 diff hist +14 WG211/M14Schedule →Attendance

9 September 2013

• 15:4615:46, 9 September 2013 diff hist +14 WG211/M13Schedule →Attendees

5 June 2013

• 05:5105:51, 5 June 2013 diff hist +87 WG211/M12Schedule →Sharing a taxi from the university to the airport

1 April 2013

• 16:1716:17, 1 April 2013 diff hist +14 WG211/M12Schedule No edit summary