User contributions for Jeremy-y
From WG 2.11
Jump to navigationJump to search
6 October 2026
5 October 2026
- 14:1914:19, 5 October 2026 diff hist +83 WG211/M26Schedule →Guests and Observers Tag: Visual edit
- 11:2911:29, 5 October 2026 diff hist +1,073 N WG211/M26Shan Created page with "'''Formalizing einsum with named tensor notation''' ''Yafei Yang and Chung-chieh Shan'', Indiana University Einstein notation (einsum) is a widely adopted tensor operation that has proven useful in areas such as machine learning and quantum computing. But it had no formal semantics until recently, and its properties had no mechanized verification. We formalize the denotational semantics of a language of tensors (multi-dimensional arrays) that supports einsum and repeat..." current Tag: Visual edit
- 11:2911:29, 5 October 2026 diff hist +6 WG211/M26Schedule →Talks Tag: Visual edit
- 11:2811:28, 5 October 2026 diff hist +77 WG211/M26Schedule →Talks Tag: Visual edit
4 October 2026
- 12:1812:18, 4 October 2026 diff hist +59 WG211/M26Schedule Add Michael Adams' talk title Tag: Visual edit
10 September 2026
- 14:3114:31, 10 September 2026 diff hist +14 WG211/M26Schedule Update guest list Tag: Visual edit
3 September 2026
- 20:0620:06, 3 September 2026 diff hist +76 WG211/M26Schedule Add local observers Tag: Visual edit
26 August 2026
- 16:0016:00, 26 August 2026 diff hist +80 WG211/M26Schedule Update guests for M26 Tag: Visual edit
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
