335 citations · 346 across the 4 of their papers we have counts for
Showing cs.PLShow all
3 papers · 1 filter
cs.PL2018★ 1 cited
Sundials/ML: Connecting OCaml to the Sundials Numeric Solvers
Timothy Bourke, Jun Inoue, Marc Pouzet
This paper describes the design and implementation of a comprehensive OCaml interface to the Sundials library of numeric solvers for ordinary differential equations, differential a…
cs.PL2017
Operational Semantics of Process Monitors
Jun Inoue, Yoriyuki Yamagata
CSPe is a specification language for runtime monitors that can directly express concurrency in a bottom-up manner that composes the system from simpler, interacting components. It…
cs.PL2013★ 10 cited
PENCIL: Towards a Platform-Neutral Compute Intermediate Language for DSLs
Riyadh Baghdadi, Albert Cohen, Serge Guelton +9
We motivate the design and implementation of a platform-neutral compute intermediate language (PENCIL) for productive and performance-portable accelerator programming.