User contributions for Jeremy-y
From WG 2.11
Jump to navigationJump to search
7 August 2025
3 December 2024
- 09:3609:36, 3 December 2024 diff hist −8 WG211/M24Schedule Programme for Tuesday
30 November 2024
- 21:1121:11, 30 November 2024 diff hist 0 WG211/M24Schedule make times internally consistent
21 November 2024
- 21:2421:24, 21 November 2024 diff hist 0 WG211/M24Schedule →Talks
- 21:2321:23, 21 November 2024 diff hist +28 N WG21//M24Kuper Jeremy-y moved page WG21//M24Kuper to WG211/M24Kuper current
- 21:2321:23, 21 November 2024 diff hist 0 m WG211/M24Kuper Jeremy-y moved page WG21//M24Kuper to WG211/M24Kuper current
- 21:2321:23, 21 November 2024 diff hist +889 N WG211/M24Kuper Created page with "Choreographic programming (CP) is an emerging paradigm for programming distributed applications that run on multiple nodes. In CP, the programmer writes one program, called a..."
- 21:2221:22, 21 November 2024 diff hist +78 WG211/M24Schedule →Talks
2 October 2024
- 22:5322:53, 2 October 2024 diff hist +16 WG211/M24Schedule Add Jeremy Yallop to the Attendance list
31 March 2024
- 01:4601:46, 31 March 2024 diff hist +65 WG211/M23Ballantyne Add Michael's slides current
- 01:4501:45, 31 March 2024 diff hist 0 N File:Ballantyne-slides.pdf No edit summary current
30 March 2024
- 13:3413:34, 30 March 2024 diff hist +6 WG211/M23Kellogg →Static Program Reduction via Specification Slicing (Martin Kellogg) current
- 13:3413:34, 30 March 2024 diff hist +39 WG211/M23Kellogg Add Martin's slides
- 13:3313:33, 30 March 2024 diff hist 0 N File:Kellogg-slides.pdf No edit summary current
- 13:2613:26, 30 March 2024 diff hist +184 WG211/M23Pikovets Add link to Igor's slides current
27 March 2024
- 03:2403:24, 27 March 2024 diff hist +145 WG211/M23Schedule Add talk titles
- 03:2203:22, 27 March 2024 diff hist +837 N WG211/M23Kammar Add Ohad's abstract current
- 03:2003:20, 27 March 2024 diff hist +603 WG211/M23Schedule Schedule for Wednesday and Thursday
26 March 2024
- 13:3913:39, 26 March 2024 diff hist +2 WG211/M23Schedule Formatting fix
- 13:3813:38, 26 March 2024 diff hist +70 WG211/M23Schedule Add Ken Shan's talk title
- 03:2803:28, 26 March 2024 diff hist +724 WG211/M23Schedule Schedule for Tuesday
19 March 2024
- 21:1121:11, 19 March 2024 diff hist +22 WG211/M23Schedule Placeholder for my talk
15 March 2024
- 23:5623:56, 15 March 2024 diff hist +2 WG211/M23Schedule →Talks
- 23:5523:55, 15 March 2024 diff hist +30 N WG211/M23Kellogg Static Program Reduction via Specification Slicing Jeremy-y moved page WG211/M23Kellogg Static Program Reduction via Specification Slicing to WG211/M23Kellogg current
- 23:5523:55, 15 March 2024 diff hist 0 m WG211/M23Kellogg Jeremy-y moved page WG211/M23Kellogg Static Program Reduction via Specification Slicing to WG211/M23Kellogg
- 19:0119:01, 15 March 2024 diff hist +535 N WG211/M23Pikovets Add Igor Pikovets's talk details
- 18:5818:58, 15 March 2024 diff hist +69 WG211/M23Schedule Add Igor Pikovets's talk details
13 March 2024
- 21:5921:59, 13 March 2024 diff hist +1,178 N WG211/M23Kellogg Add Martin Kellogg's talk details
- 21:5721:57, 13 March 2024 diff hist +90 WG211/M23Schedule Add Martin Kellogg's talk details
- 08:2708:27, 13 March 2024 diff hist +1,168 N WG211/M23Ballantyne Add Michael Ballantyne's talk details
- 08:2408:24, 13 March 2024 diff hist +80 WG211/M23Schedule Add Michael Ballantyne's talk details
11 March 2024
- 08:4908:49, 11 March 2024 diff hist +342 N WG211/M23Steimann Add Friedrich Steimann's talk details current
- 08:4908:49, 11 March 2024 diff hist +91 WG211/M23Schedule Add Friedrich Steimann's talk details
- 08:4708:47, 11 March 2024 diff hist +1,347 N WG211/M23Kovács Add András Kovács's talk details current
- 08:4508:45, 11 March 2024 diff hist +118 WG211/M23Schedule Add András Kovács's talk details
- 08:4408:44, 11 March 2024 diff hist +789 N WG211/M23Kiselyov Add Oleg's talk details current
- 08:4108:41, 11 March 2024 diff hist +63 WG211/M23Schedule Add Oleg's talk details
7 March 2024
- 19:1819:18, 7 March 2024 diff hist +387 N WG211/M23Singh Created page with " == Haste: A Haskell DSL for Programming the Groq TSP/LPU Machine Learning Chips (Satnam Singh) == I'll describe a Haskell DSL that uses Lava-like combinators to describe lin..." current
- 19:1819:18, 7 March 2024 diff hist +73 WG211/M23Schedule Add Satnam's talk details
- 18:4318:43, 7 March 2024 diff hist +1,129 WG211/M23Schedule No edit summary
9 February 2024
- 19:2919:29, 9 February 2024 diff hist +16 WG211/M23Schedule No edit summary
