User contributions for Jacques

4 December 2024

• 11:1411:14, 4 December 2024 diff hist +1 WG211/M24Schedule →Scientific program

3 December 2024

• 19:2619:26, 3 December 2024 diff hist −3 WG211/M24Schedule →Scientific program
• 15:5315:53, 3 December 2024 diff hist −4 WG211/M24Schedule →Talks

1 December 2024

• 18:3818:38, 1 December 2024 diff hist +1,107 N WG211/M24Rompf Created page with "We present Rhyme, an expressive language designed for high-level data manipulation, with a primary focus on querying and transforming nested structures such as JSON and tensor..." current

29 November 2024

• 15:5915:59, 29 November 2024 diff hist +553 N WG211/M24Allais Created page with "Using a dependently typed host language, we give a well scoped-and-typed by construction presentation of a minimal two level simply typed calculus with a static and a dynamic..." current
• 15:5815:58, 29 November 2024 diff hist +48 WG211/M24Schedule →Talks

28 November 2024

• 21:0621:06, 28 November 2024 diff hist 0 WG211/M24Schedule Ordering
• 21:0621:06, 28 November 2024 diff hist −21 WG211/M24Schedule →Attendance
• 21:0421:04, 28 November 2024 diff hist 0 WG211/M24Schedule Ordering
• 21:0321:03, 28 November 2024 diff hist +719 N WG211/M24Kovacs Created page with "I present a small language implementation which supports the following: dependent types, runtime code generation with cross-stage persistence and full type safety, a builtin m..." current
• 21:0321:03, 28 November 2024 diff hist +84 WG211/M24Schedule →Talks
• 21:0221:02, 28 November 2024 diff hist 0 WG211/M24Schedule →Attendance

23 November 2024

• 16:4216:42, 23 November 2024 diff hist +11 Main Page fix link

20 November 2024

• 17:5917:59, 20 November 2024 diff hist +1,286 N WG211/M24Carette Created page with "Partial evaluation works by leveraging what is *static* in a given situation, namely the program itself and part of its input. The Futamura projections go further. For the fir..." current
• 17:5717:57, 20 November 2024 diff hist +90 WG211/M24Schedule →Talks

28 October 2024

• 15:5915:59, 28 October 2024 diff hist +27 WG211/M24Schedule →Attendance

18 October 2024

• 15:5915:59, 18 October 2024 diff hist +1,277 N WG211/M24Hammond Created page with "IOG has been deploying a variety of (lightweight) formal methods as part of its commitment to high assurance software engineering for the multi-billion dollar Cardano blockcha..." current
• 15:5815:58, 18 October 2024 diff hist +1 WG211/M24Schedule →Talks
• 15:5815:58, 18 October 2024 diff hist +174 WG211/M24Schedule →Talks
• 15:5715:57, 18 October 2024 diff hist +16 WG211/M24Schedule →Attendance

3 October 2024

• 22:4122:41, 3 October 2024 diff hist +19 WG211/M24Schedule →Attendance
• 22:2522:25, 3 October 2024 diff hist +89 WG211/M24Schedule →Talks
• 22:2422:24, 3 October 2024 diff hist +14 WG211/M24Schedule →Attendance

2 October 2024

• 22:3522:35, 2 October 2024 diff hist +72 WG211/M24Schedule →Attendance
• 22:3222:32, 2 October 2024 diff hist +7 WG211/M24Schedule →Attendance

7 June 2024

• 22:4622:46, 7 June 2024 diff hist −7 Main Page →Current Activity
• 22:4622:46, 7 June 2024 diff hist +83 Main Page →Past Activity

17 May 2024

• 20:5120:51, 17 May 2024 diff hist −55 Main Page Tony has resigned

20 March 2024

• 15:0915:09, 20 March 2024 diff hist +17 WG211/M23Schedule →Talks
• 15:0815:08, 20 March 2024 diff hist +139 WG211/M23Schedule →Talks

8 March 2024

• 23:4623:46, 8 March 2024 diff hist +1,245 N WG211/M23Carette Created page with "Partial evaluation works by leveraging what is *static* in a given situation, namely the program itself and part of its input. The Futamura projections go further. For the fir..." current
• 23:3523:35, 8 March 2024 diff hist +90 WG211/M23Schedule →Talks

26 February 2024

• 19:3919:39, 26 February 2024 diff hist +14 WG211/M23Schedule →Attendance

25 February 2024

• 16:1116:11, 25 February 2024 diff hist +16 WG211/M23Schedule →Attendance

16 February 2024

• 23:2923:29, 16 February 2024 diff hist +11 WG211/M23Schedule →Attendance
• 17:3817:38, 16 February 2024 diff hist +76 WG211/M23Schedule →Attendance

26 January 2024

• 15:4215:42, 26 January 2024 diff hist +16 WG211/M23Schedule →Attendance

25 January 2024

• 23:5623:56, 25 January 2024 diff hist +33 WG211/M23Schedule →Attendance
• 18:2618:26, 25 January 2024 diff hist +68 WG211/M23Schedule →Attendance

1 December 2023

• 21:1521:15, 1 December 2023 diff hist 0 Main Page →Current Members

30 July 2023

• 15:0315:03, 30 July 2023 diff hist +50 Main Page →Current Members

28 July 2023

• 22:0822:08, 28 July 2023 diff hist +139 Main Page →Current Members

28 April 2023

• 12:5312:53, 28 April 2023 diff hist 0 WG211/M22Kammar No edit summary current
• 12:5312:53, 28 April 2023 diff hist 0 N File:Slides-delft-wg-2-11-partial-evaluation-algebra.pdf No edit summary current
• 12:5212:52, 28 April 2023 diff hist +787 N WG211/M22Kammar Created page with "Modern partial evaluation takes advantage of semantic invariants and properties to partially evaluate stuck open code fragments. In this talk, I will argue that the motivation..."
• 12:5112:51, 28 April 2023 diff hist +96 WG211/M22Schedule →Monday April 3rd in Snijderzaal current

27 April 2023

• 22:3222:32, 27 April 2023 diff hist +14 N File:Fischer-Delft-GrammarRepair.pptx Bernd's slides current
• 22:3222:32, 27 April 2023 diff hist +79 WG211/M222Fischer No edit summary current
• 22:3022:30, 27 April 2023 diff hist +1,120 N WG211/M222Fischer Created page with "Grammars are software too, but like other software they can contain bugs, too. How can we automatically find, and more importantly, fix these bugs? This talk describes gfixr,..."
• 21:2821:28, 27 April 2023 diff hist +18 N File:DatalogDebugging.pdf Sebastian's slides current