User contributions
From WG 2.11
- 08:36, 3 December 2024 (diff | hist) . . (-8) . . WG211/M24Schedule (Programme for Tuesday)
- 20:11, 30 November 2024 (diff | hist) . . (0) . . WG211/M24Schedule (make times internally consistent)
- 20:24, 21 November 2024 (diff | hist) . . (0) . . WG211/M24Schedule (→Talks)
- 20:23, 21 November 2024 (diff | hist) . . (0) . . m WG211/M24Kuper (Jeremy-y moved page WG21//M24Kuper to WG211/M24Kuper) (current)
- 20:23, 21 November 2024 (diff | hist) . . (+28) . . N WG21//M24Kuper (Jeremy-y moved page WG21//M24Kuper to WG211/M24Kuper) (current)
- 20: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...")
- 20:22, 21 November 2024 (diff | hist) . . (+78) . . WG211/M24Schedule (→Talks)
- 21:53, 2 October 2024 (diff | hist) . . (+16) . . WG211/M24Schedule (Add Jeremy Yallop to the Attendance list)
- 00:46, 31 March 2024 (diff | hist) . . (+65) . . WG211/M23Ballantyne (Add Michael's slides) (current)
- 00:45, 31 March 2024 (diff | hist) . . (0) . . N File:Ballantyne-slides.pdf (current)
- 12:34, 30 March 2024 (diff | hist) . . (+6) . . WG211/M23Kellogg (→Static Program Reduction via Specification Slicing (Martin Kellogg)) (current)
- 12:34, 30 March 2024 (diff | hist) . . (+39) . . WG211/M23Kellogg (Add Martin's slides)
- 12:33, 30 March 2024 (diff | hist) . . (0) . . N File:Kellogg-slides.pdf (current)
- 12:26, 30 March 2024 (diff | hist) . . (+184) . . WG211/M23Pikovets (Add link to Igor's slides) (current)
- 02:24, 27 March 2024 (diff | hist) . . (+145) . . WG211/M23Schedule (Add talk titles)
- 02:22, 27 March 2024 (diff | hist) . . (+837) . . N WG211/M23Kammar (Add Ohad's abstract) (current)
- 02:20, 27 March 2024 (diff | hist) . . (+603) . . WG211/M23Schedule (Schedule for Wednesday and Thursday)
- 12:39, 26 March 2024 (diff | hist) . . (+2) . . WG211/M23Schedule (Formatting fix)
- 12:38, 26 March 2024 (diff | hist) . . (+70) . . WG211/M23Schedule (Add Ken Shan's talk title)
- 02:28, 26 March 2024 (diff | hist) . . (+724) . . WG211/M23Schedule (Schedule for Tuesday)
- 20:11, 19 March 2024 (diff | hist) . . (+22) . . WG211/M23Schedule (Placeholder for my talk)
- 22:56, 15 March 2024 (diff | hist) . . (+2) . . WG211/M23Schedule (→Talks)
- 22: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)
- 22: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)
- 18:01, 15 March 2024 (diff | hist) . . (+535) . . N WG211/M23Pikovets (Add Igor Pikovets's talk details)
- 17:58, 15 March 2024 (diff | hist) . . (+69) . . WG211/M23Schedule (Add Igor Pikovets's talk details)
- 20:59, 13 March 2024 (diff | hist) . . (+1,178) . . N WG211/M23Kellogg (Add Martin Kellogg's talk details)
- 20:57, 13 March 2024 (diff | hist) . . (+90) . . WG211/M23Schedule (Add Martin Kellogg's talk details)
- 07:27, 13 March 2024 (diff | hist) . . (+1,168) . . N WG211/M23Ballantyne (Add Michael Ballantyne's talk details)
- 07:24, 13 March 2024 (diff | hist) . . (+80) . . WG211/M23Schedule (Add Michael Ballantyne's talk details)
- 07:49, 11 March 2024 (diff | hist) . . (+342) . . N WG211/M23Steimann (Add Friedrich Steimann's talk details) (current)
- 07:49, 11 March 2024 (diff | hist) . . (+91) . . WG211/M23Schedule (Add Friedrich Steimann's talk details)
- 07:47, 11 March 2024 (diff | hist) . . (+1,347) . . N WG211/M23Kovács (Add András Kovács's talk details) (current)
- 07:45, 11 March 2024 (diff | hist) . . (+118) . . WG211/M23Schedule (Add András Kovács's talk details)
- 07:44, 11 March 2024 (diff | hist) . . (+789) . . N WG211/M23Kiselyov (Add Oleg's talk details) (current)
- 07:41, 11 March 2024 (diff | hist) . . (+63) . . WG211/M23Schedule (Add Oleg's talk details)
- 18: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)
- 18:18, 7 March 2024 (diff | hist) . . (+73) . . WG211/M23Schedule (Add Satnam's talk details)
- 17:43, 7 March 2024 (diff | hist) . . (+1,129) . . WG211/M23Schedule
- 18:29, 9 February 2024 (diff | hist) . . (+16) . . WG211/M23Schedule
