Akihisa Yamada

currently working for FWF project "Certifying Termination and Complexity Proofs of Programs".

Research Interests

Affiliation

Apr. 2015current Postdoc at Computational Logic Group, University of Innsbruck, Austria.
May. 2014Mar. 2016 Technical staff / post-doc / visiting researcher at National Institute of Advanced Industiral Science (AIST), Japan.
Apr. 2011Sept. 2014 Ph.D. student at Sakabe-Sakai lab., Nagoya University, Japan.
Apr. 2008Mar. 2011 Engineer at Panasonic Advanced Technology Development Co, Ltd.
Apr. 2006Mar. 2008 Master student at Sakabe-Sakai lab.
Apr. 2002Mar. 2006 Bachelor student at Nagoya University.

Tools

I am the developer of and a contributor of

Publications

See also my DBLP entry.

Journal Article

  1. José Iborra, Naoki Nishida, Germán Vidal, Akihisa Yamada:
    Relative termination via dependency pairs. JAR, 58(3):391–411, Springer, 2017. Invited, special issue for CADE 2015.
  2. Akihisa Yamada, Sarah Winkler, Nao Hirokawa, Aart Middeldorp:
    AC-KBO revisited. TPLP, 16(2):163–188, Cambridge University Press, 2016. Invited, special issue for FLOPS 2014. Also available as CoRR abs/1403.0406. (errata)
  3. Akihisa Yamada, Keiichirou Kusakari, Toshiki Sakabe:
    A unified ordering for termination proving. SCP, 111:110–134, Elsevier, 2015. Invited, special issue for PPDP 2013. Manuscript is available as CoRR abs/1404.6245.
  4. Akihisa Yamada, Keiichirou Kusakari, Toshiki Sakabe, Masahiko Sakai, Naoki Nishida:
    A sound type system for typing runtime errors. IPSJ Transactions on Programming, 5(2):16–24, 2012. Awarded IPSJ Tokai-branch student paper prize for encouragement.

Conference Papers

  1. Takashi Kitamura, Akihisa Yamada, Goro Hatayama, Shinya Sakuragi, Eun-He Choi, Cyrille Artho:
    Classification Tree Method with Parameter Shielding. SAFECOMP 2017. LNCS 10488, 230–241, 2017.
  2. Marc Brockschmidt, Sebastiaan J.C. Joosten, René Thiemann, Akihisa Yamada:
    Certifying safety and termination proofs for integer transition systems. CADE-26. LNCS 10395, pp. 451–471, 2017.
  3. Jose Divasón, Sebastiaan J.C. Joosten, René Thiemann, Akihisa Yamada:
    A formalization of the Berlekamp–Zassenhaus factorization algorithm. CPP 2017. pp. 17–29, 2017.
  4. Eun-He Choi, Cyrille Artho, Takashi Kitamura, Osamu Mizuno, Akihisa Yamada:
    Distance-integrated combinatorial testing. ISSRE 2016. pp. 93–104, 2016.
  5. Akihisa Yamada, Armin Biere, Cyrille Artho, Takashi Kitamura, Eun-He Choi:
    Greedy combinatorial test case generation using unsatisfiable cores. ASE 2016. pp. 614–624, 2016.
  6. Akihisa Yamada, Christian Sternagel, René Thiemann, Keiichirou Kusakari:
    AC dependency pairs revisited. CSL 2016. LIPIcs 62, pp. 8:1–8:16, 2016.
  7. René Thiemann, Akihisa Yamada:
    Algebraic numbers in Isabelle/HOL. ITP 2016. LNCS 9807, pp. 391–408, 2016.
  8. René Thiemann, Akihisa Yamada:
    Formalizing Jordan normal forms in Isabelle/HOL. CPP 2016, pp. 88–99.
  9. Takashi Kitamura, Akihisa Yamada, Goro Hatayama, Cyrille Artho, Eun-He Choi, Ngoc Thi Bich Do, Yutaka Oiwa, Shinya Sakuragi:
    Combinatorial testing for tree-structured test models with constraints. QRS 2015, pp. 141–150. Best paper award!
  10. José Iborra, Naoki Nishida, Germán Vidal, Akihisa Yamada:
    Reducing relative termination to dependency pair problems. CADE-25, LNCS (LNAI) 9195, pp. 163–178, 2015. Experiments (errata)
  11. Eun-He Choi, Takashi Kitamura, Cyrille Artho, Akihisa Yamada, Yutaka Oiwa:
    Priority integration for weighted combinatorial testing. COMPSAC 2015. pp. 242–247, 2015.
  12. Akihisa Yamada, Takashi Kitamura, Cyrille Artho, Eun-He Choi, Yutaka Oiwa, Armin Biere:
    Optimization of combinatorial testing by incremental SAT solving. ICST 2015, pp. 1–10, 2015.
  13. Akihisa Yamada, Keiichirou Kusakari, Toshiki Sakabe:
    Nagoya Termination Tool. RTA-TLCA 2014, LNCS 8560, pp. 466–475, 2014. Full version appeared as CoRR abs/1404.6626. (errata)
  14. Akihisa Yamada, Sarah Winkler, Nao Hirokawa, Aart Middeldorp:
    AC-KBO revisited. FLOPS 2014, LNCS 8475, pp. 319–335, 2014. Superseded by the TPLP article. Experiments
  15. Akihisa Yamada, Keiichirou Kusakari, Toshiki Sakabe:
    Unifying the Knuth-Bendix, recursive path and polynomial orders. PPDP 2013, pp. 181–192, 2013. Experiments

Theses

Workshop Papers / Others

E-mail

akihisa.yamada<at>uibk.ac.at