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