Rchr
J-GLOBAL ID：200901042893533640   Update date: Sep. 16, 2022

MASATAKA SASSA

サツサ マサタカ | MASATAKA SASSA
Affiliation and department：
Tokyo Institute of Technology

About Tokyo Institute of Technology


Job title： Professor Emeritus
Research field  (1)： Information theory
Research theme for competitive and other funds  (6)：
  • 2005 - 2010 Compiler Verification
  • 2005 - 2010 コンパイラの検証
  • Programming Environment
  • Programming Language Processors
  • プログラミング環境
Show all
MISC (57)：
ｍore...
Books (5)：
  • コンパイラの基盤技術と実践-コンパイラ・インフラストラクチャCOINS を用いて
    朝倉書店 2008 ISBN:9784254121735
  • An Introduction to Attribute Grammars
    1996
  • 属性文法入門
    共立出版 1996
  • Programming Language Processors
    1989
  • プログラミング言語処理系
    岩波書店 1989
Lectures and oral presentations  (19)：
  • Verification of Compiler Optimization Using Temporal Logic by Checking Value Equality Difference
    (2009)
  • Verification of Compiler Optimization Using Temporal Logic by Checking Value Equality Difference
    (Eighth International Workshop on Compiler Optimization meets Compiler Verification (COCV 2009) 2009)
  • 自動的等価性差分の抽出によるSSAコンパイラ最適化器の生成するコードの正しさの検証
    (情報処理学会論文誌 プログラミング 2009)
  • Verification of Compiler Optimization Using Temporal Logic by Checking Value Equality Difference
    (Eighth International Workshop on Compiler Optimization meets Compiler Verification (COCV 2009) 2009)
  • Validating correctness of compiler optimizer execution using temporal logic
    (J. Knoop (Ed.) 2008)
ｍore...
Works (1)：
  • 並列化コンパイラ向け共通インフラストラクチャの研究
    2000 - 2006
Education (3)：
  • - 1974 The University of Tokyo Graduate School, Division of Science
  • - 1974 The University of Tokyo
  • - 1970 The University of Tokyo Faculty of Science Department of Physics
Professional career (2)：
  • Doctor of Science (The University of Tokyo)
  • Master of Science (The University of Tokyo)
Work history (10)：
  • 1992 - -:
  • 1992 - -:東京工業大学 教授
  • 1990 - -:
  • 1990 - -:筑波大学 教授
  • 1986 - -:
Show all
Committee career (1)：
  • 1994 - 日本ソフトウェア科学会 評議員
Awards (2)：
  • 1990 - 情報処理学会30周年記念論文佳作
  • 1981 - 情報処理学会論文賞
Association Membership(s) (6)：
Association for Computing Machinery ,  IEEE Computer Society ,  IEEE Computer Society ,  情報処理学会 ,  日本ソフトウェア科学会 ,  Association for Computing Machinery
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page

TOP

BOTTOM