International audienceWe propose a new API and implementation for managing garbage collector (GC) roots for the OCaml foreign-function interface (FFI), which offers:- better performance than existing APIs (local or global roots);- efficient support for OCaml 5 with a more multicore-friendly design, with per-domain data structures;- a reasoning based on resource-management idioms, enabling an easier FFI for Rust.Our contributions include a C library called Boxroot which is already in use in several OCaml-Rust interfacing libraries.We believe that this approach generalizes beyond OCaml, to other FFI situations where a language with GC interacts with a language without pervasive GC, especially those that emphasize move semantics for resource h...
AbstractThe ATerm Library is a well-designed and well-known library in the term rewriting community....
GCspy is an architectural framework for the collection, transmission, storage and replay of memory m...
We describe a memory management toolkit for language implementors. It offers efficient and flexible ...
International audienceWe propose a new API and implementation for managing garbage collector (GC) ro...
Garbage collection (GC) is a key component of almost all modern programming languages. The advent of...
OCaml is an industrial-strength, multi-paradigm programming language, widely used in industry and ac...
International audienceThis paper reports an experiment with a large pages allocator for the OCaml ru...
Automatic memory reclaim is a common feature of programminglanguages. It offers to the programmers s...
This report details the design of a garbage collection (GC) module, which introduces modern GC featu...
We present a resource-management model for ML-style programming languages, designed to be compatible...
Automated memory management avoids the tedium and danger of manual techniques. However, as no progra...
Real-world garbage collectors in managed languages are complex. We investigate whether this complexi...
GCspy is an architectural framework for the collection, transmis-sion, storage and replay of memory ...
Automated memory management techniques, or garbage collection, reduces the complexity and problems...
Implementing a new programming language system is a daunting task. A common trap is to punt on the d...
AbstractThe ATerm Library is a well-designed and well-known library in the term rewriting community....
GCspy is an architectural framework for the collection, transmission, storage and replay of memory m...
We describe a memory management toolkit for language implementors. It offers efficient and flexible ...
International audienceWe propose a new API and implementation for managing garbage collector (GC) ro...
Garbage collection (GC) is a key component of almost all modern programming languages. The advent of...
OCaml is an industrial-strength, multi-paradigm programming language, widely used in industry and ac...
International audienceThis paper reports an experiment with a large pages allocator for the OCaml ru...
Automatic memory reclaim is a common feature of programminglanguages. It offers to the programmers s...
This report details the design of a garbage collection (GC) module, which introduces modern GC featu...
We present a resource-management model for ML-style programming languages, designed to be compatible...
Automated memory management avoids the tedium and danger of manual techniques. However, as no progra...
Real-world garbage collectors in managed languages are complex. We investigate whether this complexi...
GCspy is an architectural framework for the collection, transmis-sion, storage and replay of memory ...
Automated memory management techniques, or garbage collection, reduces the complexity and problems...
Implementing a new programming language system is a daunting task. A common trap is to punt on the d...
AbstractThe ATerm Library is a well-designed and well-known library in the term rewriting community....
GCspy is an architectural framework for the collection, transmission, storage and replay of memory m...
We describe a memory management toolkit for language implementors. It offers efficient and flexible ...