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
22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007), 293-302, 2007
1102007
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
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
772007
A bisimulation for dynamic sealing
E Sumii, BC Pierce
Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of†…, 2004
732004
A bisimulation for type abstraction and recursion
E Sumii, BC Pierce
ACM SIGPLAN Notices 40 (1), 63-74, 2005
702005
A bisimulation for dynamic sealing
E Sumii, BC Pierce
Theoretical Computer Science 375 (1-3), 169-192, 2007
692007
An implicitly-typed deadlock-free process calculus
N Kobayashi, S Saito, E Sumii
International Conference on Concurrency Theory, 489-504, 2000
622000
A Complete Characterization of Observational Equivalence in Polymorphic λ-Calculus with General References
E Sumii
International Workshop on Computer Science Logic, 455-469, 2009
572009
Fail-safe ANSI-C compiler: an approach to making C programs secure progress report
Y Oiwa, T Sekiguchi, E Sumii, A Yonezawa
International Symposium on Software Security, 133-153, 2002
492002
A generalized deadlock-free process calculus
E Sumii, N Kobayashi
Electronic Notes in Theoretical Computer Science 16 (3), 225-247, 1998
481998
From applicative to environmental bisimulation
V Koutavas, PB Levy, E Sumii
Electronic Notes in Theoretical Computer Science 276, 215-235, 2011
442011
A hybrid approach to online and offline partial evaluation
E Sumii, N Kobayashi
Higher-Order and Symbolic Computation 14 (2), 101-142, 2001
442001
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
392003
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
332002
Relating cryptography and polymorphism
B Pierce, E Sumii
Available from the authors, 2000
302000
An implementation of transparent migration on standard Scheme
E Sumii
Proceedings of the Workshop on Scheme and Functional Programming, Technical†…, 2000
262000
Online-and-offline partial evaluation (extended abstract) a mixed approach
E Sumii, N Kobayashi
Proceedings of the 2000 ACM SIGPLAN workshop on Partial evaluation and†…, 1999
181999
Logical bisimulations and functional languages
D Sangiorgi, N Kobayashi, E Sumii
International Conference on Fundamentals of Software Engineering, 364-379, 2007
172007
Sound bisimulations for higher-order distributed process calculus
A Piťrard, E Sumii
International Conference on Foundations of Software Science and†…, 2011
162011
The system can't perform the operation now. Try again later.
Articles 1–20