[POPL'24] Siemens Room (Jan 15th)

(9:39:48)

[POPL'24] Indexed Types for a Statically Safe WebAssembly

(18:15)

[POPL'24] Siemens Room - N40AI (Jan 20th)

(9:10:25)

[POPL'24] Implementation and Synthesis of Math Library Functions

(20:21)

[POPL'24] Solving Infinite-State Games via Acceleration

(19:1econd)

[POPL'24] Validation of Modern JSON Schema: Formalization and Complexity

(19:9)

[POPL'24] A Universal, Sound, and Complete Forward Reasoning Technique for Machine-Verifie...

(20:58)

[POPL'24] Optimal Program Synthesis via Abstract Interpretation

(20:4)

[POPL'24] Effectful Software Contracts

(20:40)

[POPL'24] Guided Equality Saturation

(21:21)

[POPL'24] Modular Denotational Semantics for Effects with Guarded Interaction Trees

(21:19)

[POPL'24] Fusing Direct Manipulations into Functional Programs

(18:15)

[POPL'24] Efficient Matching of Regular Expressions with Lookaround Assertions

(21:14)

[POPL'24] Disentanglement with Futures, State, and Interaction

(19:42)