Tatsuya Abe, Ph.D.

Contact Information

Name in Japanese:
STAIR Lab, Chiba Institute of Technology, 275-0016, Japan.
The unique normal form of (λX.abeX@sXair.cenXer)t
GnuPG publickey
Professional Memberships:
ACM Professional Member, IPSJ Member, and JSSST Member
abe's photo at SC12
at SC12 (Salt Lake City)
abe's photo at SETTA16
at SETTA16 (Beijing)

Research Interests

Referred Papers

See all papers

Hide old papers

Short Papers


  1. Reducing state explosion for software model checking with relaxed memory consistency models. [arXiv]
  2. Split of classical logic. [pdf]
  3. Kripke and meta-logical completeness via Curry-Howard isomorphism. [pdf]


  1. VeriDAG: a verifier of program graphs for model checking with memory consistency models.
  2. McSPIN: a model checker with memory consistency models.
  3. Calfwoid: an Android interface of diary in Emacs toward Calfw.
  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.

Research Grants

  1. Kyoto University ACCMS Collaborative Research Program for Young Scientists ¥100,000 April 2016--March 2017, Principal Investigator.
  2. JSPS KAKENHI 16K21335 Grant-in-Aid for Young Scientists (B) ¥4,160,000 April 2016--March 2019, Principal Investigator.
  3. JSPS KAKENHI 25871113 Grant-in-Aid for Young Scientists (B) ¥4,290,000 April 2013--March 2017, Principal Investigator.

Travel Grants