English 米澤研究室

米澤研究室のプロジェクト一覧

e-Society (安全なシステム記述言語および高信頼OS)

• 高安全なC言語，およびC++言語コンパイラの開発
• OS用型付きアセンブリ言語の設計・実装
• プロトコル実装の形式的検証

安全プロジェクト

• Kernel Mode Linux
• Fail-safe C コンパイラ: メモリ安全な ANSI-C 言語コンパイラ

Typed Computing プロジェクト

• XML処理言語のための型システム
• G'Caml

並列・分散計算グループ

• Phoenix Grid Computing Project (with Taura Lab.)

昔のプロジェクト

• ABCL project: Concurrent object-oriented programming languages
• AMO Project: Exploiting Autonomous Mobile Objects
• PDGC Project: 並列/分散ガーべジ・コレクタ
• StackThreads Project: 細粒度スレッド・ライブラリ
• Schematic project: A concurrent object-oriented extension to Scheme
• Computational Reflection and Meta-Level Architecture projects
• プログラミング言語グループ
• ユーザインターフェースグループ
• PARCS project: Parallel constraint logic programming language
• Object behaviour description and understanding projects (CodA, Tj, Vibes, ...)
• Trip project.
• MFW (Moving Fire Wall)
• XPerl: テキスト処理言語における文字列のための正規表現型
• 暗号ラムダ計算
• 動的型付き言語のためのリージョン推論
• Mobile Scope: A Distributed Mobile Computation System
• Lapis : 状態遷移モデルに基づいたシナリオ記述言語
• World-wide Web Crawler (a part of Kototoi Project)
• VPG : 遠隔計算機を効率的に利用するためのシェル
• VINCSプロジェクト
  • 計算機の集合を有効利用するための仮想計算機
  • 仮想計算機を利用した移動計算システム
  • 自己回復・自己修復原理に基づくシステムソフトウェア
  • 低消費資源・低オーバヘッドの仮想計算環境を提供するミドルウェア
  • 安全なソフトウェア流通実行システム
  • 単一システムイメージを提供するための仮想マシンモニタ
  • Quasar: CPUエミュレータを利用した移動計算システム
  • A Sandbox System that Executes Speculative Security Checks
  • A Sandbox System for Protecting Security Systems
• 安全プロジェクト
  • Fail-safe C コンパイラ: メモリ安全な ANSI-C 言語コンパイラ