User contributions for Jacques

11 December 2025

• 14:4014:40, 11 December 2025 diff hist +880 N W211/M25Shan Created page with "Yafei Yang and Chung-chieh Shan Developing quantum programs requires not only running them on quantum hardware but also simulating them on classical hardware. Because the semantics of a quantum program can be defined in terms of complex state vectors, it can in principle be simulated using any implementation of probabilistic or weighted programming that supports complex or at least negative weights. In this study, we compile a high-level quantum programming language to..." current

10 December 2025

• 15:2915:29, 10 December 2025 diff hist 0 N File:WG211 M25 Shan.pdf No edit summary current
• 15:2915:29, 10 December 2025 diff hist +120 WG211/M25Schedule →Talks current
• 15:2615:26, 10 December 2025 diff hist +66 N File:WG211 M25 Group Photo.jpg Pictures of all the people who attended this meeting current
• 15:2515:25, 10 December 2025 diff hist +68 WG211/M25Schedule →IFIP Working Group 2.11, Twenty-fifth Meeting

3 December 2025

• 06:3706:37, 3 December 2025 diff hist −6 WG211/M25Schedule →Schedule
• 06:3606:36, 3 December 2025 diff hist +351 WG211/M25Schedule →Schedule

2 December 2025

• 16:5516:55, 2 December 2025 diff hist +16 WG211/M25Schedule →Schedule
• 16:5516:55, 2 December 2025 diff hist +340 WG211/M25Schedule →Schedule
• 13:0413:04, 2 December 2025 diff hist −36 WG211/M25Schedule →Schedule

1 December 2025

• 18:0018:00, 1 December 2025 diff hist +35 WG211/M25Schedule →Schedule
• 17:5917:59, 1 December 2025 diff hist +368 WG211/M25Schedule →Talks and Schedule

21 November 2025

• 20:1420:14, 21 November 2025 diff hist +120 WG211/M25Schedule →Arrivals and departures of attendants
• 20:1320:13, 21 November 2025 diff hist +1,280 N WG211/M25Barke Created page with "Toward Trustworthy LLM Generation: From Verifiable Proofs to Reliable Agents Verifiable programming provides a concrete foundation for trustworthy LLM generation. This talk introduces DeepProof-32B, a 32-billion-parameter reasoning model designed for program verification and trained with reinforcement learning from verifiable rewards, achieving state-of-the-art performance among open models. The first part distills lessons from building models that can reason about thei..." current
• 20:1220:12, 21 November 2025 diff hist +98 WG211/M25Schedule →Talks and Schedule

19 November 2025

• 17:5117:51, 19 November 2025 diff hist +207 WG211/M25Schedule →Arrivals and departures of attendants
• 17:4717:47, 19 November 2025 diff hist +782 N WG211/M25Steuwer Created page with "E-Graphs are a core data structure used in automatic reasoning and program optimization. They space-efficiently represent a set of equivalent terms. However, representing programs with bindings in e-graphs using existing techniques quickly defeats the efficiency purpose in many practical applications, as the e-graph represents alpha-equivalent terms many times. In this talk, I am going to present our work on Slotted E-Graphs that augment E-Graphs with a build-in notion..." current
• 17:4617:46, 19 November 2025 diff hist −1 WG211/M25Schedule →Talks and Schedule
• 17:4617:46, 19 November 2025 diff hist +65 WG211/M25Schedule →Talks and Schedule

12 November 2025

• 20:5320:53, 12 November 2025 diff hist +19 WG211/M25Schedule →Talks and Schedule

10 November 2025

• 21:3121:31, 10 November 2025 diff hist +71 WG211/M25Schedule →Talks and Schedule
• 21:2921:29, 10 November 2025 diff hist +157 WG211/M25Schedule →Guests and Observers

7 November 2025

• 17:0717:07, 7 November 2025 diff hist +760 N WG211/M25Yallop Created page with "(joint work with Guillaume Allais, Edwin Brady, Nathan Corbyn and Ohad Kammar) We present a new design for an algebraic simplification library structured around concepts from universal algebra: theories, models, homomorphisms, and universal properties of free algebras and free extensions of algebras. The library's dependently typed interface guarantees that both built-in and user-defined simplification modules are terminating, sound, and complete with respect to a well..." current
• 17:0717:07, 7 November 2025 diff hist +88 WG211/M25Schedule →Talks and Schedule

3 November 2025

• 18:2518:25, 3 November 2025 diff hist +492 N WG211/M25Kammar Created page with "I will describe work in progress implementing SMTLIB bindings in Idris 2. The bindings are well-scoped and intrinsically typed, and support holes and type-and-scope-safe splicing of query fragments. Since SMTLIB describes upwards of 20 different combinations of features, this is an instance of the Expression Problem. To work around it, we develop the modular abstract syntax trees (MAST) library. It provides generic, type and scope safe traversals of splicing of code frag..." current
• 18:2518:25, 3 November 2025 diff hist +185 WG211/M25Schedule →Talks and Schedule
• 18:1818:18, 3 November 2025 diff hist +143 WG211/M25Schedule →Talks and Schedule

31 October 2025

• 19:2319:23, 31 October 2025 diff hist +552 N WG211/M25Carette Created page with "Notions of derivative abound in functional programming. An obvious question arises: what about integrals? It turns out that folds are the analogous concept. Pursuing the analogy leads us to a proper notion of "definite fold" corresponding to definite integrals (and sums and products and ...). Many concepts are needed along the way (Route, Pointed type, etc). In return, incremental and parallel versions of fold arise naturally. The correct notion of indefinite fold is a l..." current
• 19:2319:23, 31 October 2025 diff hist +38 WG211/M25Schedule →Talks and Schedule
• 19:1919:19, 31 October 2025 diff hist +18 WG211/M25Schedule →Talks and Schedule
• 19:1519:15, 31 October 2025 diff hist +76 WG211/M25Schedule →Talks and Schedule Tag: Visual edit

22 September 2025

• 18:1018:10, 22 September 2025 diff hist −54 WG211/M25Schedule →Guests and Observers

8 September 2025

• 19:5919:59, 8 September 2025 diff hist 0 WG211/M25Schedule →Guests and Observers

27 August 2025

• 16:5316:53, 27 August 2025 diff hist 0 WG211/M25Schedule →Members attending
• 15:1315:13, 27 August 2025 diff hist 0 Main Page →Current Members current
• 15:1115:11, 27 August 2025 diff hist −130 Main Page →Current Members

6 August 2025

• 16:5616:56, 6 August 2025 diff hist +131 WG211/M25Schedule →Observers
• 16:5116:51, 6 August 2025 diff hist +18 WG211/M25Schedule →Members attending

30 December 2024

• 20:1720:17, 30 December 2024 diff hist −3,084 Main Page remove a lot of dead stuff

4 December 2024

• 12:1912:19, 4 December 2024 diff hist −2 WG211/M24Schedule →Scientific program
• 12:1612:16, 4 December 2024 diff hist +1 WG211/M24Schedule →Program / schedule
• 10:1410:14, 4 December 2024 diff hist +1 WG211/M24Schedule →Scientific program

3 December 2024

• 18:2618:26, 3 December 2024 diff hist −3 WG211/M24Schedule →Scientific program
• 14:5314:53, 3 December 2024 diff hist −4 WG211/M24Schedule →Talks

1 December 2024

• 17:3817: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

• 14:5914: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
• 14:5814:58, 29 November 2024 diff hist +48 WG211/M24Schedule →Talks

28 November 2024

• 20:0620:06, 28 November 2024 diff hist 0 WG211/M24Schedule Ordering
• 20:0620:06, 28 November 2024 diff hist −21 WG211/M24Schedule →Attendance
• 20:0420:04, 28 November 2024 diff hist 0 WG211/M24Schedule Ordering