Quick Overview: A guided tour through Oxidized OCaml (Video, How to secure a distributed database such as OpenRiak with open-source tools (Video, Wasmgrind: Towards Dynamic Concurrency Analysis for Multithreaded WebAssembly (Video, WAW 2025) Michael Staab, and ...
Tutorials Icfp Splash 25 A - Detailed Overview & Context
A guided tour through Oxidized OCaml (Video, How to secure a distributed database such as OpenRiak with open-source tools (Video, Wasmgrind: Towards Dynamic Concurrency Analysis for Multithreaded WebAssembly (Video, WAW 2025) Michael Staab, and ... On Dynamic Multimedia Pipelines for Opening Browsers to New Formats (Video, WAW 2025) Jérôme Gorin, and Maja Bystrom ... Dynamic Analysis Extending a Shadow Runtime for Profit (Video, WAW 2025) Aäron Munsters, Angel Luis Scull Pupo, and Elisa ... Implementing and Evaluating a High-Level Language with WasmGC and the Wasm Component Model: Scala's Case (Video, ...
![[Tutorials @ ICFP/SPLASH'25] A guided tour through Oxidized OCaml](https://i.ytimg.com/vi/qTSpEKZohKY/mqdefault.jpg)
![[Tutorials @ ICFP/SPLASH'25] Compiling Quantum Circuits](https://i.ytimg.com/vi/USnCWXPaz-A/mqdefault.jpg)
![[Tutorials @ ICFP/SPLASH'25] How to secure a distributed database such as OpenRiak with(…)](https://i.ytimg.com/vi/Fl32PYgxm4c/mqdefault.jpg)
![[Tutorials @ ICFP/SPLASH'25] WebAssembly Research Tools Tutorial](https://i.ytimg.com/vi/Rd9MCxl3vAo/mqdefault.jpg)
![[WAW@ICFP/SPLASH'25] Wasmgrind: Towards Dynamic Concurrency Analysis for Multithreaded WebAssembly](https://i.ytimg.com/vi/LzUaYYJG8Do/mqdefault.jpg)
![[WAW@ICFP/SPLASH'25] On Dynamic Multimedia Pipelines for Opening Browsers to New Formats](https://i.ytimg.com/vi/W9pm77uCETE/mqdefault.jpg)
![[WAW@ICFP/SPLASH'25] Dynamic Analysis Extending a Shadow Runtime for Profit](https://i.ytimg.com/vi/k0mfsptk2NE/mqdefault.jpg)
![[WAW@ICFP/SPLASH'25] Implementing and Evaluating a High-Level Language with WasmGC and the Wasm (…)](https://i.ytimg.com/vi/OxH7gwesR38/mqdefault.jpg)
![[ICFP/SPLASH'25] Seminar Room 10 - Tutorial 8 (Oct 12th)](https://i.ytimg.com/vi/FepjimSw3AU/mqdefault.jpg)
![[ICFP/SPLASH'25] Orchid Plenary Ballroom - ICFP Papers and Events (Oct 13th)](https://i.ytimg.com/vi/1oBOu6wX8lc/mqdefault.jpg)
![[ICFP/SPLASH'25] Peony NE - OCaml (Oct 17th)](https://i.ytimg.com/vi/Xh5PNe0SxDY/mqdefault.jpg)
![[ICFP/SPLASH'25] Seminar Room 9 - Tutorial 7 (Oct 12th)](https://i.ytimg.com/vi/vbY44f6H4bg/mqdefault.jpg)
![[ICFP/SPLASH'25] Orchid East - SPLASH OOPSLA (Oct 17th)](https://i.ytimg.com/vi/oZBLYqvsaGs/mqdefault.jpg)
![[ICFP/SPLASH'25] Peony NW - Scheme (Oct 16th)](https://i.ytimg.com/vi/Zl-M3avRPXI/mqdefault.jpg)
![[ICFP/SPLASH'25] Seminar Room 9 - Tutorial 3 (Oct 12th)](https://i.ytimg.com/vi/9yaygD9xC2U/mqdefault.jpg)
![[ICFP/SPLASH'25] Orchid Small - WebAssembly Workshop (Oct 16th)](https://i.ytimg.com/vi/1_ibVLthHMY/mqdefault.jpg)
![[ICFP/SPLASH'25] Peony SW - REBASE (Oct 18th)](https://i.ytimg.com/vi/UI1wApT2t1w/mqdefault.jpg)
![[ICFP/SPLASH'25] Peony SW - Haskell (Oct 17th)](https://i.ytimg.com/vi/IlQQElKaFvM/mqdefault.jpg)
![[ICFP/SPLASH'25] Orchid East - SAS (Oct 13th)](https://i.ytimg.com/vi/8dzHkYF13hY/mqdefault.jpg)