[ English / Japanese ]

crest Tetsuo Yokoyama

Ph.D.
Department of Software Engineering
Faculty of Information Sciences and Engineering
Nanzan University

Selected Publications

  1. Tetsuo Yokoyama, Holger Bock Axelsen, Robert Glück. Optimizing Reversible Simulation of Injective Functions, Journal of Multiple-Valued Logic and Soft Computing (MVLSC), 2012.
    • Tetsuo Yokoyama, Holger Bock Axelsen, Robert Glück. Optimization of Input-Erasing Clean Reversible Simulation for Injective Functions, Preliminary Proceedings of the Workshop on Reversible Computation, 2010.
  2. Tetsuo Yokoyama. Reversible Computation and Reversible Programming Languages, Irek Ulidowski (Ed.), Electronic Notes in Theoretical Computer Science, Elsevier, 253(6): 71-81, 2010.
  3. Takashi Majima, Tetsuo Yokoyama, Gang Zeng, Takeshi Kamiyama, Hiroyuki Tomiyama, Hiroaki Takada. Modeling Power Consumption of Applications in Wireless Communication Devices Using OS Level Profiles, Proceedings of International SoC Design Conference, pp.253-256, 2009.
  4. Gang Zeng, Tetsuo Yokoyama, Hiroyuki Tomiyama, and Hiroaki Takada. Practical Energy-Aware Scheduling for Real-Time Multiprocessor Systems, Proceedings of the 15th International Conference on Embedded and Real-Time Computing Systems and Applications, pp.383-392, 2009.
  5. Tetsuo Yokoyama, Gang Zeng, Hiroyuki Tomiyama, Hiroaki Takada. Heuristics for Static Voltage Scheduling Algorithms on Battery-Powered DVS Systems, In Proceedings of the 6th International Conference on Embedded Software and Systems (ICESS), pp. 265-272, HangZhou, Zhejiang, China, May 25 - May 27, 2009. DOI:10.1109/ICESS.2009.19. Available from IEEE Computer Society.
  6. Tomoo Yokoyama, Tetsuo Yokoyama. Functoriality in Reversible Circuits (work in progress), In Preliminary Proceedings of Reversible Computation (RC), pp. 68-72, York, UK, March 22, 2009.
    This is ongoing work presented in workshop.
  7. Tetsuo Yokoyama, Gang Zeng, Hiroyuki Tomiyama, Hiroaki Takada. Analyzing and Optimizing Energy Efficiency of Algorithms on DVS Systems: A First Step towards Algorithmic Energy Minimization, In Proceedings of the 14th Asia and South Pacific Design Automation Conference (ASP-DAC), pp. 727-732 (8A-3), Pacifico Yokohama, Yokohama, Japan, January 19-22, 2009. IEEE Catalog Number: CFP09ASP-PRT (CD-ROM Version: CFP09ASP-CDR) ISBN:978-1-4244-2748-2 (CD-ROM Version:978-1-4244-2749-9) Available from ACM Portal and IEEE Xplore.
  8. Gang Zeng, Tetsuo Yokoyama, Hiroyuki Tomiyama, Hiroaki Takada. A Generalized Framework for Energy Savings in Real-Time Multiprocessor Systems, In Proceedings of the International SoC Design Conference (ISOCC), pp.44-49, Busan, Korea, November 2008. Available from IEEE Xplore. LG Electronics Co., Ltd. Best Paper Award.
  9. Tetsuo Yokoyama, Holger Bock Axelsen, Robert Glück. Reversible Flowchart Languages and the Structured Reversible Program Theorem, In Proceedings of the 35th International Colloquium on Automata, Languages and Programming (ICALP), Reykjavík, Iceland, Lecture Notes in Computer Science, Vol. 5126, pp. 258-270, Springer-Verlag, July 2008. DOI:10.1007/978-3-540-70583-3_22. ISBN:978-3-540-70582-6. Available from SpringerLink.
    The structured reversible prgram theorem: Any reversible program can be constructed by three reversible control flow operators.
    • An abstract of this paper presented at the informal workshop:
      Tetsuo Yokoyama, Robert Glück. Reversible Structured Program Theorem. Luca Aceto and Anna Ingolfsdottir (Ed.) Proceedings for the 18th Nordic Workshop on Programming Theory (NWPT), pp. 93-95, Reykjavík University, Reykjavík, Iceland, October 18-20, 2006.
      Although this abstract is out-of-date, PDF is freely available online.
  10. Tetsuo Yokoyama, Holger Bock Axelsen, Robert Glück. Principles of a Reversible Programming Language, In Proceedings of the ACM International Conference on Computing Frontiers (CF), pp. 43-54, Ischia, Italy, May 5-7, 2008. DOI:10.1145/1366230.1366239. Available from ACM Portal.
    What is a reversible programming language? The answer.
  11. Holger Bock Axelsen, Robert Glück, Tetsuo Yokoyama. Reversible Machine Code and Its Abstract Processor Architecture. In V. Diekert, M. V. Volkov, A. Voronkov (eds.), Computer Science - Theory and Applications, Lecture Notes in Computer Science, Vol. 4649, pp. 56-69. Springer-Verlag, 2007. DOI:10.1007/978-3-540-74510-5_9. ISBN:978-3-540-74509-9. Available from SpringerLink
    Our first step towards architecture level reversibility.
  12. Tetsuo Yokoyama, Robert Glück. A Reversible Programming Language and its Invertible Self-Interpreter, In Proceedings of the ACM SIGPLAN 2007 Workshop on Partial Evaluation and Program Manipulation (PEPM), pp. 144-153, Nice, France, January 15-16, 2007. DOI:10.1145/1244381.1244404. ISBN: 978-1-59593-620-2 Available from ACM Portal.
    The first reversible language Janus is formalized. The self-interpreter was presented in a lecture (PIRC).
  13. Zhenjiang Hu, Tetsuo Yokoyama, and Masato Takeichi. Program Optimizations and Transformations in Calculation Form, Generative and Transformational Techniques in Software Engineering, Lecture Notes in Computer Science, Vol. 4143, pp. 144-168, Springer, 2006. DOI:10.1007/11877028_5. ISSN:0302-9743 (Print) 1611-3349 (Online). Available from SpringerLink.
    • Technical report version:
      Zhenjiang Hu, Tetsuo Yokoyama, and Masato Takeichi. Program Optimizations and Transformations in Calculation Form, Ralf Lämmel, João Saraiva and Joost Visser (Eds.) Summer School on Generative and Transformational Techniques in Software Engineering, Technical Report TR-CCTC/DI-35, Centro de Ciências e Tecnologias de Computaçã, Departamento Informática, Universidade do Minho, Braga, Portugal, pp. 41-66, July 4-8, 2005.
  14. Tetsuo Yokoyama, Zhenjiang Hu, and Masato Takeichi. Calculation Rules for Warming-up in Fusion Transformation. In Proceedings of the Sixth Symposium on Trends in Functional Programming, pp. 399-412, Tallinn, Estonia, September 23-24, 2005.
  15. Tetsuo Yokoyama, Zhenjiang Hu, and Masato Takeichi. Deterministic Second-order Patterns. Information Processing Letters, Elsevier, 89(6):309-314, March 2004. DOI:10.1016/j.ipl.2003.12.008. Available from ScienceDirect
  16. Tetsuo Yokoyama, Zhenjiang Hu, and Masato Takeichi. Deterministic Higher-order Patterns for Program Transformation. In Proceedings of the 13th International Symposium on Logic Based Program Synthesis and Transformation, revised selected papers, Lecture Notes in Computer Science, Vol. 3018, Springer, pp. 128-142, 2004. DOI:10.1007/b98080. ISSN:0302-9743 (Print) 1611-3349 (Online). ISBN:3-540-22174-3. Available from SpringerLink.
    • Conference version:
      Tetsuo Yokoyama, Zhenjiang Hu, and Masato Takeichi. Deterministic Second-order Patterns in Program Transformation. Maurice Bruynooghe (Ed.), In Preproceedings of the International Symposium on Logic Based Program Synthesis and Transformation (LOPSTR), pp. 165-178, Uppsala, Sweden, August 2003. Technical Report CW 365 at Dept. of Computer Science, K.U.Leuven, Leuven, Belgium. August 25-27, 2003, Uppsala, Sweden.
  17. Tetsuo Yokoyama, Zhenjiang Hu, and Masato Takeichi. Yicho: A System for Programming Program Calculations. Proceedings of The Third Asian Workshop on Programming Languages and Systems, pp. 366-382, Shanghai Jiao Tong University, Shanghai, China, November 29-December 1, 2002.

Invited Talk

  1. Tetsuo Yokoyama. Reversible computation and reversible programming languages, In Preliminary Proceedings of Reversible Computation (RC), p.17, York, UK, March 22, 2009.
  2. Tetsuo Yokoyama. Introduction to Constructive Algorithmics, In Proceedings of Joint Workshop on Embedded Software Development (JWSD), Seoul, Korea, October 9, 2007.

Domestic Journals

  1. Tetsuo Yokoyama, Gang Zeng, Hiroyuki Tomiyama, Hiroaki Takada. Static Task Scheduling Algorithms Based on Greedy Heuristics for Battery-Powered DVS Systems, IEICE Transactions on Information and Systems, Vol. E93-D, No. 10, The Institute of Electronics, Information and Communication Engineers, pp. 2737-2746, October 2010.
  2. 横山 哲郎, 今井 敬吾, 曾 剛, 冨山 宏之, 高田 広章, 結縁 祥治. 動的電圧制御システムにおける評価戦略選択に基づく高効率消費エネルギー関数型プログラミング, 情報処理学会論文誌：プログラミング, Vol. 2, No. SIG 2 (PRO 41), pp. 54-69, 2009年3月. Available from 情報処理学会電子図書館.
  3. 横山哲郎, 胡振江, 武市正人：決定論的2階パターンとプログラム変換への応用, コンピュータソフトウェア, Vol. 21, No. 5, pp. 71-76, 2004. Available from CiNii
  4. 横山 哲郎, 篠埜 功, 胡 振江, 武市 正人: 変換戦略の記述に基づくプログラムの自動生成システムの実装, 情報処理学会論文誌：プログラミング, Vol. 43, No. SIG 3 (PRO 14), pp. 62-77, 2002年3月. ISSN:03875806.
    Available from CiNii.
    • Conference version:
      横山 哲郎, 篠埜 功, 胡 振江, 武市 正人: 最大マーク付け問題の効率的プログラムの自動生成, 情報処理学会第36回プログラミング研究会, 高知工科大学, 2001年10月23日.

Domestic Conferences

  1. 間嶋 崇, 横山 哲郎, 曾 剛, 神山 剛, 冨山 宏之, 高田 広章: AndroidプラットフォームにおけるDalvikバイトコードのCPU 負荷量の解析, 組込み技術とネットワークに関するワークショップ (ETNET2010), pp.1-8, 2010.
  2. Gang Zeng, Shinpei Kato, Tetsuo Yokoyama, Hiroyuki Tomiyama, and Hiroaki Takada, Task Migration for Energy Savings in Multiprocessor Real-Time Systems, IEICE Tech. Rep., 109(34):1-6, 2009.
  3. 間嶋 崇，横山哲郎，曾 剛，神山 剛，冨山 宏之，高田 広章：OSレベルのプロファイリング情報を用いた携帯端末アプリケーションの消費電力モデリング， 第140回 システムLSI設計技術研究発表会（IPSJ-SLDM）， 北九州国際会議場， 2009年5月．
  4. 立松知紘, 横山哲郎, 菊地武彦, 冨山宏之, 高田広章: 組込みシステムのタスク内DVFSのための実行トレースマイニング, VLSI設計技術研究会 (VLD), 沖縄県男女共同参画センター「てぃるる」, 2009年3月.
  5. 横山 哲郎, 曾 剛, 冨山 宏之, 高田 広章: DVSシステムにおけるアルゴリズムレベルのエネルギー消費の解析と最適化, 組込みシステムシンポジウム (ESS), pp.31-40, 国立オリンピック記念青少年総合センター, 2008年10月. ISSN:1344-0640
  6. Gang Zeng, Tetsuo Yokoyama, Hiroyuki Tomiyama, Hiroaki Takada. Practical Energy-Aware Rate Monotonic Task Scheduling for DVS-Enabled Multiprocessor, In Proceedings of Embedded Systems Symposium (ESS), pp.23-30, National Olympics Memorial Youth Center, Japan, October 2008. ISSN:1344-0640
  7. 横山 哲郎, Holger Bock Axelsen, Robert Glück. 単射関数のクリーン可逆シミュレーション(Working Paper). 日本ソフトウェア科学会第25回大会, 4C-1 pp.1-9, 2008年9月.
  8. Tetsuo Yokoyama, Zhenjiang Hu, and Masato Takeichi. A Combinator Library for Specifying Program Transformation. In The 21st Japan Society for Software Science and Technology workshop, pp.2B-1, Tokyo Institute of Technology, November 2004.
  9. Tetsuo Yokoyama, Zhenjiang Hu and Masato Takeichi. Design and Implementation of Deterministic Higher-order Matching. Tetsuo Tamai (Ed.) Workshop on New Approaches to Software Construction, pp. 49-71, Tokyo, Japan, September 19-20, 2005.
  10. Tetsuo Yokoyama, Zhenjiang Hu, and Masato Takeichi. Warm Fusion in Yicho. In Proceedings of The 7th JSSST Workshop on Programming and Programming Languages, pp. 102-121, March 9-11, 2005.
  11. Tetsuo Yokoyama, Zhenjiang Hu, and Masato Takeichi. Regular Properties in Maximum Marking Problems. The Second Workshop on Programmable Structured Documents, pp. 67-76, Hakone, Japan, February 20-22, 2004.
  12. Tetsuo Yokoyama, Zhenjiang Hu, and Masato Takeichi. Yicho: A System for Programming Program Calculations, Mathematical Engineering Technical Reports (METR 2002-07), Graduate School of Information Science and Technology, The University of Tokyo, June 2002.

Links

Awards and Grants

Academic Activities

Contact Information

Postal address: 27 Seirei-cho, Seto city, Aichi 489-0863, Japan (Access)
TEL: +81-561-89-2215