115 | | (under construction) |
| 113 | == 2007 == |
| 114 | * Reactive Model Checking for Game Scenarios[[br]] |
| 115 | ゲームシナリオのための反応性の良いモデル検査[[br]] |
| 116 | ([/~koyu/ 山崎 孝裕]) |
| 117 | * Design and Implementation of a Strongly Typed Intermediate Language for GCC[[br]] |
| 118 | GCC のための強く型付けされた中間言語の設計と実装[[br]] |
| 119 | ([/~oda-ys/ 小田 泰]) |
| 120 | * Extending Alias Types with Separating[[br]] |
| 121 | Separating Implication による Alias Types の拡張[[br]] |
| 122 | ([/~haruki/ 佐藤 春旗]) |
| 123 | * Automatic Parallelization of Purely Functional Programs with Estimation of Function Evaluation Cost[[br]] |
| 124 | 関数評価のコストの推定を用いた純粋関数型言語の自動並列化[[br]] |
| 125 | ([/~tanakh/ 田中 英行]) |
| 126 | * Secure Information Flow for Resources[[br]] |
| 127 | リソースのための情報流解析[[br]] |
| 128 | ([/~yamashita/ 山下 諒蔵]) |
| 129 | |
| 130 | == 2006 == |
| 131 | * Fast and Precise Code Clone Reduction by Incremental Analysis[[br]] |
| 132 | 差分解析による高速かつ正確なコードクローンの解消[[br]] |
| 133 | ([/~hedkandi/ 佐藤 秀明]) |
| 134 | * ([/~disk-ec7/ 島本 大輔]) |
| 135 | * Distributed System Test Bed by Virtualization of the View for OS Resources[[br]] |
| 136 | OS資源ビューの仮想化を用いた分散システムテストベッド[[br]] |
| 137 | ([/~zbkt/ 西川 賀樹]) |
| 138 | * Design and Implementation of Locality-Aware Distributed File System for Wide-Area Grid Environments[[br]] |
| 139 | ([/~dunnan/ 頓 楠]) |
| 140 | |
| 141 | == 2005 == |
| 142 | * Combining Type-Based Analysis and Model Checking for Finding Counterexamples against Non-Interference[[br]] |
| 143 | 型解析とモデル検査を組み合わせた非干渉性の反例発見法[[br]] |
| 144 | ([/~uhiro/ 海野 広志]) |
| 145 | * Continuation Join Point[[br]] |
| 146 | 継続ジョインポイント[[br]] |
| 147 | ([/~mame/ 遠藤 侑介]) |
| 148 | * Application-Specific Virtual Environments for Migration and Checkpointing[[br]] |
| 149 | アプリケーションに特化した計算移動やチェックポインティングのための仮想環境[[br]] |
| 150 | ([/~y_yoko/ 横山 陽介]) |
| 151 | * A Framework Using a Common Language to Build Program Verifiers for Low-Level Languages[[br]] |
| 152 | 低級言語のプログラム検証器を構成するための共通言語を用いたフレームワーク[[br]] |
| 153 | ([/~tossy-2/ 吉野 寿宏]) |
| 154 | |
| 155 | == 2004 == |
| 156 | * A Bytecode Translation for Pointcut Description Based on Data Dependency[[br]] |
| 157 | データ間依存性に基づくポイントカット記述のためのバイトコード変換[[br]] |
| 158 | ([/~oyuichi/ 大根田 裕一]) |
| 159 | * Design and Implementation of a Mobile Computing System Based on a CPU Emulator[[br]] |
| 160 | CPU エミュレータを用いた移動計算システムの設計と実装[[br]] |
| 161 | ([/~koichi/ 尾上 浩一]) |
| 162 | * Translation of Tree-processing Programs into Stream-processing Programs Based on Ordered Linear Types[[br]] |
| 163 | 順序付き線形型に基づく木構造処理プログラムからストリーム処理プログラムへの変換[[br]] |
| 164 | ([/~kohei/ 末永 幸平]) |
| 165 | * An Aspect-oriented Language for Functional Programming[[br]] |
| 166 | アスペクト指向のための関数型プログラミング言語[[br]] |
| 167 | ([/~hideaki/ 立沢 秀晃]) |
| 168 | * An Integrated Approach to Assessing the Reliability of Large-Scale Protein-Protein Interaction Data[[br]] |
| 169 | 大規模蛋白質間相互作用データの統合的な信頼性評価法[[br]] |
| 170 | (徳田 顕人) |
| 171 | * A Fault-tolerant, Autonomic, Adaptive Search Engine[[br]] |
| 172 | 耐故障性を備えた自律適応型検索エンジン[[br]] |
| 173 | (藤本 浩史) |
| 174 | |
| 175 | == 2003 == |
| 176 | * Model Checking for Computer Game Scenarios[[br]] |
| 177 | モデル検査理論のゲームシナリオへの適用[[br]] |
| 178 | ([/~mass/ 清木 昌]) |
| 179 | * Region-Based Memory Management for Dynamic Typed Language[[br]] |
| 180 | 動的型付き言語のためのリージョン推論に基づくメモリ管理[[br]] |
| 181 | ([/~ganat/ 永田 章人]) |
| 182 | * Designing and Implementing a Distributed Component Language with Transparent Mobility[[br]] |
| 183 | 透明な移動が可能な分散コンポーネント言語の設計と実装[[br]] |
| 184 | ([/~tak/ 増山 隆]) |
| 185 | |
| 186 | == 2002 == |
| 187 | * Implementing a Runtime System for Parallel and Distributed Computation on the Internet and Its Applications[[br]] |
| 188 | インターネット上の並列分散計算のための実行時システムとそのアプリケーションの実装[[br]] |
| 189 | ([/~kaneda/ 金田 憲二]) |
| 190 | * An Efficient Garbage Collector in the Presence of Ambiguous References[[br]] |
| 191 | 曖昧なポインタの存在下での効率的なゴミ集め[[br]] |
| 192 | ([/~yoshinor/ 小林 義徳]) |
| 193 | * Regular Expression Types for Strings in a Text Processing Language[[br]] |
| 194 | テキスト処理言語における文字列のための正規表現型[[br]] |
| 195 | ([/~tabee/ 田淵 直]) |
| 196 | * Java Bytecode Transformation for Fine Grain CPU Resource Management[[br]] |
| 197 | Javaバイトコード変換による細粒度CPU資源管理[[br]] |
| 198 | ([/~hayami/ 速水 雄太]) |
| 199 | * Resource Usage Analysis with References[[br]] |
| 200 | 参照を扱った資源使用解析[[br]] |
| 201 | ([/~tatsuo/ 水上 達夫]) |
| 202 | |
| 203 | == 2001 == |
| 204 | * Supporting Object-Oriented Features in Run-time Bytecode Specialization[[br]] |
| 205 | 実行時バイトコード特化のオブジェクト指向言語への拡張[[br]] |
| 206 | ([/~affeldt/ レナルド・アフェルト]) |
| 207 | * A Self-organizing Hierarchical Network for Global Parallel Computing[[br]] |
| 208 | 広域分散並列計算のための自己編成可能な階層的ネットワーク[[br]] |
| 209 | ([/~yohei/ 上田 陽平]) |
| 210 | * Dynamic Thread Mapping for Distributed Data Intensive Applications[[br]] |
| 211 | 分散データintensiveなアプリケーションのための動的スレッド配置[[br]] |
| 212 | ([/~takas/ 坂本 崇裕]) |
| 213 | * A Type System for Object Usage Analysis in Java Bytecode[[br]] |
| 214 | Javaバイトコードにおけるオブジェクトの使用解析のための型システム[[br]] |
| 215 | ([/~hamanaka/ 浜中 信行]) |
| 216 | * Distributed web crawling with dynamically joining/leaving resources[[br]] |
| 217 | 動的に増減する資源を利用した広域分散 web crawling[[br]] |
| 218 | ([/~sshong/ 洪 淳祥]) |
| 219 | * Safe Execution of User Programs in Kernel Mode using Typed Assembly Language[[br]] |
| 220 | 型付きアセンブリ言語を用いてユーザプログラムをカーネルモードで実行する方法[[br]] |
| 221 | ([/~tosh/ 前田 俊行]) |
| 222 | * Designing a Virtual Machine Independent Compiler Interface[[br]] |
| 223 | 仮想マシン独立なコンパイラインタフェースの設計[[br]] |
| 224 | ([/~yamauchi/ 山内 裕史]) |
| 225 | |
| 226 | == 2000 == |
| 227 | * A Java-based Language With Type-safe Dynamic Code Generation[[br]] |
| 228 | 型安全な動的コード生成をサポートする Java の言語拡張[[br]] |
| 229 | ([/~oiwa/ 大岩 寛]) |
| 230 | * Evaluation of Expressiveness and Performance of OpenMP Using a Suite of SPLASH2 Applications[[br]] |
| 231 | SPLASH2アプリケーション集を用いたOpenMPの記述性と性能の評価[[br]] |
| 232 | ([/~shuhei/ 大角 周平]) |
| 233 | * Efficient Type Inference for the Quasi-linear type system[[br]] |
| 234 | 擬似線形型システムの効率的な型推論[[br]] |
| 235 | ([/~kariya/ 假家 英樹]) |
| 236 | * Implementation and Evaluation of Nested Parallelism in OpenMP[[br]] |
| 237 | OpenMPにおける入れ子並列性の実装と評価[[br]] |
| 238 | ([/~y-tanaka/ 田中 義純]) |
| 239 | * A Study on a Typed Process Calculus for Access Control in Distributed Computation[[br]] |
| 240 | 分散計算におけるアクセスコントロールのための型付きプロセス計算の研究[[br]] |
| 241 | ([/~hoshina/ 星名 大輔]) |
| 242 | |
| 243 | == 1999 == |
| 244 | * Dynamic accesss control of mobile objects by switching name spaces[[br]] |
| 245 | 名前空間の切り替えによる移動オブジェクトの動的アクセス制御[[br]] |
| 246 | ([/~takeo/ 今井 健男]) |
| 247 | * Lazy Task Creation with Stack Swapping to Improve Memory Locality[[br]] |
| 248 | メモリ局所性を高めるスタック交換方式を導入した遅延タスク生成[[br]] |
| 249 | ([/~sumio/ 外山 純生]) |
| 250 | * An extension of C++ that supports thread migration with little loss of normal execution efficiency[[br]] |
| 251 | 通常の実行効率を損わないスレッドマイグレーションが可能な C++[[br]] |
| 252 | ([/~nayuta/ 多賀 奈由太]) |
| 253 | |
| 254 | == 1998 == |
| 255 | * Software-based Fine-grained Memory Protection Supporting Dynamic Changes of Attributes[[br]] |
| 256 | 保護属性の動的変更が可能なソフトウェアによる細粒度メモリの保護[[br]] |
| 257 | ([/~gotoh/ 後藤 礼史]) |
| 258 | * Lazy Task Creation on Shared Memory Machines for C Programs[[br]] |
| 259 | 共有メモリ並列計算機上におけるCプログラムのためのLazy Task Creation[[br]] |
| 260 | ([/~tabata/index-j.html 田端 邦男]) |
| 261 | * Research on Effects of Mobile Object Programming with Describing Distributed Application[[br]] |
| 262 | 移動オブジェクトプログラミングの分散処理記述による有効性の研究[[br]] |
| 263 | ([/~eye/ 人見 俊太郎]) |
| 264 | * Implementation of an Efficient and Reusable Distributed Garbage Collector and Evaluation of Its Performance[[br]] |
| 265 | 効率的で再利用可能な分散GCライブラリの設計と性能評価[[br]] |
| 266 | ([/~ymmt/ 山本 泰宇]) |
| 267 | |
| 268 | == 1997 == |
| 269 | * A Scalable Mark-Sweep Garbage Collector on Large-Scale Shared-Memory Machines[[br]] |
| 270 | 大規模共有メモリマシン上のスケーラブルなマークスイープ法ガーベジコレクタ[[br]] |
| 271 | ([/~endo/ 遠藤 敏夫]) |
| 272 | * An Efficient Compilation Framework for Parallel Programming Languages Based on a Concurrent Process Calculus[[br]] |
| 273 | 並行計算に基づく並列プログラミング言語のための効率的なコンパイルの枠組み[[br]] |
| 274 | ([/~oyama/ 大山 恵弘]) |
| 275 | |
| 276 | == 1996 == |
| 277 | * ([/~haruo/ 細谷 晴夫]) |
| 278 | |
| 279 | == 1995 == |
| 280 | * ([/~shimizu/home.html 清水 智弘]) |
| 281 | * ([http://platinum.ims.u-tokyo.ac.jp/~nakaya/index.htm 中谷 明弘]) |
| 282 | |
| 283 | == 1994 == |
| 284 | * A Study on Debugging Schemes in Concurrent Programs on Massively Parallel Processors[[br]] |
| 285 | 超並列計算機上の並列プログラム用デバッグ方式の研究[[br]] |
| 286 | ([/~kamada/home.html Tomio Kamada]) |
| 287 | * An Extension to a Parallel Constraint Logic Programming Language For Applications in Optimization Problems[[br]] |
| 288 | 最適化問題への応用のための並列制約論理型言語の拡張[[br]] |
| 289 | (今野 和浩) |
| 290 | * A Study on Structure of Concurrent Object-Oriented Languages[[br]] |
| 291 | 並列オブジェクト指向言語の構造に関する研究[[br]] |
| 292 | ([/~cocoa/home.html 関口 龍郎]) |
| 293 | * Efficient Satisfaction of Constraint Hierarchies[[br]] |
| 294 | 制約階層の効率的な解消法[[br]] |
| 295 | ([/~detail/index-j.html 細部 博史]) |
| 296 | |
| 297 | == 1993 == |
| 298 | * Design and Implementation of Concurrent Object-Oriented Programming Languages on Stock Multicomputers[[br]] |
| 299 | 並列オブジェクト指向言語のマルチコンピュータ上における設計および実装[[br]] |
| 300 | ([/~tau/home.html 田浦 健次朗])[[br]] |
| 301 | Postscript file: |
| 302 | [ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/taura-master-thesis-a4.ps.Z A4 size], |
| 303 | [ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/taura-master-thesis-letter.ps.Z letter size] (375k bytes each) |
| 304 | * Study on a Reflective Architecture to Provide Efficient Dynamic |
| 305 | Resource Management for Highly-Parallel Object-Oriented Applications[[br]] |
| 306 | 高並列オブジェクト指向アプリケーションのための効率のよい動的資源管理方式を提供する自己反映アーキテクチャの研究[[br]] |
| 307 | ([/~masuhara/home.html 増原 英彦])[[br]] |
| 308 | Postscript file: |
| 309 | [ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/masuhara-masterthesis-a4.ps.Z A4 size], |
| 310 | [ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/masuhara-masterthesis-letter.ps.Z letter size] (278k bytes each) |
| 311 | * Lexicon Acquisition in HPSG-based Grammars[[br]] |
| 312 | (鳥澤 健太郎) |
| 313 | * An Application of Parallel Object-Oriented Methodology to Molecular Dynamics Simulation[[br]] |
| 314 | (Naohito Omori) |
| 315 | * Compiler Design and Implementation Techniques for Parallel Constraint Logic Programming Languages[[br]] |
| 316 | 並列制約論理型言語のコンパイラ設計と実装技法[[br]] |
| 317 | (長塚 雅明) |
| 318 | * Interactive Generation of Graphical User Interfaces by Multiple Visual Examples[[br]] |
| 319 | 複数の視覚的例による直接操作インターフェースの対話的実現[[br]] |
| 320 | (宮下 健) |
| 321 | |
| 322 | == 1992 == |
| 323 | * Asynchronous Communication Model based on Linear Logic[[br]] |
| 324 | 線形論理に基づく非同期通信モデル[[br]] |
| 325 | ([/~koba/home-j.html 小林 直樹]) |
| 326 | * Dialogue System Based on Dynamical Constraint Programming[[br]] |
| 327 | 力学制約プログラミングに基づいた対話システム[[br]] |
| 328 | ([/~mya-u/home.html 宮田 高志]) |
| 329 | * A Framework for Constructing Animations via Declarative Mapping Rules[[br]] |
| 330 | 宣言的対応規則によるアニメーション作成のための枠組み[[br]] |
| 331 | ([/~takahasi/home.html 高橋 伸]) |
| 332 | * RNA Secondary Structure Prediction Using Highly Parallel Computer[[br]] |
| 333 | 高並列計算機による RNA の2次構造予測[[br]] |
| 334 | (Yoshisato Takeda) |
| 335 | * Parallel Conservative Garbage Collection with !``Almost Synchronization-free!'' Fast Object Allocation[[br]] |
| 336 | 同期のほぼ不要にオブジェクト割り付けの可能な Conservative Garbage Collection[[br]] |
| 337 | ([/~furuso/home.html 古荘 進一]) |
| 338 | |
| 339 | == 1991 == |
| 340 | * Model Checking of Finite State CSP[[br]] |
| 341 | 有限状態 CSP のモデル検査[[br]] |
| 342 | ([http://www.is.s.u-tokyo.ac.jp/~asai/ 浅井 健一]) |
| 343 | * A Framework for Describing Mental States and their Dynamic |
| 344 | Changes of Dialog Participants[[br]] |
| 345 | 対話参加者の心的記述とその動的変化に関する枠組[[br]] |
| 346 | (村田 剛志) |