Futoshi Iwama  Futoshi Iwama photo       

contact information

Research Scientist
IBM Research - Tokyo, Japan
  +81dash03dash5144dash2892dash2892

links

Professional Associations

Professional Associations:  ACM  |  IEEE  |  Information Processing Society of Japan (IPSJ)  |  Japan Society for Software Science and Technology

profile


I currently work for Blockchain Technology Group, IBM Research - Tokyo.

Research Interests:

  • Formal / Programming Language, Type System, Formal Logic and Reasoning in Real Applications.
  • Software Engineering: Formal Method, Software Description and  Software Testing / Verification.

Recent Projects and Software:

  • Smart Contract in Blockcain Technology.
  • Intelligent Question-Answering Concierge Robot System Development:
    • Reactive-Rule based Control for Concierge QA Robot, and
    • Automated Basic Recognition Test Method for Automatic Speech Recognition.
  • Document Analytics for Automated Quality Inspection and Test Case Generation:
    • Text Parser Combination System, and
    • Test-Oriented Description Format for Design Documents
  • Legacy Modernizations -- Program Comprehension and Design Infomation Extraction: 
    • Deductive Rule based Query System for Data Extracton from Code, and
    • Cobol/PLI Symbolic Execution for Generating Test Inputs.

 

Educational Background:

He received his B.S in Information Science from School of Sciences, the University of Tokyo, Japan and also recived his M.E in Computer Science from Graduate School of Information Sciences and Engineering in Tokyo Institute of Technology, Japan.  Then He recived his Ph.D in Computer and Mathematical Sciences from Graduate School of Infomation Sciences, Tohoku University, Japan.

 


 

Publications:

International Conference/Journal Papers:

  • Satoshi Masuda, Futoshi Iwama, Nobuhiro Hosokawa, Tohru Matsuodani, Kazuhiko Tsuda: "Semantic analysis technique of logics retrieval for software testing from specification documents"ICST Workshops 2015: 1-6.
  • Futoshi Iwama, Taiga Nakamura, Hironori Takeuchi: "Constructing parser for industrial software specifications containing formal and natural language description".  ICSE 2012: 1012-1021.
  • Taiga Nakamura, Hironori Takeuchi, Futoshi Iwama, Ken Mizuno: "Enabling Analysis and Measurement of Conventional Software Development Documents Using Project-Specific Formalism". IWSM/Mensura 2011: 48-54.
  • Futoshi Iwama, Naoki Kobayashi: "A New Type System for JVM Lock Primitives". New Generation Comput. 26(2): 125-170 (2008).
  • Futoshi Iwama, Atsushi Igarashi, Naoki Kobayashi: "Resource usage analyis for a functional language with exceptions". PEPM 2006: 38-47.
  • Futoshi Iwama, Naoki Kobayashi: "A new type system for JVM lock primitives". ASIA-PEPM 2002: 71-82.

 

Domestic Conference/Journal Papers in Japanese:

Almost all my domestic conference/journal papers are written in Japanese. The followings are selected ones containing English abstract for your information (More Information in Japanese ).

  • Futoshi Iwama, Takaaki Tateishi: "COBOL Symbolic Execution for Test Data Generation based on Bit-vector logic" in Japanese. Computer Software Vol.32 (2015) No.2 pp.114-127.
  • Hironori Takeuchi, Taiga Nakamura, Ken Mizuno, Futoshi Iwama, Mayumi Kamata: "Document Artifact analysis in Software Development" in Japanese. Computer Software Vol.30 (2013) No.1 pp.53-64.
  • Futoshi Iwama, Taiga Nakamura, Hironori Takeuchi: "Parser Combinators for Parsing Semi-Structured Texts" in Japanese. Computer Software Vol.29 (2012) No.4 PP.258-277.

 

Technical Conference Papers:

  • Satoko Yoshida, Takaaki Tateishi, Futoshi Iwama: "Accelerating COBOL Application Testing Using Automated Test Input Data Generation Technology".  IBM Quality Software Engineering Symposium 2013 (QSE2013). 

 

Translation: 

  • A member of English to Japanese translation team for the book "Handbook of Service Science". 
    • Japanese translation of "Handbook of Service Science". Tokyo Denki University Press, 2014.