User contributions for Jacques

12 August 2022

• 11:0311:03, 12 August 2022 diff hist +501 N WG211/M21Kelly Created page with " This talk is intended to provoke thinking and discussion about program generation where the generator inspects (some of) the input data, and generates code that is optimised..." current
• 11:0311:03, 12 August 2022 diff hist +63 WG211/M21Schedule →Talks

10 August 2022

• 14:1714:17, 10 August 2022 diff hist +30 WG211/M21Schedule →Talks
• 14:1514:15, 10 August 2022 diff hist +45 WG211/M21Schedule →Talks

9 August 2022

• 12:1112:11, 9 August 2022 diff hist +487 N WG211/M21Carette Created page with "[Joint work with Amr Sabry and Gerardo Ortiz] I will show that by using partial evaluation of quantum circuits (using classical computation) run in the reverse direction with..." current
• 12:0612:06, 9 August 2022 diff hist +81 WG211/M21Schedule →Talks

4 August 2022

• 11:0611:06, 4 August 2022 diff hist +1 WG211/M21Schedule →Talks
• 11:0511:05, 4 August 2022 diff hist +18 WG211/M21Schedule →Attendance

3 August 2022

• 20:1520:15, 3 August 2022 diff hist +1,213 N WG211/M21Erdweg Created page with "Datalog is a carefully restricted logic programming language. What makes Datalog attractive is its declarative fixpoint semantics: Datalog queries consist of simple Horn claus..." current
• 20:1420:14, 3 August 2022 diff hist +77 WG211/M21Schedule →Talks

2 August 2022

• 11:2011:20, 2 August 2022 diff hist +388 N WG211/M21Amin Created page with "We (Nada Amin, Michael Ballantyne and Will Byrd) present a novel framework for staging interpreters written as relations, in which the programs under interpretation are allowe..." current
• 11:1911:19, 2 August 2022 diff hist +91 WG211/M21Schedule →Talks
• 11:1711:17, 2 August 2022 diff hist −35 WG211/M21Blazy No edit summary current
• 11:1711:17, 2 August 2022 diff hist +1,143 N WG211/M21Blazy Created page with " Static Single Assignment (SSA) has proven useful for implementing many static-analysis and optimisation passes, thanks to its structural and semantic properties. However,..."
• 11:1611:16, 2 August 2022 diff hist +94 WG211/M21Schedule →Talks

1 June 2022

• 18:4418:44, 1 June 2022 diff hist +30 WG211/M21Schedule →Attendance

26 May 2022

• 17:3617:36, 26 May 2022 diff hist +14 WG211/M21Schedule →Attendance

19 May 2022

• 16:2916:29, 19 May 2022 diff hist +737 Main Page →Past members
• 16:2716:27, 19 May 2022 diff hist −69 Main Page →Current Members

29 March 2022

• 19:1519:15, 29 March 2022 diff hist +25 Main Page →Current Activity
• 19:1419:14, 29 March 2022 diff hist +36 Main Page →Current Activity
• 19:1219:12, 29 March 2022 diff hist +77 WG211/M21Schedule No edit summary
• 19:1119:11, 29 March 2022 diff hist +891 WG211/M21Schedule →Talks
• 19:1119:11, 29 March 2022 diff hist +192 WG211/M21Schedule →Talks
• 19:1019:10, 29 March 2022 diff hist +13 WG211/M21Schedule No edit summary
• 19:0919:09, 29 March 2022 diff hist +198 WG211/M21Schedule →Attendance

21 July 2020

• 17:1817:18, 21 July 2020 diff hist −93 Main Page The chairs list no longer works.

4 February 2020

• 21:0021:00, 4 February 2020 diff hist +1,728 N WG211/M20Zaytsev Created page with "Title: BabyCOBOL: The Challenge to Program Generation Tool Developers On one side of the gap we have academic researchers developing new techniques of language processing in..." current
• 20:5920:59, 4 February 2020 diff hist +1,385 N WG211/M20Kiselyov Created page with "Title: Session Types without Sophistry: Practical embedding of DSLs with sophisticated type systems Abstract: Whereas ordinary types approximate the results, session types ap..." current
• 20:5820:58, 4 February 2020 diff hist +278 WG211/M20Schedule →Talks

31 January 2020

• 17:1717:17, 31 January 2020 diff hist −59 WG211/M20Schedule →Attendance

20 January 2020

• 22:2822:28, 20 January 2020 diff hist +20 WG211/M20Schedule →Attendance
• 19:1319:13, 20 January 2020 diff hist +3,284 N WG211/M20Visser Created page with "Title: Constructing Hybrid Incremental Compilers for Cross-Module Extensibility with an Internal Build System Joint work with: Jeff Smits, Gabriël Konat (TU Delft) Abstract..." current
• 19:1219:12, 20 January 2020 diff hist 0 WG211/M20Schedule →Talks
• 19:1219:12, 20 January 2020 diff hist +140 m WG211/M20Schedule →Talks
• 19:1019:10, 20 January 2020 diff hist +1 WG211/M20Schedule →Attendance

17 January 2020

• 20:4120:41, 17 January 2020 diff hist +13 WG211/M20Schedule →Attendance

16 January 2020

• 18:1318:13, 16 January 2020 diff hist +15 WG211/M20Schedule →Attendance

13 January 2020

• 19:3919:39, 13 January 2020 diff hist −31 WG211/M20Schedule →Attendance

6 January 2020

• 19:5319:53, 6 January 2020 diff hist +20 WG211/M20Schedule →Attendance

19 December 2019

• 19:5919:59, 19 December 2019 diff hist +16 WG211/M20Schedule →Attendance
• 16:0016:00, 19 December 2019 diff hist +15 WG211/M20Schedule →Attendance

12 December 2019

• 22:2022:20, 12 December 2019 diff hist +104 WG211/M20Schedule →Attendance

6 December 2019

• 21:2621:26, 6 December 2019 diff hist +55 WG211/M20Schedule →Attendance

19 November 2019

• 19:3419:34, 19 November 2019 diff hist +15 WG211/M20Schedule →Attendance

18 November 2019

• 20:5020:50, 18 November 2019 diff hist +12 WG211/M20Schedule →Attendance
• 16:2216:22, 18 November 2019 diff hist +14 WG211/M20Schedule →Attendance

30 August 2019

• 20:5920:59, 30 August 2019 diff hist +11 Main Page →Mailing list
• 20:5620:56, 30 August 2019 diff hist −11 m Main Page →Mailing list

22 May 2019

• 02:2702:27, 22 May 2019 diff hist +1,496 N WG211/M19Visser Created page with "In this talk I present the design of Statix, a new constraint-based language for the executable specification of type systems. Statix specifications consist of predicates that..." current