Eijiro Sumii

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