Partitioning Non-strict Functional Languages for Multi-threaded Code Generation
No abstract available.
Related papers
- Separation Constraint Partitioning - A New Algorithm for Partitioning Non-strict Programs into Sequential Threads POPL 1995
- Stream Compilation for Real-Time Embedded Multicore Systems CGO 2009
- Lazy Functional State Threads PLDI 1994
- Parallel and distributed bounded model checking of multi-threaded programs PPoPP 2020
- On the Equivalence Between CMC and TIM JFP 1994
- RACECAR: a heuristic for automatic function specialization on multi-core heterogeneous systems PPoPP 2012
- Cloaca: A Concurrent Hardware Garbage Collector for Non-strict Functional Languages Haskell 2024
- Computation semantics of the functional scientific workflow language Cuneiform JFP 2017