Tatsuya Abe, Ph.D.

Contact Information

Name in Japanese:
name
Office:
I moved to AICS, RIKEN, 650-0047, Japan.
E-mail:
email
Professional Memberships
ACM Professional Member and IPSJ Member
Recent Photo (at SC12 in Salt Lake City):
picture

Referred Papers

  1. Tatsuya Abe and Toshiyuki Maeda. A general model checking framework for various memory consistency models. To appear.
  2. Tatsuya Abe and Toshiyuki Maeda. Model checking with user-definable memory consistency models. In Proceedings (Hot Papers Section) of the 7th Conference on Partitioned Global Address Space Programming Models, pages 225--230. Edinburgh, October 2013.
  3. Tatsuya Abe, Toshiyuki Maeda, and Mitsuhisa Sato. Model checking stencil computations written in a partitioned global address space language. In Proceedings of the 18th Workshop on High-Level Parallel Programming Models and Supportive Environments, pages 365--374. Cambridge, May 2013.
  4. Tasuku Hiraishi, Masaru Ueno, Tatsuya Abe, Motoharu Hibino, Takeshi Iwashita, and Hiroshi Nakashima. Xcrypt on Lisp: a scripting system for job level parallel programming in Lisp. In Proceedings of International Lisp Conference, pages 107--114. Kyoto, October 2012.
  5. Tatsuya Abe, Toshiyuki Maeda, and Mitsuhisa Sato. Model checking with user-definable abstraction for partitioned global address space languages. In Proceedings of the 6th Conference on Partitioned Global Address Space Programming Models, online 10 pages. Santa Barbara, October 2012.
  6. Tatsuya Abe and Mitsuhisa Sato. On-the-fly synchronization checking for interactive programming in XcalableMP. In Proceedings of the 5th International Workshop on Parallel Programming Models and Systems Software for High-End Computing, pages 29--37. Pittsburgh, September 2012.
  7. Tatsuya Abe and Mitsuhisa Sato. Auto-tuning of numerical programs by block multi-color ordering code generation and job-level parallel execution. In Proceedings of the 7th International Workshop on Automatic Performance Tuning, volume 7851 of Lecture Notes in Computer Science, pages 404--419. Springer, Kobe, July 2012.
  8. Tasuku Hiraishi, Tatsuya Abe, Takeshi Iwashita, and Hiroshi Nakashima. Xcrypt: a Perl extension for job level parallel programming. In Proceedings of the 2nd International Workshop on High-performance Infrastructure for Scalable Tools, online 9 pages. Venice, June 2012.
  9. Tasuku Hiraishi, Tatsuya Abe, Yohei Miyake, Takeshi Iwashita, and Hiroshi Nakashima. Xcrypt: flexible and intuitive job-parallel script language (in Japanese). In Proceedings of the 8th Symposium on Advanced Computing Systems and Infrastructures, pages 183--191. Nara, May 2010.
  10. Tatsuya Abe, Takashi Higuchi, Rintaro Imai, Yoshiki Kinoshita, Satoshi Nakano, Keishi Okamoto, Masaya Saito, and Makoto Takeyama. Formalization of system LSI specification and automatic generation of verification items. In Supplementary Proceedings of the 20th IFIP International Conference on Testing of Communicating Systems and the 8th International Workshop on Formal Approaches to Testing of Software, pages 75--76. Tokyo, June 2008.
  11. Tatsuya Abe. Completeness of modal proofs in first-order predicate logic. JSSST Computer Software, 24(4):165--177, 2007.
  12. Tatsuya Abe. A concurrent system of multi-ported processes with causal dependency. In Proceedings of the 2nd Asian Symposium on Programming Languages and Systems, volume 3302 of Lecture Notes in Computer Science, pages 146--162. Springer, Taipei, November 2004.

Preprints

  1. Split of Classical Logic: splits classical logic into intuitionistic and paraconsistent logics.
  2. Kripke and Meta-Logical Completeness via Curry-Howard Isomorphism: provides an alternative proof of Kripke and meta-logical completeness of intuitionistic modal logic using Curry-Howard isomorphism.

Softwares

  1. Calfwoid: an Android interface of diary in Emacs, toward a very simplified Calfw.
  2. Unblock: removes BLOCK constructs and duplicated declarations from a Fortran program.
  3. XMP shaker: generates a huge number of programs from a XcalableMP program by moving directives.
  4. Patch: enables Promela-mode to run on Emacs 24.3.
  5. XMP-mode: Emacs major mode for editing XcalableMP programs.
  6. Xtract: enables us to extract strings by designating columns, ranges, Perl's statements and scripts.
  7. Xcrypt: a job-level parallel scripting language that helps automating Plan-Do-Check-Act (PDCA) cycles.

Grant