On Friday October 17, this site was moved to a new server, https://mw.hh.se. The original address will continue to work. Whithin a week or two this site will return to the original address. /Peo HH IT-dep
User contributions for Jeremy-y
From WG 2.11
Jump to navigationJump to search
7 August 2025
3 December 2024
- 08:3608:36, 3 December 2024 diff hist −8 WG211/M24Schedule Programme for Tuesday
30 November 2024
- 20:1120:11, 30 November 2024 diff hist 0 WG211/M24Schedule make times internally consistent
21 November 2024
- 20:2420:24, 21 November 2024 diff hist 0 WG211/M24Schedule →Talks
- 20:2320:23, 21 November 2024 diff hist +28 N WG21//M24Kuper Jeremy-y moved page WG21//M24Kuper to WG211/M24Kuper current
- 20:2320:23, 21 November 2024 diff hist 0 m WG211/M24Kuper Jeremy-y moved page WG21//M24Kuper to WG211/M24Kuper current
- 20:2320: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:2220:22, 21 November 2024 diff hist +78 WG211/M24Schedule →Talks
2 October 2024
- 21:5321:53, 2 October 2024 diff hist +16 WG211/M24Schedule Add Jeremy Yallop to the Attendance list
31 March 2024
- 00:4600:46, 31 March 2024 diff hist +65 WG211/M23Ballantyne Add Michael's slides current
- 00:4500:45, 31 March 2024 diff hist 0 N File:Ballantyne-slides.pdf No edit summary current
30 March 2024
- 12:3412:34, 30 March 2024 diff hist +6 WG211/M23Kellogg →Static Program Reduction via Specification Slicing (Martin Kellogg) current
- 12:3412:34, 30 March 2024 diff hist +39 WG211/M23Kellogg Add Martin's slides
- 12:3312:33, 30 March 2024 diff hist 0 N File:Kellogg-slides.pdf No edit summary current
- 12:2612:26, 30 March 2024 diff hist +184 WG211/M23Pikovets Add link to Igor's slides current
27 March 2024
- 02:2402:24, 27 March 2024 diff hist +145 WG211/M23Schedule Add talk titles
- 02:2202:22, 27 March 2024 diff hist +837 N WG211/M23Kammar Add Ohad's abstract current
- 02:2002:20, 27 March 2024 diff hist +603 WG211/M23Schedule Schedule for Wednesday and Thursday
26 March 2024
- 12:3912:39, 26 March 2024 diff hist +2 WG211/M23Schedule Formatting fix
- 12:3812:38, 26 March 2024 diff hist +70 WG211/M23Schedule Add Ken Shan's talk title
- 02:2802:28, 26 March 2024 diff hist +724 WG211/M23Schedule Schedule for Tuesday
19 March 2024
- 20:1120:11, 19 March 2024 diff hist +22 WG211/M23Schedule Placeholder for my talk
15 March 2024
- 22:5622:56, 15 March 2024 diff hist +2 WG211/M23Schedule →Talks
- 22:5522: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:5522: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:0118:01, 15 March 2024 diff hist +535 N WG211/M23Pikovets Add Igor Pikovets's talk details
- 17:5817:58, 15 March 2024 diff hist +69 WG211/M23Schedule Add Igor Pikovets's talk details
13 March 2024
- 20:5920:59, 13 March 2024 diff hist +1,178 N WG211/M23Kellogg Add Martin Kellogg's talk details
- 20:5720:57, 13 March 2024 diff hist +90 WG211/M23Schedule Add Martin Kellogg's talk details
- 07:2707:27, 13 March 2024 diff hist +1,168 N WG211/M23Ballantyne Add Michael Ballantyne's talk details
- 07:2407:24, 13 March 2024 diff hist +80 WG211/M23Schedule Add Michael Ballantyne's talk details
11 March 2024
- 07:4907:49, 11 March 2024 diff hist +342 N WG211/M23Steimann Add Friedrich Steimann's talk details current
- 07:4907:49, 11 March 2024 diff hist +91 WG211/M23Schedule Add Friedrich Steimann's talk details
- 07:4707:47, 11 March 2024 diff hist +1,347 N WG211/M23Kovács Add András Kovács's talk details current
- 07:4507:45, 11 March 2024 diff hist +118 WG211/M23Schedule Add András Kovács's talk details
- 07:4407:44, 11 March 2024 diff hist +789 N WG211/M23Kiselyov Add Oleg's talk details current
- 07:4107:41, 11 March 2024 diff hist +63 WG211/M23Schedule Add Oleg's talk details
7 March 2024
- 18:1818: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:1818:18, 7 March 2024 diff hist +73 WG211/M23Schedule Add Satnam's talk details
- 17:4317:43, 7 March 2024 diff hist +1,129 WG211/M23Schedule No edit summary
9 February 2024
- 18:2918:29, 9 February 2024 diff hist +16 WG211/M23Schedule No edit summary
