Modern DSL Compiler Architecture in OCaml - Experience with Catala
Explore state-of-the-art DSL implementation in OCaml, featuring concrete examples and insights from the Catala compiler for legal algorithms.
Less Power for More Learning - Restricting OCaml Features for Effective Teaching
Explore a framework for sandboxing OCaml features to automate grading of programming exercises, including feature restriction, mock IO system, and security considerations.
Runtime Detection of Data Races in OCaml with ThreadSanitizer
Explore runtime detection of data races in OCaml using ThreadSanitizer. Learn core principles, challenges, adaptations, and practical application for reliable parallel code development.
Unboxed Data Constructors: Efficient and Safe Big Number Handling in ML Languages
Explore unboxed data constructors in ML languages, enhancing efficiency without compromising safety. Learn static analysis techniques and their implementation in OCaml, including termination detection algorithms.
A HAT Trick: Automatically Verifying Representation Invariants Using Symbolic Finite Automata - PLDI 2024
Explore a novel approach using symbolic finite automata for verifying representation invariants in functional programs interacting with stateful libraries, enhancing data structure implementation efficiency.
Flambda 2 Types: An Abstract Domain for Static Analysis of Functional Programs
Explore Flambda 2 Types, an abstract domain for static analysis of OCaml programs, focusing on its role in optimizing functional code.
Exploring Perceus for OCaml - ML'23
Explore Perceus algorithm implementation in OCaml, comparing its performance with standard garbage collection. Learn about precise reference counting and its potential benefits.
Wasocaml: A Compiler from OCaml to WebAssembly - Lecture
Explore OCaml to WebAssembly compilation, addressing challenges and strategies for garbage-collected languages. Learn about Wasocaml compiler, value representation, and future plans for FFIs and effects handlers.
Parallel Sequences in Multicore OCaml
Explore parallel sequences in Multicore OCaml 5.0.0, enabling efficient parallelization of large tasks without low-level implementation complexities.
State of the OCaml Platform 2023
Explore a decade of OCaml Platform progress, recent advancements, and future roadmap. Gain insights into key milestones, community feedback, and plans shaping the OCaml developer experience.
osnap - Painless and Massive Regression Test Generation for OCaml
Explore osnap, an OCaml library for effortless generation of massive regression tests using snapshot testing and random scenario generation, inspired by property-based testing.
MacoCaml - Staging Composable and Compilable Macros
Explore MacoCaml, a novel approach to compile-time code generation in OCaml, combining macros with phase separation and quotation-based staging. Learn about its theoretical foundation and implementation.
Layout Polymorphism: Using Static Computation for Efficient Polymorphism Over Variable Representations
Explore layout polymorphism in OCaml, enabling efficient unboxed types while preserving parametric polymorphism. Learn about type-system design and implementation challenges in managing specializations.
The Design and Implementation of an Abstract Interpreter for OCaml Programs - A Preliminary Report on the Salto Analyser
Explore the design and implementation of Salto, a static analyzer for OCaml programs using abstract interpretation to detect exceptions and undefined behaviors.
PfComp: A Verified Compiler for Packet Filtering Leveraging Binary Decision Diagrams
Explore PfComp, a verified compiler for stateless firewall policies using binary decision diagrams. Learn about its Coq-assisted proof, OCaml extraction, and performance benefits.
asai: A Library for Compiler Diagnostics
Explore asai, an OCaml library for enhancing compiler diagnostics in proof assistants, improving error messages for end users.
Predictable Inlining in OCaml - Flambda2 Heuristics and Inlining Histories
Explore OCaml's inlining heuristics in Flambda2 and learn about "Inlining histories" for visualizing compiler decisions.
Using Smoke and Mirrors to Compile a Functional Programming Language to Efficient GPU Code
Explore techniques for compiling functional languages to efficient GPU code, overcoming hardware restrictions through strategic language design and aggressive compiler optimizations.
Functional Patterns in Ruby
Explore functional programming concepts from OCaml and apply them to Ruby for cleaner, more future-proof code.
Reactive Programming with Diff and Patch
Explore reactive programming techniques using diff and patch, focusing on efficient data updates and functional programming concepts for building responsive systems.
Melocoton: A Program Logic for Verified Interoperability Between OCaml and C
Explore Melocoton, a groundbreaking program logic for verifying interactions between OCaml and C components through OCaml's foreign function interface, mechanized in Coq using Iris.