= 学位論文 = #titleheading [#doctor 博士論文][[br]] [#master 修士論文][[br]] [#senior 学士論文] 数字は年度を表しています。 = 博士論文 = #doctor == 2010 == * Operating System Structures for High Performance Computer Clusters [[br]] 高性能計算機クラスタのためのオペレーティングシステム構成法[[br]] ([/~shmz 清水 正明]) * Rapidly Deployable, Scalable, and High-Performance Distributed File System for Data-Intensive Distributed Computing[[br]] ([/~dunnan 頓 楠]) == 2009 == * VMM-based Systems for Enhancing Application Security[[br]] VMMを利用した アプリケーションプログラムの安全性を向上させるシステム[[br]] ([/~koichi/ 尾上 浩一]) == 2008 == * Dependent Type Inference for Program Verification[[br]] プログラム検証のための依存型推論[[br]] ([/~uhiro/ 海野 広志]) == 2007 == * Type Systems for Formal Verification of Concurrent Programs[[br]] 並行プログラムの形式的検証のための型システム[[br]] ([/~kohei/ 末永 幸平]) * Formal Verification of Low-level Software[[br]] 低レベルソフトウェアの形式的な証明[[br]] ([/~nicolas/ マーティ ニコラ]) == 2005 == * Writing an Operating System with a Strictly Typed Assembly Language[[br]] 厳密に型付けされたアセンブリ言語を用いたオペレーティングシステムの記述[[br]] ([/~tosh/ 前田 俊行]) * Middleware Systems for Enabling users to Adapt to Dynamic Changes in Execution Environments[[br]] 実行環境の動的な変化にユーザが適応することを可能にするためのミドルウェアシステム[[br]] ([/~kaneda/ 金田 憲二]) == 2004 == * Implementation of a Fail-Safe ANSI C Compiler[[br]] 安全な ANSI C コンパイラの実装手法[[br]] ([/~oiwa/ 大岩 寛]) * Defending against Distributed Denial of Service Attacks[[br]] 分散サービス停止攻撃の対策方式[[br]] ([/~eric/ Eric Y. Chen]) * Verification of Concurrent Programs using Proof Assistants[[br]] 定理証明器に基づく並行プログラムの検証[[br]] ([/~affeldt/ Reynald Affeldt]) == 2001 == * Scalable Dynamic Memory Management Module on Shared Memory Multiprocessors[[br]] 共有メモリ並列計算機上のスケーラブルな動的メモリ管理モジュール[[br]] ([/~endo/ 遠藤 敏夫]) == 2000 == * Achieving High Performance for Parallel Programs that Contain Unscalable Modules[[br]] スケーラブルでないモジュールを含む並列プログラムにおける高性能の達成[[br]] ([/~oyama/ 大山 恵弘]) * Regular Expression Types for XML[[br]] XMLのための正規表現型[[br]] ([/~haruo/ 細谷 晴夫]) == 1999 == * A Study on Mobile Language Systems[[br]] モーバイル言語システムに関する研究[[br]] ([/~cocoa/ 関口 龍郎]) == 1998 == * Analyses and Reduction of Operational Overhead in Computer-Assisted Drawing[[br]] 計算機支援の描画における操作負荷の分析と削減[[br]] ([/~sachiko/ 河内谷 幸子]) * Architecture Design and Compilation Techniques Using Partial Evaluation in Reflective Concurrent Object-Oriented Languages[[br]] 並行オブジェクト指向言語における自己反映アーキテクチャの設計と部分計算を用いたコンパイル方法[[br]] ([/~masuhara 増原 英彦]) == 1997 == * Theoretical Properties and Efficient Satisfaction of Hierarchical Constraint Systems[[br]] 階層制約系の理論的性質と効率的解消法[[br]] ([/~detail/index-j.html 細部 博史]) * Efficient and Reusable Implementation of Fine-Grain Multithreading and Garbage Collection on Distributed-Memory Parallel Computers[[br]] 分散記憶並列計算機のための効率的で再利用可能な細粒度マルチスレッディング及びゴミ集め[[br]] ([/~tau/home.html 田浦 健次朗]) == 1996 == * Modularity and Composability in an Object-Oriented Library Framework for Parallel and Distributed Computation[[br]] (佐藤 直人) * Concurrent Linear Logic Programming[[br]] 並行線形論理プログラミング[[br]] ([/~koba/home-j.html 小林 直樹]) == 1994 == * New Methods to Analyze Japanese Morphemes and Dependency Structure AND Formalization of Rules to Derive Implied Meanings[[br]] 日本語形態素構文解析のための新手法 及び 含意導出規則の定式化[[br]] (渕 武志) * Formal Models of Dialogue Participants[[br]] 対話行為者の形式的モデル[[br]] (杉本 徹) * Label-Selective Lambda-Calculi and Transformation Calculi[[br]] (Jacques Garrigue)[[br]] Postscript file: [ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/Garrigue-PhD-a4.ps.gz A4 size], [ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/Garrigue-PhD-letter.ps.gz letter size] (283k bytes each) == 1993 == * A Concurrent Object-Oriented Programming Language System for Highly Parallel Data-Driven Computers and its Applications[[br]] ([/~yasugi/home.html 八杉 昌宏])[[br]] Postscript file: [ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/YasugiThesis-TR94-07-a4.ps.Z A4 size], [ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/YasugiThesis-TR94-07-letter.ps.Z letter size] (590k bytes each) * Language Features for Extensibility and Re-use in Concurrent Object-Oriented Languages[[br]] (松岡 聡)[[br]] Postscript file: [ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/matsuoka-thesis-a4.ps.Z A4 size], [ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/matsuoka-thesis-letter.ps.Z letter size] (923k bytes each) == 1992 == * A Reflective Object-Oriented Concurrent Language for Distributed Environments[[br]] 分散環境におけるリフレクティブな並列オブジェクト指向言語[[br]] (一杉 裕志) = 修士論文 = #master == 2011 == * Fine-Grain Multithread Framework for Divide-and-Conquer Applications on Distributed Memory Machines[[br]] 分割統治アプリケーションのための分散メモリ計算機向け細粒度マルチスレッド処理系 [[br]] ([/~akiyama 秋山 茂樹]) * Implementation of Inline Caching with Variables of Bytecode for Python[[br]] バイトコード内の変数を用いたインラインキャッシングの Python への実装[[br]] ([/~ikejiri 池尻 拓朗]) * Deterministic Parallel Copying Garbage Collection[[br]] 決定的な並列コピーガベージコレクション[[br]] ([/~murata 村田 雅之]) == 2010 == * Programming Language Support for Multiple Mobile Ad Hoc Networks[[br]] 複数のモバイルアドホックネットワークのためのプログラミング言語サポート [[br]] ([/~tsuzuki 鈴木 友博]) * Study on Proof of Type Preservation in CPS Transformation[[br]] CPS 変換における型保存の証明に関する研究[[br]] ([/~ywtnb 渡邊 裕貴]) == 2009 == * Stack Types with Bounded Existential Quantification[[br]] 境界つき存在量化子を用いたスタック型[[br]] ([/~iizuka 飯塚 大輔]) * A Hybrid Virtual Machine Monitor for Implementing Flexible and High-Performance Security Mechanisms[[br]] 柔軟かつ高性能なセキュリティ機構を実装するためのハイブリッド仮想マシンモニタ[[br]] ([/~sawazaki 澤崎 純也]) * Parallelization of Safety Verification in SPIN Model Checker[[br]] モデル検査器 SPIN における安全性検証の並列化[[br]] ([/~nojiri 野尻 隆宏]) == 2008 == * A Distributed Storage System for Virtual Disk Management[[br]] 仮想ディスク管理のための分散ストレージシステム[[br]] ([/~osumi/ 大住 裕之]) * A Typed Assembly Language with Reference Counting[[br]] 参照カウントを用いる型付きアセンブリ言語[[br]] ([/~kosakai/ 小酒井 隆広]) * A Merging Facility for a Tree-Structured Versioning File System[[br]] ツリー構造バージョン管理ファイルシステムのためのマージ機構[[br]] ([/~takaki/ 高木 渉]) == 2007 == * Reactive Model Checking for Game Scenarios[[br]] ゲームシナリオのための反応性の良いモデル検査[[br]] ([/~koyu/ 山崎 孝裕]) * Design and Implementation of a Strongly Typed Intermediate Language for GCC[[br]] GCC のための強く型付けされた中間言語の設計と実装[[br]] ([/~oda-ys/ 小田 泰]) * Extending Alias Types with Separating[[br]] Separating Implication による Alias Types の拡張[[br]] ([/~haruki/ 佐藤 春旗]) * Automatic Parallelization of Purely Functional Programs with Estimation of Function Evaluation Cost[[br]] 関数評価のコストの推定を用いた純粋関数型言語の自動並列化[[br]] ([/~tanakh/ 田中 英行]) * Secure Information Flow for Resources[[br]] リソースのための情報流解析[[br]] ([/~yamashita/ 山下 諒蔵]) == 2006 == * Fast and Precise Code Clone Reduction by Incremental Analysis[[br]] 差分解析による高速かつ正確なコードクローンの解消[[br]] ([/~hedkandi/ 佐藤 秀明]) * ([/~disk-ec7/ 島本 大輔]) * Distributed System Test Bed by Virtualization of the View for OS Resources[[br]] OS資源ビューの仮想化を用いた分散システムテストベッド[[br]] ([/~zbkt/ 西川 賀樹]) * Design and Implementation of Locality-Aware Distributed File System for Wide-Area Grid Environments[[br]] ([/~dunnan/ 頓 楠]) == 2005 == * Combining Type-Based Analysis and Model Checking for Finding Counterexamples against Non-Interference[[br]] 型解析とモデル検査を組み合わせた非干渉性の反例発見法[[br]] ([/~uhiro/ 海野 広志]) * Continuation Join Point[[br]] 継続ジョインポイント[[br]] ([/~mame/ 遠藤 侑介]) * Application-Specific Virtual Environments for Migration and Checkpointing[[br]] アプリケーションに特化した計算移動やチェックポインティングのための仮想環境[[br]] ([/~y_yoko/ 横山 陽介]) * A Framework Using a Common Language to Build Program Verifiers for Low-Level Languages[[br]] 低級言語のプログラム検証器を構成するための共通言語を用いたフレームワーク[[br]] ([/~tossy-2/ 吉野 寿宏]) == 2004 == * A Bytecode Translation for Pointcut Description Based on Data Dependency[[br]] データ間依存性に基づくポイントカット記述のためのバイトコード変換[[br]] ([/~oyuichi/ 大根田 裕一]) * Design and Implementation of a Mobile Computing System Based on a CPU Emulator[[br]] CPU エミュレータを用いた移動計算システムの設計と実装[[br]] ([/~koichi/ 尾上 浩一]) * Translation of Tree-processing Programs into Stream-processing Programs Based on Ordered Linear Types[[br]] 順序付き線形型に基づく木構造処理プログラムからストリーム処理プログラムへの変換[[br]] ([/~kohei/ 末永 幸平]) * An Aspect-oriented Language for Functional Programming[[br]] アスペクト指向のための関数型プログラミング言語[[br]] ([/~hideaki/ 立沢 秀晃]) * An Integrated Approach to Assessing the Reliability of Large-Scale Protein-Protein Interaction Data[[br]] 大規模蛋白質間相互作用データの統合的な信頼性評価法[[br]] (徳田 顕人) * A Fault-tolerant, Autonomic, Adaptive Search Engine[[br]] 耐故障性を備えた自律適応型検索エンジン[[br]] (藤本 浩史) == 2003 == * Model Checking for Computer Game Scenarios[[br]] モデル検査理論のゲームシナリオへの適用[[br]] ([/~mass/ 清木 昌]) * Region-Based Memory Management for Dynamic Typed Language[[br]] 動的型付き言語のためのリージョン推論に基づくメモリ管理[[br]] ([/~ganat/ 永田 章人]) * Designing and Implementing a Distributed Component Language with Transparent Mobility[[br]] 透明な移動が可能な分散コンポーネント言語の設計と実装[[br]] ([/~tak/ 増山 隆]) == 2002 == * Implementing a Runtime System for Parallel and Distributed Computation on the Internet and Its Applications[[br]] インターネット上の並列分散計算のための実行時システムとそのアプリケーションの実装[[br]] ([/~kaneda/ 金田 憲二]) * An Efficient Garbage Collector in the Presence of Ambiguous References[[br]] 曖昧なポインタの存在下での効率的なゴミ集め[[br]] ([/~yoshinor/ 小林 義徳]) * Regular Expression Types for Strings in a Text Processing Language[[br]] テキスト処理言語における文字列のための正規表現型[[br]] ([/~tabee/ 田淵 直]) * Java Bytecode Transformation for Fine Grain CPU Resource Management[[br]] Javaバイトコード変換による細粒度CPU資源管理[[br]] ([/~hayami/ 速水 雄太]) * Resource Usage Analysis with References[[br]] 参照を扱った資源使用解析[[br]] ([/~tatsuo/ 水上 達夫]) == 2001 == * Supporting Object-Oriented Features in Run-time Bytecode Specialization[[br]] 実行時バイトコード特化のオブジェクト指向言語への拡張[[br]] ([/~affeldt/ レナルド・アフェルト]) * A Self-organizing Hierarchical Network for Global Parallel Computing[[br]] 広域分散並列計算のための自己編成可能な階層的ネットワーク[[br]] ([/~yohei/ 上田 陽平]) * Dynamic Thread Mapping for Distributed Data Intensive Applications[[br]] 分散データintensiveなアプリケーションのための動的スレッド配置[[br]] ([/~takas/ 坂本 崇裕]) * A Type System for Object Usage Analysis in Java Bytecode[[br]] Javaバイトコードにおけるオブジェクトの使用解析のための型システム[[br]] ([/~hamanaka/ 浜中 信行]) * Distributed web crawling with dynamically joining/leaving resources[[br]] 動的に増減する資源を利用した広域分散 web crawling[[br]] ([/~sshong/ 洪 淳祥]) * Safe Execution of User Programs in Kernel Mode using Typed Assembly Language[[br]] 型付きアセンブリ言語を用いてユーザプログラムをカーネルモードで実行する方法[[br]] ([/~tosh/ 前田 俊行]) * Designing a Virtual Machine Independent Compiler Interface[[br]] 仮想マシン独立なコンパイラインタフェースの設計[[br]] ([/~yamauchi/ 山内 裕史]) == 2000 == * A Java-based Language With Type-safe Dynamic Code Generation[[br]] 型安全な動的コード生成をサポートする Java の言語拡張[[br]] ([/~oiwa/ 大岩 寛]) * Evaluation of Expressiveness and Performance of OpenMP Using a Suite of SPLASH2 Applications[[br]] SPLASH2アプリケーション集を用いたOpenMPの記述性と性能の評価[[br]] ([/~shuhei/ 大角 周平]) * Efficient Type Inference for the Quasi-linear type system[[br]] 擬似線形型システムの効率的な型推論[[br]] ([/~kariya/ 假家 英樹]) * Implementation and Evaluation of Nested Parallelism in OpenMP[[br]] OpenMPにおける入れ子並列性の実装と評価[[br]] ([/~y-tanaka/ 田中 義純]) * A Study on a Typed Process Calculus for Access Control in Distributed Computation[[br]] 分散計算におけるアクセスコントロールのための型付きプロセス計算の研究[[br]] ([/~hoshina/ 星名 大輔]) == 1999 == * Dynamic accesss control of mobile objects by switching name spaces[[br]] 名前空間の切り替えによる移動オブジェクトの動的アクセス制御[[br]] ([/~takeo/ 今井 健男]) * Lazy Task Creation with Stack Swapping to Improve Memory Locality[[br]] メモリ局所性を高めるスタック交換方式を導入した遅延タスク生成[[br]] ([/~sumio/ 外山 純生]) * An extension of C++ that supports thread migration with little loss of normal execution efficiency[[br]] 通常の実行効率を損わないスレッドマイグレーションが可能な C++[[br]] ([/~nayuta/ 多賀 奈由太]) == 1998 == * Software-based Fine-grained Memory Protection Supporting Dynamic Changes of Attributes[[br]] 保護属性の動的変更が可能なソフトウェアによる細粒度メモリの保護[[br]] ([/~gotoh/ 後藤 礼史]) * Lazy Task Creation on Shared Memory Machines for C Programs[[br]] 共有メモリ並列計算機上におけるCプログラムのためのLazy Task Creation[[br]] ([/~tabata/index-j.html 田端 邦男]) * Research on Effects of Mobile Object Programming with Describing Distributed Application[[br]] 移動オブジェクトプログラミングの分散処理記述による有効性の研究[[br]] ([/~eye/ 人見 俊太郎]) * Implementation of an Efficient and Reusable Distributed Garbage Collector and Evaluation of Its Performance[[br]] 効率的で再利用可能な分散GCライブラリの設計と性能評価[[br]] ([/~ymmt/ 山本 泰宇]) == 1997 == * A Scalable Mark-Sweep Garbage Collector on Large-Scale Shared-Memory Machines[[br]] 大規模共有メモリマシン上のスケーラブルなマークスイープ法ガーベジコレクタ[[br]] ([/~endo/ 遠藤 敏夫]) * An Efficient Compilation Framework for Parallel Programming Languages Based on a Concurrent Process Calculus[[br]] 並行計算に基づく並列プログラミング言語のための効率的なコンパイルの枠組み[[br]] ([/~oyama/ 大山 恵弘]) == 1996 == * Type Inference Garbage Collection and Its Parallelization[[br]] 型推論ガベージコレクションとその並列アルゴリズム[[br]] ([/~haruo/ 細谷 晴夫]) * Type-based Analysis of Usage of Values for Concurrent Programming Languages[[br]] 並列言語における型システムによる値の使用回数の解析[[br]] (五十嵐淳) == 1995 == * A Study on Implementation of a Typed Concurrent Programming Language on Distributed Machines[[br]] 型付並列言語の分散メモリマシンへの実装[[br]] ([/~shimizu/home.html 清水 智弘]) * RNA Secondary Structure Prediction and Visualization Using Highly Parallel Computers[[br]] 高並列計算機を用いたRNA の2 次構造予測と視覚化[[br]] ([http://platinum.ims.u-tokyo.ac.jp/~nakaya/index.htm 中谷 明弘]) == 1994 == * A Study on Debugging Schemes in Concurrent Programs on Massively Parallel Processors[[br]] 超並列計算機上の並列プログラム用デバッグ方式の研究[[br]] ([/~kamada/home.html Tomio Kamada]) * An Extension to a Parallel Constraint Logic Programming Language For Applications in Optimization Problems[[br]] 最適化問題への応用のための並列制約論理型言語の拡張[[br]] (今野 和浩) * A Study on Structure of Concurrent Object-Oriented Languages[[br]] 並列オブジェクト指向言語の構造に関する研究[[br]] ([/~cocoa/home.html 関口 龍郎]) * Efficient Satisfaction of Constraint Hierarchies[[br]] 制約階層の効率的な解消法[[br]] ([/~detail/index-j.html 細部 博史]) == 1993 == * Design and Implementation of Concurrent Object-Oriented Programming Languages on Stock Multicomputers[[br]] 並列オブジェクト指向言語のマルチコンピュータ上における設計および実装[[br]] ([/~tau/home.html 田浦 健次朗])[[br]] Postscript file: [ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/taura-master-thesis-a4.ps.Z A4 size], [ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/taura-master-thesis-letter.ps.Z letter size] (375k bytes each) * Study on a Reflective Architecture to Provide Efficient Dynamic Resource Management for Highly-Parallel Object-Oriented Applications[[br]] 高並列オブジェクト指向アプリケーションのための効率のよい動的資源管理方式を提供する自己反映アーキテクチャの研究[[br]] ([/~masuhara/home.html 増原 英彦])[[br]] Postscript file: [ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/masuhara-masterthesis-a4.ps.Z A4 size], [ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/masuhara-masterthesis-letter.ps.Z letter size] (278k bytes each) * Lexicon Acquisition in HPSG-based Grammars[[br]] (鳥澤 健太郎) * An Application of Parallel Object-Oriented Methodology to Molecular Dynamics Simulation[[br]] (Naohito Omori) * Compiler Design and Implementation Techniques for Parallel Constraint Logic Programming Languages[[br]] 並列制約論理型言語のコンパイラ設計と実装技法[[br]] (長塚 雅明) * Interactive Generation of Graphical User Interfaces by Multiple Visual Examples[[br]] 複数の視覚的例による直接操作インターフェースの対話的実現[[br]] (宮下 健) == 1992 == * Asynchronous Communication Model based on Linear Logic[[br]] 線形論理に基づく非同期通信モデル[[br]] ([/~koba/home-j.html 小林 直樹]) * Dialogue System Based on Dynamical Constraint Programming[[br]] 力学制約プログラミングに基づいた対話システム[[br]] ([/~mya-u/home.html 宮田 高志]) * A Framework for Constructing Animations via Declarative Mapping Rules[[br]] 宣言的対応規則によるアニメーション作成のための枠組み[[br]] ([/~takahasi/home.html 高橋 伸]) * RNA Secondary Structure Prediction Using Highly Parallel Computer[[br]] 高並列計算機による RNA の２次構造予測[[br]] (Yoshisato Takeda) * Parallel Conservative Garbage Collection with !``Almost Synchronization-free!'' Fast Object Allocation[[br]] 同期のほぼ不要にオブジェクト割り付けの可能な Conservative Garbage Collection[[br]] ([/~furuso/home.html 古荘 進一]) == 1991 == * Model Checking of Finite State CSP[[br]] 有限状態 CSP のモデル検査[[br]] ([http://www.is.s.u-tokyo.ac.jp/~asai/ 浅井 健一]) * A Framework for Describing Mental States and their Dynamic Changes of Dialog Participants[[br]] 対話参加者の心的記述とその動的変化に関する枠組[[br]] (村田 剛志) = 学士論文 = #senior == 2010 == * Lightweight Implementation of Profile-Driven Implicit Parallelization for Haskell[[br]] Haskellのためのプロファイル駆動暗黙的並列化の簡潔な実装[[br]] ([/~arai/ 新井 淳也]) * Analysis and Sugesstion on Security Requirements for Software Development[[br]] ソフトウェア開発におけるセキュリティ要件の分析と提案[[br]] ([/~yuto/ 竹井 悠人]) * Improving BEEP Approach for Preventing XSS Attacks and Reducing its Overhead[[br]] XSS攻撃の防御のためのBEEP手法の改善とそのオーバーヘッドの削減[[br]] ([/~masato/ 田中 雅人]) == 2009 == * Encapsulation in Prototype-Based Object-Oriented Language using Ownership Types[[br]] Ownership Types を用いたプロトタイプ・ベースオブジェクト指向言語のカプセル化[[br]] ([/~ikejiri/ 池尻 拓朗]) == 2008 == * Realizing Fairness in !StackThreads/MP Scheme[[br]] !StackThreads/MP への公平性の導入[[br]] ([/~uemura/ 植村 圭一朗]) * A Honeypot System Solving Dilemma Between Freedom and Restriction[[br]] 攻撃者に与える自由と制約のジレンマを解消するハニーポットシステム[[br]] ([/~tsuzuki/ 鈴木 友博]) * Extending Hoare Type Theory for Arrays[[br]] 配列のためのホーア型理論の拡張[[br]] ([/~ywtnb/ 渡邊 裕貴]) == 2007 == * Dependent Types in Imperative Programming Language[[br]] 命令型プログラミング言語における依存型[[br]] ([/~ushioda/ 潮田 資秀]) * Detecting Creation of Processes and Execution of Applications without Modifying Guest OS Kernel on Virtual Machine Monitor[[br]] OS カーネルを修正することなく仮想マシンモニタ上でのプロセス生成とアプリケーション実行を検出する手法[[br]] ([/~sawazaki/ 澤崎 純也]) * Array Bounds Inference with a Model Checker for a Dependent Type System[[br]] モデル検査器を用いた依存型システムのための配列境界の推論[[br]] ([/~nojiri/ 野尻 隆宏]) * Constraint Solver for Bounded Integer with Correctness Proof[[br]] 正しさの証明が与えられた有限範囲の整数に対する制約解消器[[br]] ([/~murata/ 村田 雅之]) == 2006 == * Typed Assembly Language for Conditional Execution[[br]] 条件実行に対応する型付きアセンブリ言語[[br]] ([/~iizuka/ 飯塚 大輔]) * Compiling C Programs into a Type-safe Assembly Language[[br]] C 言語から型安全なアセンブリ言語へのコンパイル[[br]] ([/~kosakai/ 小酒井 隆広]) * Examination of Application of Model Checking for Automatic Verification of Safety of Memory Operation[[br]] モデル検査の応用によるメモリ操作の安全性を自動検証する手法に関する研究[[br]] ([/~sgotou/ 後藤 哲志]) == 2005 == * A Library for Replay-based Recovery[[br]] リプレイに基づくリカバリのためのライブラリ[[br]] ([/~osumi/ 大住 裕之]) * Implementation of Programming Language based on Alias Types and Measurement of Its Ability[[br]] Alias Types に基づくプログラミング言語の実装とその評価[[br]] ([/~haruki/ 佐藤 春旗]) * Implementation of Information Flow Analysis using Dynamic Type Checking[[br]] 動的な型検査を用いた情報流解析の実装[[br]] ([/~yamashita/ 山下 諒蔵]) == 2004 == * Effective Software Obfuscation by Mixing Instructions and Data[[br]] 命令とデータの混合による効果的なソフトウェアの難読化[[br]] ([/~hedkandi/ 佐藤 秀明]) * Detecting Intrusions on Windows Operating Systems by Monitoring System Services[[br]] System Service の監視による Windows 用侵入検知システム[[br]] ([/~disk-ec7/ 島本 大輔]) * Reliable Peer-to-Peer Framework for Massively Multiplayer Online Games[[br]] 大規模多人数オンラインゲームのための信頼性のある Peer-to-Peer の枠組み[[br]] ([/~koyu/ 山崎 孝裕]) == 2003 == * Aspect-Oriented Virtual Machine for Supporting Dynamic Weaving and High-Level Features[[br]] 高級な言語機能を持ちアスペクトを動的に適用する仮想機械[[br]] ([/~mame/ 遠藤 侑介]) * Region Representation Inference for Dynamically-Typed Language[[br]] 動的型付け言語の為のリージョン表現推論[[br]] ([/~shinyak/ 川中 真耶]) * A Toolkit for Developing Extensible and Portable Checkpoint Systems[[br]] 拡張性と互換性を持つチェックポイントシステムの構築を容易にする方法[[br]] ([/~y_yoko/ 横山 陽介]) * Design and Implementation of a Self-Repairing Reference Monitor[[br]] 自己修復型リファレンスモニタの設計と実装[[br]] ([/~tossy-2/ 吉野 寿宏]) == 2002 == * The Interface Definition Language for Fail-Safe C[[br]] Fail-Safe Cのためのインターフェイス定義言語[[br]] ([/~kohei/ 末永 幸平]) * Cps Conversion of Procedural Language with Exception Handling and Its Formalization[[br]] 例外処理機構を備えた手続き型言語のCPS変換とその定式化[[br]] ([/~oyuichi/ 大根田 裕一]) * Packrat Parsing with State[[br]] 状態つきPackrat Parsing[[br]] ([/~suzu/ 鈴木 拓男]) * Translating Security Protocols from Informal Notation into Spi Calculus[[br]] セキュリティプロトコルの略式表現からspi calculusへの変換[[br]] ([/~hideaki/ 立沢 秀晃]) == 2001 == * Parallelizing Programs Using Access Traces[[br]] アクセス履歴によるプログラムの並列化[[br]] ([/~vietha/ グェン ヴェト ハ]) * A Scenario Description Language Based on a State Transition Model and its Automatic Consistency Checking[[br]] 状態遷移モデルに基づいたシナリオ記述言語の設計と同言語上での自動検証[[br]] ([/~mass/ 清木 昌]) * Scheme-to-Java Translator with Soft Typing[[br]] Soft Typingを利用したScheme-to-Javaトランスレータ[[br]] ([/~ganat/ 永田 章人]) * An Approach to Separate compilation of C++ Templates[[br]] C++のテンプレート関数を分割コンパイル可能にするためのアプローチ[[br]] ([/~tak/ 増山 隆]) == 2000 == * A New Type System for JVM Lock Primitive[[br]] JVMにおけるロックの整合性検証のための 新しい型システム[[br]] ([/~iwama/ 岩間 太]) * Virtual Private Grid (VPG): A Command Shell for Utilizing Remote Machines Efficiently[[br]] Virtual Private Grid (VPG): 遠隔計算機を効率的に利用するシェル[[br]] ([/~kaneda/ 金田 憲二]) * Java Bytecode Transformation for Fine Grain CPU Resource Management[[br]] Javaバイトコード変換による細粒度CPU資源管理[[br]] ([/~hayami/ 速水 雄太]) * Design and Implementation of Storage Server for Mobile Clients[[br]] モバイルクライアントのためのストレージサーバーのデザインと実装[[br]] ([/~tatsuo/ 水上 達夫]) == 1999 == * Single Memory Image for Heterogeneous Distributed Computing: Its Implementation and Evaluation[[br]] 異種計算機間の分散計算のための単一メモリイメージの実現と性能評価[[br]] ([/~yohei/ 上田 陽平]) * Java Bytecode Translation for Transparent Migration[[br]] 透明なマイグレーションのためのJavaバイトコード変換[[br]] ([/~takas/ 坂本 崇裕]) * An Implementation of Distributed Cyclic Garbage Collection for Java RMI[[br]] Java RMIでの分散環状ゴミ集めの実装[[br]] ([/~hamanaka/ 浜中 信行]) * Automatic Library Translation for Host-local Resources in Languages with Object Mobility[[br]] オブジェクト移動性を持った言語におけるホストローカルなリソースのための自動ライブラリ変換[[br]] ([/~yamauchi/ 山内 裕史]) == 1998 == * Extending Java Virtual Machine to Improve Performance of Dynamically-Typed Languages[[br]] 動的型付き言語の効率向上のためのJava仮想マシンの拡張[[br]] ([/~oiwa/ 大岩 寛]) * Adding Fine-Grain Threading to Python Using !StackThreads/MP[[br]] !StackThreads/MPによるPythonへの細粒度スレッドの追加[[br]] ([/~shuhei/ 大角 周平]) * Copying Garbage Collection in the Presence of Uncertain Pointers[[br]] 不確かなポインタの存在下でのコピーイングガーベジコレクション[[br]] ([/~y-tanaka/ 田中 義純]) == 1997 == * Implementation and Evaluation of Concurrent Object in Schematic[[br]] Schematicにおける並列オブジェクトの実装と評価[[br]] ([/~sumio/ 外山 純生]) * Implementation of Mobile Scheme[[br]] モーバイルSchemeの実装[[br]] ([/~nayuta/ 多賀 奈由太]) == 1996 == * Improving execution efficiency of Tree-Structure-Based Parallel Programs[[br]] 木構造を扱う並列プログラムの効率化[[br]] ([/~gotoh/ 後藤 礼史]) * Mobile Emacs Lisp: An Extension to Emacs Lisp for Efficient Editing on Wide-Area Network[[br]] Mobile Emacs Lisp: 広域ネットワーク上の効率的な編集作業のためのEmacs Lispの拡張[[br]] ([/~eye/ 人見 俊太郎]) * A Research on Execution Performance of Parallel Programs on a Workstation Cluster[[br]] 並列プログラムのワークステーションクラスタ上における実行効率の研究[[br]] ([/~ymmt/ 山本 泰宇]) == 1995 == * A Methodology for Constructing a Portable Garbage Collector on Parallel Machines[[br]] 並列マシンにおけるPortableなGarbage Collectorの実装法[[br]] ([/~endo/ 遠藤 敏夫]) * A General Framework for Compiling Fine-grain Threads in Concurrent Object-Oriented Languages[[br]] 並列オブジェクト指向言語における細粒度スレッドコンパイルのための一般的枠組み[[br]] ([/~oyama/ 大山 恵弘]) == 1994 == * Study on Mechanisms For Multi-Object Synchronization and Their Implementation[[br]] オブジェクト間同期機構とその実装に関する研究[[br]] ([/~igarashi/ 五十嵐 淳]) * Static Analysis on Communication for Asynchronous Concurrent Programming Languages[[br]] 非同期並行言語における通信の静的解析[[br]] (中出 元樹) * Control Constructs in Concurrent Object-Oriented Languages[[br]] 並列オブジェクト指向言語における制御構[[br]] ([/~haruo/ 細谷 晴夫]) * Dialogue processing with Mental World Structure[[br]] 心的世界構造を用いた対話処理[[br]] (BEKKI Daisuke) * Construction of a Japanese-text Generation System With Semantic-Head-Driven Generation[[br]] 意味主辞駆動生成アルゴリズムを用いた日本語文生成システムの構築[[br]] ([/~moriwaki/table.html 森脇 敏]) * Automatic Acquisition of The Cost of Connectivity in A Japanese Morphological Analyzer[[br]] 日本語形態素解析システムにおける連接コストの自動獲得[[br]] ([http://www.is.s.u-tokyo.ac.jp/~nova/ 野畑 周]) == 1993 == * Type Inference for Polymorphic Reference with Subtyping[[br]] 部分型の入った多相参照のための型推論[[br]] ([http://platinum.ims.u-tokyo.ac.jp/~nakaya/index.htm 中谷 明弘]) * A study on an implemenation of HACL compiler on multicomputers[[br]] HACLコンパイラのマルチコンピュータ上での実装技術の研究[[br]] ([/~shimizu/home.html SHIMIZU Toshihiro]) == 1992 == * An Efficient Implementation of a Parallel Constraint Logic Programming Language and its Applications[[br]] 並列制約論理型言語の効率的な実装と応用[[br]] (今野 和浩) * An Algorithm of Distributed Garbage Collections on a Multicomputer and its Performance Evaluation[[br]] 並列計算機上の分散ガーベージ・コレクションのアルゴリズムとその性能評価[[br]] ([/~kamada/home.html Tomio Kamada]) * A Constraint Solving Method for Real-Time Interaction in User Interfaces[[br]] ユーザインターフェースで実時間のインタラクションを実現する制約解消法[[br]] ([/~detail/index-j.html 細部 博史]) * An Object-Oriented Approach to Parsing for Unification-based Grammars[[br]] オブジェクト指向方式による単一化文化を用いたパージング[[br]] (Kengpang Lee) * Construction of Type Inference Systems for Concurrent Object-Oriented Languages[[br]] 並列オブジェクト指向言語のための型推論体系の構築[[br]] ([/~cocoa/home.html 関口 龍郎]) == 1991 == * Inductive Inference under Algebraic Specifications[[br]] 代数的仕様の下での帰納的推論について[[br]] ([/~dai/home.html 鈴木 大介]) * A Study of an Implementation of an Object-Oriented Concurrent Language on Distributed Memory Parallel Architecture[[br]] マルチコンピュータ上の並列オブジェクト指向言語の高効率な実装に関する研究[[br]] ([/~tau/home.html 田浦 健次朗]) * Acquiring Discourse Domain Knowledge with a Dialog System[[br]] 対話領域に関する知識の対話システムによる獲得[[br]] (鳥澤 健太郎) * The Implementation of Constraint Logic Programming on Parallel Computer[[br]] 制約論理型言語の並列計算機上への実装[[br]] (長塚 雅明) * Study on Implementation of an Object-Oriented Concurrent Reflective Language[[br]] 自己反映計算の機能を持つ並列オブジェクト指向言語の実装に関する研究[[br]] ([/~masuhara/home.html 増原 英彦]) * Programming by Visual Example[[br]] 視覚的例によるプログラミング[[br]] (宮下 健) == 1990 == * Control of Parallel Computation in Constraint Logic Programming[[br]] 制約論理プログラムにおける並列計算の制御[[br]] ([/~koba/home-j.html 小林 直樹]) * User Interface on a Model of Bi-directional Translation Between Picture and Data[[br]] 絵-データ間の双方向変換に関するモデルに基づいたユーザインターフェース[[br]] ([/~takahasi/home.html 高橋 伸]) * Dynamic and Reflective Scheduling in Concurrent Object-Oriented Programming Language[[br]] 並列オブジェクト指向言語における動的で自己反映的なスケジューリング[[br]] (Yoshisato Takeda) * A Distributed Problem Solving Platform with Distributed Blackboard Architecture[[br]] 分散ブラックボード・アーキテクチャに基づいた分散問題解決のプラットフォーム[[br]] (Tsuyoshi Hayashi) * Garbage Collection in A Concurrent Architecture:[[br]] 並列アーキテクチャ上の Garbage Collection[[br]] ([/~furuso/home.html 古荘 進一]) * Domain Independent Dialog System[[br]] 獲得すべきデータの仕様を独立させた対話システム[[br]] ([/~mya-u/home.html 宮田 高志]) == 1989 == * Multilisp Implementation[[br]] マルチリスプの実現[[br]] ([http://www.is.s.u-tokyo.ac.jp/~asai/ 浅井 健一]) * Fast Implementation of Production Systems[[br]] プロダクションシステムの高速化[[br]] (Hideaki Kuwada) * FDS-A Flexible Dialog System[[br]] 柔軟な対話システムFDS[[br]] (村田 剛志) * A Study of Hopfield Network[[br]] Hopfield Network に関する研究[[br]] (Susumu Hasegawa)