3 citations · 3 across the 4 of their papers we have counts for
4 papers
Type-based information flow analysis for -calculus with a dynamically extensible security lattice
Yukihiro Oda, Eijiro Sumii
We develop a type system for secure information flow where new security levels can be created and inserted into the security lattice dynamically, i.e., even in the middle of an exe…
Specialization of Generic Array Accesses After Inlining
Ryohei Tokuda, Eijiro Sumii, Akinori Abe
We have implemented an optimization that specializes type-generic array accesses after inlining of polymorphic functions in the native-code OCaml compiler. Polymorphic array operat…
A Simple and Practical Linear Algebra Library Interface with Static Size Checking
Akinori Abe, Eijiro Sumii
Linear algebra is a major field of numerical computation and is widely applied. Most linear algebra libraries (in most programming languages) do not statically guarantee consistenc…
Sound Bisimulations for Higher-Order Distributed Process Calculus
Adrien Piérard, Eijiro Sumii
While distributed systems with transfer of processes have become pervasive, methods for reasoning about their behaviour are underdeveloped. In this paper we propose a bisimulation…