Masahiko Sakai

Professor

email: sakai at is.nagoya-u.ac.jp

Department of Computer Science and Mathematical Informatics,
Graduate School of Information Science,
Nagoya University

Research Interests (link to Comprehensive List of Researchers)

• Term rewriting
• Program transformation/generation
• SAT solvers
• Obfuscated programming languages

Publications, DBLP, Nagoya Repository

Profile

Projects

• Esoteric programming language Malbolge
• NaPS: the Nagoya pseudo-Boolean constraint solver
• CombSQL+: a solver for combinatorial optimization problems based on SQL
• qparse: a project for automated transcription

Misc.

• IWC 2019


• List of TRS researchers (Aart Middeldorp's page)
• Term Rewriting Meeting, Japan
• Rewritng Home Page

Old info.

• WPTE 2017
• 46th TRS meeting (Feb.27-Mar.1 2017 at Shinojima)
• IJCAR 2016
• WPTE 2016
• RTA 2015
• WPTE 2015
• WPTE 2014
• 38th TRS meeting (Apr 2-4, 2013 at Kofu)
• RTA2012 - 23rd International Conference on Rewriting Techniques and Applications (May.28-Jun.2, 2012 at Nagoya)
• 35th TRS meeting (Sep 12-14, 2011 at Nagoya Univ.)
• 2nd Mini-Workshop on Rewriting Techniques (Oct.14, 2009 at Nagoya Univ.)
• 23rd TRS meeting (Sep.24-26, 2003 at Nagoya Univ.)
• 12th TRS meeting (Nov.4-5, 1997 at Nagoya Univ.)
• A TRS compiler: Cdimple