Eijiro Sumii
Eijiro Sumii
Verified email at ecei.tohoku.ac.jp
Title
Cited by
Cited by
Year
Logical relations for encryption 1
E Sumii, BC Pierce
Journal of Computer Security 11 (4), 521-554, 2003
942003
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
922011
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
912007
A bisimulation for dynamic sealing
E Sumii, BC Pierce
Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of …, 2004
722004
A bisimulation for type abstraction and recursion
E Sumii, BC Pierce
ACM SIGPLAN Notices 40 (1), 63-74, 2005
712005
A bisimulation for type abstraction and recursion
E Sumii, BC Pierce
Journal of the ACM (JACM) 54 (5), 26-es, 2007
662007
A bisimulation for dynamic sealing
E Sumii, BC Pierce
Theoretical Computer Science 375 (1-3), 169-192, 2007
662007
An implicitly-typed deadlock-free process calculus
N Kobayashi, S Saito, E Sumii
International Conference on Concurrency Theory, 489-504, 2000
582000
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
552002
A generalized deadlock-free process calculus
E Sumii, N Kobayashi
Electronic Notes in Theoretical Computer Science 16 (3), 225-247, 1998
481998
A Complete Characterization of Observational Equivalence in Polymorphic λ-Calculus with General References
E Sumii
International Workshop on Computer Science Logic, 455-469, 2009
452009
A hybrid approach to online and offline partial evaluation
E Sumii, N Kobayashi
Higher-Order and Symbolic Computation 14 (2-3), 101-142, 2001
402001
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
382003
From applicative to environmental bisimulation
V Koutavas, PB Levy, E Sumii
Electronic Notes in Theoretical Computer Science 276, 215-235, 2011
362011
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
272000
An implementation of transparent migration on standard Scheme
E Sumii
Proceedings of the Workshop on Scheme and Functional Programming, Technical …, 2000
222000
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
171999
Logical bisimulations and functional languages
D Sangiorgi, N Kobayashi, E Sumii
International Conference on Fundamentals of Software Engineering, 364-379, 2007
162007
Sound bisimulations for higher-order distributed process calculus
A Piérard, E Sumii
International Conference on Foundations of Software Science and …, 2011
152011
The system can't perform the operation now. Try again later.
Articles 1–20