Tatsuya Abe, Ph.D.

Contact Information

Name in Japanese:
name
Office:
STAIR Lab, Chiba Institute of Technology, 275-0016, Japan.
E-mail:
The unique normal form of (λz((λy((λx(xbyz@szxir.cynzyr))a))e))t
GnuPG publickey
Professional Memberships:
ACM Professional Member and IPSJ Member
Photos:
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

Preprints

  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]

Softwares

  1. McSPIN: a model checker with memory consistency models.
  2. Calfwoid: an Android interface of diary in Emacs toward Calfw.
  3. Patch: enables Promela-mode to run on Emacs 24.3.
  4. XMP-mode: Emacs major mode for editing XcalableMP programs.
  5. Xtract: enables us to extract strings by designating columns, ranges, Perl's statements and scripts.
  6. 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 Grant

  1. The Telecommunications Advancement Foundation ¥160,000 October 2016.