User contributions for Jeremy-y

26 October 2026

• 11:1711:17, 26 October 2026 diff hist +392 N WG211/M26Yallop Created page with "'''Staging with Equality''' ''Jeremy Yallop'' I present a study of the interaction between GADTs, typed quotations, and mutable state, and identify two classes of soundness problems.  There are various static and dynamic checks that address the problems, and I discuss the application of those checks in the Modular Macros project and to the languages MetaOCaml, GHC Haskell, and Scala 3." current Tag: Visual edit
• 11:1111:11, 26 October 2026 diff hist +18 WG211/M26Schedule No edit summary current Tag: Visual edit

7 October 2026

• 11:3911:39, 7 October 2026 diff hist +40 WG211/M26Schedule →Talks Tag: Visual edit
• 09:0709:07, 7 October 2026 diff hist +905 N WG211/M26Kovacs Created page with "'''Thinning-stable metaprogramming''' ''András Kovács'' In this talk I give an overview of various notions of stability in metaprogramming and propose stability under thinning as a setup which shows some promise and which has not yet been explored. When we have "f : Code a -> Code b" in some staged language, we expect "f" to work on object expressions in arbitrary scopes. So, semantically we'd like to have "∀ Γ. Code Γ a → Code Γ b". However, functions of suc..." current Tag: Visual edit
• 09:0709:07, 7 October 2026 diff hist +70 WG211/M26Schedule →Talks Tag: Visual edit

6 October 2026

• 13:2013:20, 6 October 2026 diff hist +65 WG211/M26Schedule →Talks Tag: Visual edit

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

• 13:0513:05, 7 August 2025 diff hist +16 WG211/M25Schedule →Members attending

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