Follow
Eijiro Sumii
Eijiro Sumii
Verified email at ecei.tohoku.ac.jp
Title
Cited by
Cited by
Year
Environmental bisimulations for higher-order languages
D Sangiorgi, N Kobayashi, E Sumii
ACM Transactions on Programming Languages and Systems (TOPLAS) 33 (1), 1-69, 2011
1072011
Environmental bisimulations for higher-order languages
D Sangiorgi, N Kobayashi, E Sumii
22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007), 293-302, 2007
1052007
Logical relations for encryption
E Sumii, BC Pierce
Journal of Computer Security 11 (4), 521-554, 2003
982003
A bisimulation for type abstraction and recursion
E Sumii, BC Pierce
Journal of the ACM (JACM) 54 (5), 26-es, 2007
802007
A bisimulation for dynamic sealing
E Sumii, BC Pierce
Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of …, 2004
772004
A bisimulation for dynamic sealing
E Sumii, BC Pierce
Theoretical Computer Science 375 (1-3), 169-192, 2007
722007
A bisimulation for type abstraction and recursion
E Sumii, BC Pierce
ACM SIGPLAN Notices 40 (1), 63-74, 2005
702005
An implicitly-typed deadlock-free process calculus
N Kobayashi, S Saito, E Sumii
CONCUR 2000—Concurrency Theory: 11th International Conference University …, 2000
632000
A Complete Characterization of Observational Equivalence in Polymorphic λ-Calculus with General References
E Sumii
International Workshop on Computer Science Logic, 455-469, 2009
552009
A generalized deadlock-free process calculus
E Sumii, N Kobayashi
Electronic Notes in Theoretical Computer Science 16 (3), 225-247, 1998
501998
Fail-safe ANSI-C compiler: an approach to making C programs secure progress report
Y Oiwa, T Sekiguchi, E Sumii, A Yonezawa
Software Security—Theories and Systems: Mext-NSF-JSPS International …, 2003
492003
A hybrid approach to online and offline partial evaluation
E Sumii, N Kobayashi
Higher-Order and Symbolic Computation 14, 101-142, 2001
462001
From applicative to environmental bisimulation
V Koutavas, PB Levy, E Sumii
Electronic Notes in Theoretical Computer Science 276, 215-235, 2011
452011
Regular expression types for strings in a text processing language
N Tabuchi, E Sumii, A Yonezawa
Electronic Notes in Theoretical Computer Science 75, 95-113, 2003
422003
Supporting objects in run-time bytecode specialization
R Affeldt, H Masuhara, E Sumii, A Yonezawa
Proceedings of the ASIAN symposium on Partial evaluation and semantics-based …, 2002
352002
Relating cryptography and polymorphism
B Pierce, E Sumii
Available from the authors, 2000
322000
An implementation of transparent migration on standard Scheme
E Sumii
Proceedings of the Workshop on Scheme and Functional Programming, Technical …, 2000
242000
Logical bisimulations and functional languages
D Sangiorgi, N Kobayashi, E Sumii
International Symposium on Fundamentals of Software Engineering …, 2007
182007
MinCaml: a simple and efficient compiler for a minimal functional language
E Sumii
Proceedings of the 2005 workshop on Functional and Declarative Programming …, 2005
172005
Fail-safe ANSI-C compiler: An approach to making C programs secure
Y Oiwa, T Sekiguichi, E Sumii, A Yonezawa
Software Security–Theories and Systems, 133-153, 2003
172003
The system can't perform the operation now. Try again later.
Articles 1–20