Etsuya Shibayama


Brief Introduction

I am a professor of the Information Technology Center, The University of Tokyo. I received B.Sc. and M.Sc. in Mathematical Sciences from Kyoto University in 1981 and 1983, respectively, and D.Sc. in Information Science from the University of Tokyo in 1991. I am interested in various topics in computer software including design and implementation of textual and visual programming languages, system software, and user interface software. Also I has been doing research on language-based software security and methodologies for building secure and dependable software.

Publications

  1. Kuniyasu Suzaki, Toshiki Yagi, Akira Tanaka, Yutaka Oiwa and Etsuya Shibayama: Rollback Mechanism of Nested Virtual Machines for Protocol Fuzz Testing, Proceedings of ACM Symposium on Applied Computing, pp. 1484-1491, 2014.
  2. Izuru Kume, Naoya Nitta, Masahide Nakamura, Etsuya Shibayama: A Dynamic Analysis Technique to Extract Symptoms That Suggest Side Effects in Framework Applications, Proceedings of ACM Symposium on Applied Computing, pp. 1176-1178, 2014.
  3. Izuru Kume, Masahide Nakamura, Etsuya Shibayama: A Feature Model of Framework Applications, Proceedings of IEEE/ACIS International Conference on Software, Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, pp. 511-516, 2013.
  4. Kuniyasu Suzaki, Kengo Iijima,Akira Tanaka, Yutaka Oiwa, and Etsuya Shibayama: Rollback Mechanism for Secure Communication Test with Nested Virtual Machines, Runtime Environments, Systems, Layering and Virtualized Environments (RESoLVE), 2013.
  5. Izuru Kume, Masahide Nakamura, and Etsuya Shibayama: Toward Comprehension of Side Effects in Framework Applications as Feature Interactions, Proceedings of Asia-Pacific Software Engineering Conference, pp. 713-716, 2012.
  6. Izuru Kume, Masahide Nakamura, Etsuya Shibayama: Toward Understanding Side Effects in Framework Applications, Proceedings of International Conference on Software Technology and Engineering, pp. 589-594, 2012.
  7. T.-B. Dao, E. Shibayama: Security Sensitive Data Flow Coverage Criterion for Automatic Security Testing of Web Applications, Proceedings of International Symposium on Engineering Secure Software and Systems, Lecture Notes in Computer Science, pp. 101-113, 2011.
  8. S. Zakirov, S. Chiba, E. Shibayama, Optimizing Dynamic Dispatch with Fine-Grained State Tracking, Proc. of Dynamic Language Symposium 15-26, 2010.
  9. T.-B. Dao, E. Shibayama: Coverage Criteria for Automatic Security Testing of Web Applications, Proc. of ICISS, Lecture Notes in Computer Science, Vol. 6503, pp. 111-124, 2010.
  10. S. Zakirov, S. Chiba, E. Shibayama: How to Select Superinstructions for Ruby, IPSJ Transactions on Programming, Vol. 3, No. 2, pp. 1-8, 2010.
  11. T.-B. Dao, E. Shibayama: Automatic Security Testing for Web Applications, Proceedings of International Symposium on Engineering Secure Software and Systems, Lecture Notes in Computer Science, Vol. 5429, pp. 180-184, 2009.
  12. I. Kume, E. Shibayama: Feature Interactions in Object-Oriented Effect Systems from a Viewpoint of Program Comprehension, Feature Interactions in Software and Communication Systems X, pp. 123-130, 2009.
  13. I. Cums, E. Shibayama: A Conceptual Model for Comprehension of Object-oriented Interactive Systems, Proc. of International Conference on Software Engineering and Knowledge Engineering, pp. 376-381, 2009.
  14. K. Takahashi, T. Yamabe, E. Shibayama: Modality Adaptation Support for Migrating Services among Platforms, International Journal of Multimedia and Ubiquitous Engineering, Vol.3, No.2, 35-47, April 2008.
  15. C. Artho, B. Zweimller, A. Biere, E. Shibayama, and S. Honiden: Efficient Model Checking of Applications with Input/Output, Proceedings of Eurocast 2007, Lecture Notes in Computer Science, Vol. 4739, pp. 515-522, 2007.
  16. Y. Mihara, E. Shibayama and S. Takahashi: The Migratory Cursor: Accurate Speech-Based Cursor Movement by Moving Multiple Ghost Cursors with Non-Verbal Vocalizations, Proc. of ACM ASSETS 2005, pp. 76-83, 2005.
  17. S. Takahashi, Y. Kato, E. Shibayama: A New Static Depiction and Input Technique for 2D Animations, Proc. of The IEEE Symp. on Visual Languages and Human-Centric Computing, pp. 296-298, 2005.
  18. Y. Mihara, A. Sugimoto, E. Shibayama, S. Takahashi: An Interactive Braille-Recognition System for The Visually Impaired Based on A Portable Camera, ACM CHI'05 Extended Abstracts, pp. 1653 - 1656, 2005.
  19. Y. Kato, E. Shibayama, S. Takahashi: Effect Lines for Specifying Animation Effects, Proc. of The IEEE Symp. on Visual Languages and Human-Centric Computing, pp. 27-34, 2004.
  20. T. Ijiri, T. Igarashi, E. Shibayama, S. Takahashi: Sketch Interface for 3D Modeling of Flowers, ACM SIGGRAPH 2004 Sketches, 2004.
  21. K. Yonezawa, S. Takahashi, E. Shibayama: A Sketching Tool for Cartoon-Like Pseudo-3D Illustrations Based on 3D Outlines, ACM SIGGRAPH 2004 Posters, 2004.
  22. S. Sato, E. Shibayama, and S. Takahashi: An Interface for Input of Object Regions Using the Hand Chroma Key, Computer Human Interaction, Lecture Notes in Computer Science, Vol. 3101, pp. 389-398, 2004.
  23. E. Shibayama and A. Yonezawa: Secure Software Infrastructure in the Internet Age, New Generation Computing, Vol. 21, No. 2, pp. 87-106, 2003.
  24. E. Shibayama, S. Hagihara, N. Kobayashi, S. Nishizaki, K. Taura, and T. Watanabe: AnZenMail: A Secure and Certified E-Mail System, Software Security - Theories and Systems, Lecture Notes in Computer Science, Vol. 2609, 2003.
  25. Y. Ando, S. Takahashi, and E. Shibayama: A 3D Animation System with Superimposing CG on a Physical Armature, Proc. of Asia Pacific Conference on Computer Human Interaction, Vol. 2, pp. 845-856, 2002.
  26. B. Shizuki, E. Shibayama, and M. Toyoda: Static Visualization of Dynamic Data Flow Visual Program Execution, Proc. of International Conference on Information Visualization, IEEE Computer Society Press, pp. 713-718, 2002.
  27. S. Yamazaki and E. Shibayama: Runtime Code Generation for Bytecode Specialization of Reflective Java Programs, ECOOP 2002 Workshop on Generative Programming, 2002.
  28. E. Shibayama, M. Toyoda, J. Yabe, and S. Takahashi: Scalable and Comprehensible Visualization for Discovery of Knowledge from the Internet, Progress in Discovery Science, Lecture Notes in Computer Science, Vol. 2281, pp. 661-671, 2002.
  29. B. Shizuki, M. Toyoda, E. Shibayama, and S. Takahashi: Smart Browsing among Multiple Aspects of Data-flow Visual Program Execution Using Visual Patterns and Multi-Focus Fisheye Views, Journal of Visual Languages and Computing, Vol. 11, No. 5, pp. 529-548, 2000.
  30. E. Shibayama, M. Toyoda, B. Shizuki, and S. Takahashi: Design Issues of Visual Languages for Supporting Software Evolution, Proc. of International Symposium on Principles of Software Evolution, IEEE Press, pp. 253-260, 2000.
  31. J. Yabe, E. Shibayama, and S. Takahashi: Automatic Animation of Discussions in Usenet, Proc. of the Working Conf. on Advanced Visual Interfaces, ACM Press, pp. 84-91, 2000.
  32. M. Toyoda and E. Shibayama: HishiMochi: A Zooming Browser for Hierarchically Clustered Documents, ACM CHI2000 Extended Abstracts, pp. 28-29 (Also in ACM CHI2000 Video Program, 59:41-1:05:20), 2000.
  33. E. Shibayama, M. Toyoda, B. Shizuki, and S. Takahashi: Visual Abstractions for Object-Based Parallel Computing, Object-Oriented Parallel and Distributed Programming, Hermes Science Publications, pp. 113-132, 2000.
  34. M. Toyoda, and E. Shibayama: Hyper Mochi Sheet: A Predictive Focusing Interface for Navigating and Editing Nested Networks through a Multi-focus Distortion-Oriented View, Proc. of ACM CHI'99 Conf. on Human Factors in Computing Systems, pp. 504-511 (Also in ACM CHI'99 Video Proceedings and Video Program, 12:13-14:28), 1999.
  35. E. Shibayama, J. Yabe, S. Takahashi, and M. Matsuda: Visualizing Semantic Clusters in the Internet Information Space, Proc. of Int'l Conf. on Discovery Science, Lecture Notes in Artificial Intelligence, Vol. 1532, pp. 409-410, 1998.
  36. E. Shibayama, M. Toyoda, B. Shizuki, and S. Takahashi: A Pattern-Oriented Parallel Visual Programming Environment, Proc. of the Int'l Conf. on Applications of Prolog, pp. 42-49, 1998.
  37. B. Shizuki, M. Toyoda, E. Shibayama, and S. Takahashi: Visual Patterns + Multi-Focus Fisheye View: An Automatic Scalable Visualization Technique of Data-Flow Visual Program Execution, Proc. of IEEE Symp. on Visual Languages, pp. 270-279, 1998.
  38. Y. Furukawa and E. Shibayama: Compiler-Generated Protection Domains and a Light Weight Runtime Protection Technique, Proc. of Worldwide Computing and Its Applications, Lecture Notes in Computer Science, Vol. 1368, pp. 158-173, 1998.
  39. M. Toyoda, B. Shizuki, S. Takahashi, S. Matsuoka, and E. Shibayama: Supporting Design Patterns in a Visual Parallel Data-flow Programming Environment, Proc. of IEEE Symp. on Visual Languages, pp. 76-83, 1997.

Projects

Contact Address