Welcome to the homepage of

Soichiro HIDAKA

Last modified: Wed Jul 29 12:45:58 JST 2015

BX'15 paper presented.

Assistant Professor, Information Systems Architecture Research Division, National Institute of Informatics
Assistant Professor, Department of Informatics, School of Multidisciplinary Sciences, The Graduate University for Advanced Studies

Programming Research Laboratory (HHK lab) run jointly by Prof. Hu, me and Assist. Prof. Kato

CV: Summary from Researchmap Researchmap (for recent activities) old official CV (as of July 2008)
DBLP

Events:
BX 2015: Fourth International Workshop on Bidirectional Transformations, L'Aquila, Italy, Friday, July 24, 2015 was succesfully held. Proceedings
BX 2014 was succesfully held. Program Bx Wiki
Banff International Research Station Bi-directional transformations (BX) - Theory and Applications Across Disciplines (13w5115)
NII Shonan Meeting Please submit your proposals!
Dagstuhl seminar : Bidirectional Transformations "bx"
NII Shonan workshop : Engineering Adaptive Software Systems (EASSy) Materials for EASSy book Chapter 5

Bio:

Soichiro Hidaka received his bachelor's degree in engineering and Ph. D in Engineering from The University of Tokyo in 1994 and 1999. He had involved in research projects such as parallel programming language implementation, micro-kernel based operating system and document processing system. He is interested in studies on infrastructure software systems and particularly on database programming languages. Recently he has been conducting research on bidirectional graph transformations that is intended to facilitate bidirectional model transformations. He had visited AtlanMod team in Ecole des Mines de Nantes for 1 month starting from Apr. 21 2010, and attended seminar on Bidirectional Transformations "bx" at Dagstuhl in January 2011, Bi-directional transformations (BX) at Banff International Research Station in December 2013. He is a member of the Bx steering committee.

Selected Publications (in reverse chronological order)

Soichiro Hidaka, Martin Billes, Quang Minh Tran and Kazutaka Matsuda. Trace-based Approach to Editability and Correspondence Analysis for Bidirectional Graph Transformations, Proceedings of the Fourth International Workshop on Bidirectional Transformations (BX 2015) co-located with Software Technologies: Applications and Foundations (STAF'15), L'Aquila, Italy, Friday, July 24, pp.51-65, 2015 [PDF] [Long version]
Soichiro Hidaka, Massimo Tisi, Jordi Cabot, Zhenjiang Hu, Feature-Based Classification of Bidirectional Transformation Approaches, Software and Systems Modeling, Springer Online First version at the publisher
Soichiro Hidaka, Kazuyuki Asada, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano, Structural Recursion for Querying Ordered Graphs, 18th ACM SIGPLAN International Conference on Functional Programming (ICFP 2013), pp. 305--318, Sep 2013. [PDF] [BibTeX]
John Wilson-Kanamori and Soichiro Hidaka, A Bidirectional Collaboration Framework for Bio-Model Development, Second International Workshop on Bidirectional Transformations (BX 2013), Sunday March 17th, 2013, Rome, Italy, colocated with ETAPS 2013 [PDF] [BibTeX]
Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano: GRoundTram: An Integrated Framework for Developing Well-Behaved Bidirectional Model Transformations , research paper of the special issue: Advanced programming techniques for construction of robust, generic and evolutionary programs (guest editors: Zhenjiang Hu, Shin-Cheng Mu and Stephanie Weirich), Progress in Informatics, No. 10, pp. 131-148, 2013 [Author's PDF with hyperlink] [BibTeX]
Yijun Yu, Yu Lin, Zhenjiang Hu, Soichiro Hidaka, Hiroyuki Kato, Lionel Montrieux, blinkit: Maintaining Invariant Traceability through Bidirectional Transformations, Proc. of the 34th International Conference on Software Engineering (ICSE 2012), pp. 540--550, Jun 2012 [IEEE XPlore] [BibTeX]
Hiroyuki Kato, Soichiro Hidaka, Zhenjiang Hu, Keisuke Nakano and Yasunori Ishihara, Context-Preserving XQuery Fusion, Mathematical Structures in Computer Science, Published online: 10 November 2014
Soichiro Hidaka, Kazuyuki Asada, Hiroyuki Kato, Keisuke Nakano, Zhenjiang Hu, Towards Bidirectional Transformations on Ordered Graphs, Technical Report GRACE-TR-2011-07, GRACE Center, National Institute of Informatics, December 2011. [PDF] [BibTeX]
Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano and Isao Sasano. Marker-directed optimization of UnCAL graph transformations, In Proceedings of the 21st International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2011) (also selected as post-conference formal proceedings by Springer LNCS paper), Odense, Denmark, July 18-20, 2011 [PDF] [BibTeX] [revised long version]
The revised long version is published as GRACE Technical Report GRACE-TR-2011-06 (typo corrected PDF) and supercedes GRACE Technical Report GRACE-TR-2011-02.
Keisuke Nakano, Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba and Hiroyuki Kato: View Updatability Checking with Simulation-based Graph Schema (in Japanese), Computer Software - JSSST Journal, Vol. 29, No. 2, pp.174--192, 2012. [BibTeX]
Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato and Keisuke Nakano, GRoundTram: An Integrated Framework for DevelopingWell-Behaved Bidirectional Model Transformations (short paper and poster), Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), pp. 480-483, Nov. 9-11, 2011 [IEEE Xplore] [BibTeX]
Kazuhiro Inaba, Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano, Graph-Transformation Verification using Monadic Second-Order Logic, Proc. of the 13th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP 2011), pp.17-28, Odense, Denmark, July 20-22, 2011. [ACM DL] [BibTeX]
Isao Sasano, Zhenjiang Hu, Soichiro Hidaka, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano. Toward bidirectionalization of ATL with GRoundTram, Proc. of the 4th International Conference on Model Transformation (ICMT 2011), Jun 2011, pp. 138-151 [SpringerLink] [BibTeX]
Hiroyuki Kato, Soichiro Hidaka, Zhenjiang Hu, Keisuke Nakano and Yasunori Ishihara, Context-Preserving XQuery Fusion, Proceedings of the 8th ASIAN Symposium on Programming Languages and Systems (APLAS 2010) 255-270 Nov 2010. [SpringerLink] [BibTeX]
Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano, Kazutaka Matsuda, Bidirectionalizing Graph Transformations, 15th ACM SIGPLAN International Conference on Functional Programming (ICFP 2010), Baltimore, Maryland, USA, September 27-29, 2010 [ACM DL]. [BibTeX]
Long version: GRACE Technical Report GRACE-TR-2010-06 , GRACE Center, National Institute of Informatics, July 2010. [PDF] [BibTeX]
Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano, Bidirectionalizing Structural Recursion on Graphs, Technical Report GRACE-TR-2009-03, GRACE Center, National Institute of Informatics, August 2009. 41 pages. [PDF] [Typo corrected PDF].
Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano, A Compositional Approach to Bidirectional Model Transformation, in proceedings (companion volume) of the 31st International Conference on Software Engineering (ICSE 2009), New Ideas and Emerging Results Track,Vancouver, Canada, May 16-24, 2009, pp.235-238. [IEEE Xplore] [BibTeX] poster
Hiroyuki Kato, Soichiro Hidaka, Zhenjiang Hu, Yasunori Ishihara, Keisuke Nakano: Rewriting XQuery to Avoid Redundant Expressions based on Static Emulation of XML Store, ACM SIGPLAN Workshop on Programming Language Techniques for XML (PLAN-X 2009), Savannah, Georgia, USA, Jan 24, 2009. [BibTeX]
Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano: Towards Compositional Approach to Model Transformation for Software Development, The 24th Annual ACM Symposium on Applied Computing (SAC 2009), Honolulu, Hawaii, USA, March 8-12, 2009 Track on Software Engineering, (Mar., 2009) [BibTeX]
© ACM, (2009). This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version has been published in Proc. of SAC2009, pp.468-475.
Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato and Keisuke Nakano: Towards Compostional Approach to Model Transformation for Software Development, JSSST 2008, Tsukuba University, September 10-12, 2008
Soichiro Hidaka, Hiroyuki Kato, Masatoshi Yoshikawa: A Relative Cost Model of XQuery for Optimization Based on Rewriting(in Japanese) IEICE Transactions on Information and Systems (Japanese Edition), Vol.J91-D No.4 pp.873-888, April 2008 [PDF] [BibTeX]
Long version: Technical Report, National Institute of Informatics, Tokyo, Japan, NII-2008-003J, February 2008. [PDF] [BibTeX]
Hidaka, S., Kato, H., Yoshikawa, M.: A More Optimizer-friendly Treatment of XQuery Store in the Presence of Side-Effects, Proc. of the International Symposium on Information Technology Convergence (ISITC 2007), IEEE Computer Society Press, pp.32-36, Jeonju, Republic of Korea, November 23-24, 2007. [IEEE CS DL] [BibTeX]
Hidaka, S., Kato, H., Yoshikawa, M.: A Relative Cost Model for XQuery, The 22nd Annual ACM Symposium on Applied Computing (SAC 2007) Track on Programming Languages, Poster, pp.1332-1333 (Mar.,2007) [ACM DL] [BibTeX]
© ACM, (2007). This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in Proc. of SAC2007.
Hidaka, S., Kato, H., Yoshikawa, M.: An XQuery Cost Model in Relative Form , Technical report, National Institute of Informatics, NII-2005-016E (Nov., 2005) [PDF] [BibTeX]
Katsumi Maruyama, Ryota Ozaki, Soichiro Hidaka, Kazuya Kodama and Yusheng JI:
"A component oriented OS for network service systems"
Proceedings of the 5th Asia-Pacific Symposium on Information and Telecommunication Technologies,Noumea, New Caledonia, pp. 551-556. (Nov. 2003) [BibTeX]
Soichiro Hidaka and Hiroyuki Kato:
"Redundant Communication Elimination Optimization in XQuery for Multimedia Contents Management Using Metadata in Distributed Digital Library Environments"
Workshop on Multimedia Contents in Digital Libraries, Chania, Crete, Greece(Jun. 2003) (PDF)
Soichiro Hidaka, Kazuya Kodama, Katsumi Maruyama, Hiromichi Hashizume: Multiserver OS for control systems: Its structure and intertask messaging efficiency, Electronics and Communications in Japan, Part 1: Communications, Vol.87, Issue.5 ,pp.20-28, May.,2004 [BibTeX]
is an English translation from:
Soichiro Hidaka, Kazuya Kodama, Katsumi Maruyama, and Hiromichi Hashizume: "Multi-server OS for control systems: its structure and inter-task messaging efficiency" The IEICE Transactions on Communications(Japanese Edition), Vol. J86-B, No.3, pp.376-384(Mar. 2003)(English abstract) [BibTeX]
Soichiro Hidaka:
"Large Scale Telecommunication Simulation in Hybrid Parallel Environment"
Proceedings of the 2002 IEICE Communications Society Conference, Miyazaki, Japan, September 10-13,p480, 2002 (in Japanese)(Japanese Abstract)
Katsumi Maruyama, Kazuya Kodama, Soichiro Hidaka, Hiromichi Hashizume: "Extensible Distributed Operating System for Reliable Control Systems" Proceedings of the Tenth ACM SIGOPS European Workshop (EW2002), Saint-Emilion, France, September 22-25, pp.194--197. [ACM DL] [BibTeX]
Soichiro Hidaka, Kazuya Kodama, Yusheng Ji, and Katsumi Maruyama:
"A File Server Optimization Using Scatter/Gather IPC on L4 Based Multi-Server Operating System"
Proceedings of the 6th World Multiconference on Systemics, Cybernetics and Informatics (SCI2002), Orlando, Florida, July 14-18, Vol.I, pp.184--189(2002)
Soichiro Hidaka, Yoshiyasu Takahashi, Toru Kimura, Hiroyuki Kato and Terumasa Aoki:
A Study on Digital Watermark Suited to CG/Animation Images
(in Japanese) National Convention of IPSJ, 6G-06 (Vol. 3), Sep, 2001, pp.557--558 (English abstract)
Soichiro Hidaka, Kazuya Kodama and Katsumi Maruyama:
"A study on multi-server distributed OS for real-time systems"
(in Japanese) IPSJ SIG Notes (OS), June, 2001, pp.41--48 (Abstract)
Soichiro HIDAKA, Hiroyuki KATO, Keizo OYAMA:
"Querying Structured Documents based on Human Visual Memory"
In Proceedings of the ISCA 2nd International Conference On Information Reuse And Integration (IRI-2000), Honolulu, Hawaii, USA, November 1-3, 2000, pp.91-94. [BibTeX]
Soichiro HIDAKA, Hiroyuki KATO, Keizo OYAMA:
(Poster) Querying Structured Documents based on Human Visual Memory
Proc. of the First International Symposium on Advanced Informatics, Tokyko, March 2000 pp.127-132.
Soichiro HIDAKA, Hiroyuki KATO, Keizo OYAMA:
A Study on Index Structure for Querying Already-Read Documents based on Visual Memory of Word Occurrences(in Japanese)
IPSJ SIG Notes (DBS) Vol.2000 No. 10, pp.17-20 (January 2000)(presented at DBS120) [BibTeX]
Soichiro HIDAKA, Hiroyuki KATO, Shin'ichi SATO, Noriko KANDO and Keizo OYAMA: Online Publication Systems(in Japanese)IPSJ SIG Notes (FI),No.056(1999); Also appears in Proceedings of the 16th Workshop on Digital Libraries, November 1999, pp.115-120 [BibTeX]
Soichiro Hidaka, Hiroyuki Kato, and Keizo Oyama: Querying Structured Documents based on Human Visual Memory In Proceedings of the International Symposium on Database Applications in Non-Traditional Environments, Kyoto, November 1999, pp.226-229. [IEEE CS DL] [BibTeX]
Tadao Saito, Hitoshi Aida, Terumasa Aoki, Soichiro Hidaka, Tredej Toranawigtrai, Akinori Hashimoto: A distributed access control method for wireless LANs in shadowing environments, Electronics and Communications in Japan (Part I: Communications),Vol.84, Issue.9, pp.16-26, Sep., 2001 [Wiley Online Library] [BibTeX]
is an English translation from:
T.Saito, H.Aida, T.Aoki, S.Hidaka, T.Tranawigtrai, and A.Hashimoto: A distributed Access Control Method for Wireless LANs in Shadowing Environments, Transactions of the IEICE, Vol. J83-B, No.2, pp.175-183, 2000. (in Japanese) [BibTeX]
Soichiro Hidaka, Terumasa Aoki, Hitoshi Aida, Tadao Saito: Implementation and performance evaluation of a FIFO queue class library for time warp, Systems and Computers in Japan, Vol.33, Issue.9,pp.90-98, Aug.,2002. [Wiley Online Library] [BibTeX]
is an English translation from:
S.Hidaka, T.Aoki, H.Aida and T.Saito: Implementation and Performance Evaluation of A FIFO Queue Class Library for Time Warp, Transactions of the IEICE, D-I, Vol. J83-D-I, No.2, pp.264--272, 2000. (in Japanese) [BibTeX]

Recent Presentations

Soichiro Hidaka, Martin Billes, Quang Minh Tran and Kazutaka Matsuda. Trace-based Approach to Editability and Correspondence Analysis for Bidirectional Graph Transformations, Proceedings of the Fourth International Workshop on Bidirectional Transformations (BX 2015) co-located with Software Technologies: Applications and Foundations (STAF'15), L'Aquila, Italy, Friday, July 24, pp.51-65, 2015 [PDF] [Long version]
Soichiro Hidaka (joint work with Fei Yang), Bidirectional Transformation on Ordered Graphs, Spring Festival Workshop on Programming Languages, Tokyo, Japan, Friday 20 February 2015
Soichiro Hidaka (Joint work with Martin Billes and Quang Minh Tran), Towards Trace-based Approach to Increasing the Comprehensibility and Predictability of Bidirectional Graph Transformations 4th Asian Workshop of Advanced Software Engineering (AWASE 2014), Beijing, China, Oct. 11, 2014
Soichiro Hidaka, Compositional development framework for bidirectional model transformations based on structural recursion on graphs, Position Statement, Bi-directional transformations (BX) - Theory and Applications Across Disciplines (13w5115), Banff International Research Station, Canada, Dec. 4, 2013 [Slides (PDF)] [Video]
Soichiro Hidaka, Bidirectional Graph Transformation Infrastructure and its Applications, NII Shonan Meeting Engineering Adaptive Software Systems (EASSy), Sep 10, 2013.
Soichiro Hidaka: Towards an interoperable bidirectional graph transformation system, 3rd Asian Workshop on Advanced Software Engineering (AWASE 2013) Singapore, 20 July, 2013
Soichiro Hidaka, Interoperable traceability in bidirectional graph transformations, Atlanmod-BiG Joint workshop on Bidirectionality in Model Transformations, Paris, France, September 15, 2012
Soichiro Hidaka,Interfacing bidirectional graph transformation system GRoundTram, NII-Lero-Open University Workshop - Adaptation, Privacy and Security, Milton Keynes, UK, 2-3 July 2012
Soichiro Hidaka, Bidirectional Model Transformation based on Structural Recursion on Graphs, Seminar in Informatics dep. Ecole des Mines de Nantes, March 2012
Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato and Keisuke Nakano, GRoundTram: An Integrated Framework for DevelopingWell-Behaved Bidirectional Model Transformations (short paper and poster), Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), pp. 480-483, Nov. 9-11, 2011
Soichiro Hidaka, GRoundTram as an Integrated Framework and Developing Environments for Bidirectional Model Transformations, 2nd NII-PKU International Joint Workshop on Advanced Software Engineering, Hakone-machi, Japan, October 21-23, 2011
Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano and Isao Sasano. Marker-directed optimization of UnCAL graph transformations, 21st International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2011),Odense, Denmark, July 18-20, 2011
Soichiro Hidaka, Static and Dynamic Optimizations in a Graph Roundtrip Transformation System GRoundTram, 5th International Workshop on Bidirectional Transformation in Architecture-Based Component Composition (BT in ABC 5), Xi'an Jiaotong University, Xi'an, China, 17-19 May 2011
Soichiro Hidaka, Marker-directed optimization of UnCAL graph algebra revisited: Optimizing bidirectional graph transformations, The Fourth DIKU-IST Joint Workshop on Foundations of Software, 10 -- 14 January, 2011, Japan (also submitted for publication)
Slides available in Proceedings of the 4th DIKU-IST Joint Workshop on Foundations of Software, pp.172-182.
[Poster] Towards State-based Interface to a Graph Roundtrip Transformation System GRoundTram, Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato (National Institute of Informatics), Kazutaka Matsuda (Tohoku University), Keisuke Nakano (The University of Electro-Communications)
Eighth Asian Symposium on Programming Languages and Systems (APLAS 2010) , Shanghai, China, November 28 – December 1 (2010)
Soichiro Hidaka, Providing State-based Interface to a Graph Roundtrip Transformation System GRoundTram, 1st PKU-NII Joint Workshop on Advanced Software Engineering (PKU-NII 2010, Peking, China, October 9-10, 2010)
Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano, Kazutaka Matsuda, Bidirectionalizing Graph Transformations, 15th ACM SIGPLAN International Conference on Functional Programming (ICFP 2010), Baltimore, Maryland, USA, September 27-29, 2010. [Full version] [Video]
© ACM, (2010). This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version has been published in Proc. of ICFP2010.
[Poster] "GRoundTram: A Bidirectional Graph Transformation System based on Structural Recursion", Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato (National Institute of Informatics), Kazutaka Matsuda (University of Tokyo/JSPS Research Fellow),Keisuke Nakano (The University of Electro-Communications)
The Seventh Asian Symposium on Programming Languages and Systems (APLAS 2009) , Seoul National University, Seoul, Korea, 14-16 December 2009
Design and implementation of the bidirectional interpretation engine in a graph roundtrip transformation system GRoundTram, 3rd International Workshop on Bidirectional Transformation in Architecture-Based Component Composition (Bi-Trans in ABC), National University of Defense Technology, Changsha, China, 14-18 November 2009
"Bidirectional graph transformation based on structural recursion",
The 26th GRACE Seminar on Advanced Software Science and Engineering,
- Time: 13:00-15:00 (I will be allocated a 40min slot), Oct. 23rd, 2009
- Place: Lecture Room 1 (2005), 20F, National Institute of Informatics
"Bidirectionalizing Structural Recursion on Graphs",
Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato (National Institute of Informatics), Kazutaka Matsuda (University of Tokyo/JSPS Research Fellow),Keisuke Nakano (The University of Electro-Communications)
JSSST 2009, Shimane University, September 16-18, 2009
On bidirectional graph transformation in Osaka University (June 16)
Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano: Bidirectionalizing Structural Recursive Transformation on Graphs (short presentation of ongoing work), Sixth Asian Workshop on Foundations of Software(AWFS 2009), April 6-8, 2009
Soichiro Hidaka: Bidirectional Interpretation of UnCAL Graph Algebra 2nd International Workshop on Bidirectional Transformations in Architechture-based Component Composition, Shonan Village Center, January 5-7, 2009.
Soichiro Hidaka: Bidirectional Graph Transformation using UnCAL PDF, GRACE International Meeting on Bidirectional Transformations,Shonan Village Center, December 15-18, 2008

Lectures

Database Programming Languages

2nd semester, 2014 Lecture Room 1 (Room No.: 1212) 12F, Friday, 13:00-14:30

Introduction to Software Science II (for the year 2014)

2nd semester, 2014 Lecture Room 1 (Room No.: 1212), 12F, Tuesday, 16:30-18:00
Part of relayed lecctures in Japanese.

Internship

Call for internship from institutions having MOU with NII.

Research Interests

Program transformation

Linguistic Foundation for Bidirectional Model Transformation
Mirror site at http://research.nii.ac.jp/big/www/ is no longer available due to server configuration changes. Please use the primary serverhttp://www.biglab.org/instead. Please update the links to the old server accordingly. Sorry for the inconvenience.
Demo movie
XML Query Optimization

Parallel and Distributed systems: