Effects based scheduling for the OCaml compiler pipeline

Anil Madhavapeddy

doi:10.59350/cpywg-p5v66

ScienceGate Book Chapters

JOURNAL ARTICLE

Effects based scheduling for the OCaml compiler pipeline

Anil Madhavapeddy

Year: 2025

DOI: 10.59350/cpywg-p5v66

Get Full-Text PDF Get Analytical Report

Abstract

Effects based scheduling for the OCaml compiler pipeline This is an idea proposed in 2025 as a good starter project, and is currently being worked on by Lucas Ma. It is co-supervised with David Allsopp. In order to compile the OCaml program foo.ml containing: Stdlib.print_endline "Hello, world" the OCaml compilers only require the compiled stdlib.cmi interface to exist in order to determine the type of Stdlib.print_endline.

Keywords:

Compiler Scheduling (production processes) Pipeline (software) Instruction scheduling Optimizing compiler

Metrics

Cited By

0.00

FWCI (Field Weighted Citation Impact)

Refs

0.82

Citation Normalized Percentile

Is in top 1%

Is in top 10%

Topics

Logic, programming, and type systems

Physical Sciences → Computer Science → Artificial Intelligence

Parallel Computing and Optimization Techniques

Physical Sciences → Computer Science → Hardware and Architecture

Security and Verification in Computing

Physical Sciences → Computer Science → Artificial Intelligence

Effects based scheduling for the OCaml compiler pipeline

Abstract

Metrics

Topics

Related Documents

Effects based scheduling for the OCaml compiler pipeline

An Improved FPGAs-Based Loop Pipeline Scheduling Algorithm for Reconfigurable Compiler

OCaml-Java: The Java Virtual Machine as the target of an OCaml compiler

Compiler Based Scheduling of Java Mobile Agents

Path-based scheduling in a hardware compiler