Eijiro Sumii

Publication Activity (10 Years)

Years Active: 1998-2019
Publications (10 Years): 4

Top Topics

Lambda Calculus

Formal Verification

Special Section

Top Venues

J. Funct. Program.

ML Family/OCaml

Publications

Masayuki Mizuno, Eijiro Sumii
Formal Verifications of Call-by-Need and Call-by-Name Evaluations with Mutual Recursion. APLAS (2019)
Masayuki Mizuno, Eijiro Sumii
Formal Verification of the Correspondence Between Call-by-Need and Call-by-Name. FLOPS (2018)
Taichi Yachi, Eijiro Sumii
A Sound and Complete Bisimulation for Contextual Equivalence in \lambda -Calculus with Call/cc. APLAS (2016)
Michael Codish, Eijiro Sumii
Preface for special section from FLOPS 2014. J. Funct. Program. 26 (2016)
Ryohei Tokuda, Eijiro Sumii, Akinori Abe
Specialization of Generic Array Accesses After Inlining. ML Family/OCaml (2015)
Akinori Abe, Eijiro Sumii
A Simple and Practical Linear Algebra Library Interface with Static Size Checking. ML/OCaml (2014)
Adrien Piérard, Eijiro Sumii
A Higher-Order Distributed Calculus with Name Creation. LICS (2012)
Adrien Piérard, Eijiro Sumii
Sound Bisimulations for Higher-Order Distributed Process Calculus. FoSSaCS (2011)
Vasileios Koutavas, Paul Blain Levy, Eijiro Sumii
From Applicative to Environmental Bisimulation. MFPS (2011)
Davide Sangiorgi, Naoki Kobayashi, Eijiro Sumii
Environmental bisimulations for higher-order languages. ACM Trans. Program. Lang. Syst. 33 (1) (2011)
Adrien Piérard, Eijiro Sumii
Sound Bisimulations for Higher-Order Distributed Process Calculus CoRR (2010)
Vasileios Koutavas, Paul Blain Levy, Eijiro Sumii
Limitations of Applicative Bisimulation (Preliminary Report). Modelling, Controlling and Reasoning About State (2010)
Eijiro Sumii
A bisimulation-like proof method for contextual properties in untyped lambda-calculus with references and deallocation. Theor. Comput. Sci. 411 (51-52) (2010)
Eijiro Sumii
-Calculus with General References. CSL (2009)
Nobuyuki Sato, Eijiro Sumii
The Higher-Order, Call-by-Value Applied Pi-Calculus. APLAS (2009)
Eijiro Sumii
A Theory of Non-monotone Memory (Or: Contexts for free). ESOP (2009)
Davide Sangiorgi, Naoki Kobayashi, Eijiro Sumii
Environmental Bisimulations for Higher-Order Languages. LICS (2007)
Davide Sangiorgi, Naoki Kobayashi, Eijiro Sumii
Logical Bisimulations and Functional Languages. FSEN (2007)
Eijiro Sumii, Benjamin C. Pierce
A bisimulation for type abstraction and recursion. J. ACM 54 (5) (2007)
Eijiro Sumii, Benjamin C. Pierce
A bisimulation for dynamic sealing. Theor. Comput. Sci. 375 (1-3) (2007)
Eijiro Sumii
MinCaml: a simple and efficient compiler for a minimal functional language. FDPE@ICFP (2005)
Eijiro Sumii, Benjamin C. Pierce
A bisimulation for type abstraction and recursion. POPL (2005)
Eijiro Sumii, Benjamin C. Pierce
A bisimulation for dynamic sealing. POPL (2004)
Eijiro Sumii, Hideo Bannai
The Extension of ML with Hypothetical Views for Discovery Science: Formalization and Implementation. J. Funct. Log. Program. 2003 (2003)
Kohei Suenaga, Yutaka Oiwa, Eijiro Sumii, Akinori Yonezawa
The Interface Definition Language for Fail-Safe C. ISSS (2003)
Eijiro Sumii, Benjamin C. Pierce
Logical Relations for Encryption. J. Comput. Secur. 11 (4) (2003)
Yutaka Oiwa, Tatsurou Sekiguchi, Eijiro Sumii, Akinori Yonezawa
Fail-Safe ANSI-C Compiler: An Approach to Making C Programs Secure: Progress Report. ISSS (2002)
Reynald Affeldt, Hidehiko Masuhara, Eijiro Sumii, Akinori Yonezawa
Supporting objects in run-time bytecode specialization. ASIA-PEPM (2002)
Eijiro Sumii, Hideo Bannai
VM lambda: A Functional Calculusfor Scientific Discovery. FLOPS (2002)
Naoshi Tabuchi, Eijiro Sumii, Akinori Yonezawa
Regular Expression Types for Strings in a Text Processing Language. Electron. Notes Theor. Comput. Sci. 75 (2002)
Eijiro Sumii, Naoki Kobayashi
A Hybrid Approach to Online and Offline Partial Evaluation. High. Order Symb. Comput. 14 (2-3) (2001)
Daisuke Hoshina, Eijiro Sumii, Akinori Yonezawa
A Typed Process Calculus for Fine-Grained Resource Access Control in Distributed Computation. TACS (2001)
Eijiro Sumii, Benjamin C. Pierce
Logical Relations for Encryption. CSFW (2001)
Eijiro Sumii, Hideo Bannai
VM lambda: a Functional Calculus for Scientific Discovery. APLAS (2001)
Naoki Kobayashi, Shin Saito, Eijiro Sumii
An Implicitly-Typed Deadlock-Free Process Calculus. CONCUR (2000)
Eijiro Sumii, Naoki Kobayashi
Online-and-Offline Partial Evaluation: A Mixed Approach (Extended Abstract). PEPM (2000)
Eijiro Sumii, Naoki Kobayashi
A Generalized Deadlock-Free Process Calculus. Electron. Notes Theor. Comput. Sci. 16 (3) (1998)