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

Research Interests

Referred Papers

Referred Papers (short/position/domestic)

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

Grant

  1. JSPS KAKENHI 25871113 Grant-in-Aid for Young Scientists (B) ¥4,290,000 (direct: ¥3,300,000, indirect: ¥990,000) April 2013--March 2016.