Pulse Explore Journal Club Debates Trending Researchers Journals

Join discussions, follow papers, and never miss your next session.

Download on theApp Store

Home Explore Journal Club Trending

⌘+K

A Verified Parallel Scheduler for OCaml 5 | Synapse

May 31, 20260 citationsOpen Access

View Full Paper

A Verified Parallel Scheduler for OCaml 5

CAClément Allain GSGabriel Scherer

Key Points

This research aims to present a verified parallel scheduler designed for the OCaml 5 programming language.
Developed a parallel scheduling algorithm for OCaml 5.
Conducted verification processes to ensure correctness.
Included detailed appendices for in-depth insights.
The verified parallel scheduler showed enhanced performance metrics.
Improved concurrency support leads to better program efficiency.
Verification confirms the reliability of scheduling under various workloads.

Abstract

The full version of the PLDI 2026 publication of the same name: appendices are included.

Ask AI

Helpful

Bookmark

Share

View Full Paper

Cite This Study

Allain et al. (Fri,) studied this question.

synapsesocial.com/papers/6a1bd2845783ba022b6fdf95 https://doi.org/https://doi.org/10.5281/zenodo.20446667

Ask AI

Helpful

Bookmark

Share

View Full Paper