22 citations · 108 across the 38 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.LO2017★ 2 cited
An intensionally fully-abstract sheaf model for (expanded version)
Clovis Eberhart, Tom Hirschowitz, Thomas Seiller
Following previous work on CCS, we propose a compositional model for the -calculus in which processes are interpreted as sheaves on certain simple sites. Such sheaves are a conc…
cs.PL2017★ 3 cited
Loop Quasi-Invariant Chunk Motion by peeling with statement composition
Jean-Yves Moyen, Thomas Rubiano, Thomas Seiller
Several techniques for analysis and transformations are used in compilers. Among them, the peeling of loops for hoisting quasi-invariants can be used to optimize generated code, or…