List of Theses for Degrees

In Japanese

This page is still under construction.

Ph.D. Thesis
Master Thesis
Senior Thesis

Numbers enclosed with [ ] indicate Japanese academic years (from April to March).

Ph.D. Thesis

[2005]
- Writing an Operating System with a Strictly Typed Assembly Language (Toshiyuki Maeda)
- Middleware Systems for Enabling users to Adapt to Dynamic Changes in Execution Environments (Kenji Kaneda)
[2004]
- Implementation of a Fail-Safe ANSI C Compiler (Yutaka Oiwa)
- Defending against Distributed Denial of Service Attacks (Eric Y. Chen)
- Verification of Concurrent Programs using Proof Assistants (Reynald Affeldt)
[2001]
- Scalable Dynamic Memory Management Module on Shared Memory Multiprocessors (Toshio Endo)
[2000]
- Achieving High Performance for Parallel Programs that Contain Unscalable Modules (Yoshihiro Oyama)
- Regular Expression Types for XML (Haruo Hosoya)
[1999]
- A Study on Mobile Language Systems (Tatsurou Sekiguchi)
[1998]
- Analyses and Reduction of Operational Overhead in Computer-Assisted Drawing (Sachiko Kawachiya)
- Architecture Design and Compilation Techniques Using Partial Evaluation in Reflective Concurrent Object-Oriented Languages (Hidehiko Masuhara)
[1997]
- Theoretical Properties and Efficient Satisfaction of Hierarchical Constraint Systems (Hiroshi Hosobe)
- Efficient and Reusable Implementation of Fine-Grain Multithreading and Garbage Collection on Distributed-Memory Parallel Computers (Kenjiro Taura)
[1996]
- Modularity and Composability in an Object-Oriented Library Framework for Parallel and Distributed Computation (Naohito Sato)
- Concurrent Linear Logic Programming (Naoki Kobayashi)
[1994]
- New Methods to Analyze Japanese Morphemes and Dependency Structure AND Formalization of Rules to Derive Implied Meanings (Takeshi Fuchi)
- Formal Models of Dialogue Participants (Toru Sugimoto)
- Label-Selective Lambda-Calculi and Transformation Calculi. (Jacques Garrigue)
  Postscript file:A4 size, letter size (283k bytes each)
[1993]
- A Concurrent Object-Oriented Programming Language System for Highly Parallel Data-Driven Computers and its Applications (Masahiro Yasugi)
  Postscript file:A4 size, letter size (590k bytes each)
- Language Features for Extensibility and Re-use in Concurrent Object-Oriented Languages.(Satoshi Matsuoka)
  Postscript file: A4 size, letter size (923k bytes each)
[1992]
- A Reflective Object-Oriented Concurrent Language for Distributed Environments (Yuuji Ichisugi)

Master Thesis

[2006]
- Fast and Precise Code Clone Reduction by Incremental Analysis (Hideaki Sato)
- (Daisuke Shimamoto)
- Distributed System Test Bed by Virtualization of the View for OS Resources (Yoshiki Nishikawa)
- Design and Implementation of Locality-Aware Distributed File System for Wide-Area Grid Environments (Dun Nan)
[2005]
- Combining Type-Based Analysis and Model Checking for Finding Counterexamples against Non-Interference (Hiroshi Unno)
- Continuation Join Point (Yusuke Endo)
- Application-Specific Virtual Environments for Migration and Checkpointing (Yousuke Yokoyama)
- A Framework Using a Common Language to Build Program Verifiers for Low-Level Languages (Toshihiro Yoshino)
[2004]
- A Bytecode Translation for Pointcut Description Based on Data Dependency (Yuichi Oneda)
- Design and Implementation of a Mobile Computing System Based on a CPU Emulator (Koichi Onoue)
- Translation of Tree-processing Programs into Stream-processing Programs Based on Ordered Linear Types (Kohei Suenaga)
- An Aspect-oriented Language for Functional Programming (Hideaki Tatsuzawa)
- An Integrated Approach to Assessing the Reliability of Large-Scale Protein-Protein Interaction Data (Akihito Tokuda)
- A Fault-tolerant, Autonomic, Adaptive Search Engine (Fujimoto Hirofumi)
[2003]
- Model Checking for Computer Game Scenarios (Masashi Seiki)
- Region-Based Memory Management for Dynamic Typed Language (Akihito Nagata)
- Designing and Implementing a Distributed Component Language with Transparent Mobility (Takashi Masuyama)
[2002]
- Implementing a Runtime System for Parallel and Distributed Computation on the Internet and Its Applications (Kenji Kaneda)
- An Efficient Garbage Collector in the Presence of Ambiguous References (Yoshinori Kobayashi)
- Regular Expression Types for Strings in a Text Processing Language (Naoshi Tabuchi)
- Java Bytecode Transformation for Fine Grain CPU Resource Management (Yuta Hayami)
- Resource Usage Analysis with References (Tatsuo Minakami)
[2001]
- Supporting Object-Oriented Features in Run-time Bytecode Specialization (Reynald Affeldt)
- A Self-organizing Hierarchical Network for Global Parallel Computing (Yohei Ueda)
- Dynamic Thread Mapping for Distributed Data Intensive Applications (Takahiro Sakamoto)
- A Type System for Object Usage Analysis in Java Bytecode (Nobuyuki Hamanaka)
- Distributed web crawling with dynamically joining/leaving resources (Hong Soonsang)
- Safe Execution of User Programs in Kernel Mode using Typed Assembly Language (Toshiyuki Maeda)
- Designing a Virtual Machine Independent Compiler Interface (Hiroshi Yamauchi)
[2000]
- A Java-based Language With Type-safe Dynamic Code Generation (Yutaka Oiwa)
- Evaluation of Expressiveness and Performance of OpenMP Using a Suite of SPLASh2 Applications (Shuhei Okado)
- Efficient Type Inference for the Quasi-linear type system (Hideki Kariya)
- Implementation and Evaluation of Nested Parallelism in OpenMP (Yoshizumi Tanaka)
- A Study on a Typed Process Calculus for Access Control in Distributed Computation (Daisuke Hoshina)
[1999]
- Dynamic access control of mobile objects by switching name spaces (Takeo Imai)
- Lazy Task Creation with Stack Swapping to Improve Memory Locality (Sumio Toyama)
- An extension of C++ that supports thread migration with little loss of normal execution efficiency (Nayuta Taga)
[1998]
- Software-based Fine-grained Memory Protection Supporting Dynamic Changes of Attributes (Norifumi Gotoh)
- Lazy Task Creation on Shared Memory Machines for C Programs (Kunio Tabata)
- Research on Effects of Mobile Object Programming with Describing Distributed Application (Shuntaro Hitomi)
- Implementation of an Efficient and Reusable Distributed Garbage Collector and Evaluation of Its Performance (Hirotaka Yamamoto)
[1997]
- A Scalable Mark-Sweep Garbage Collector on Large-Scale Shared-Memory Machines (Toshio Endo)
- An Efficient Compilation Framework for Parallel Programming Languages Based on a Concurrent Process Calculus (Yoshihiro Oyama)
[1996]
- (Haruo Hosoya)
[1995]
- (Toshihiro Shimizu)
- (Akihiro Nakaya)
[1994]
- A Study on Debugging Schemes in Concurrent Programs on Massively Parallel Processors (Tomio Kamada)
- An Extension to a Parallel Constraint Logic Programming Language For Applications in Optimization Problems (KONNO Kazuhiro)
- A Study on Structure of Concurrent Object-Oriented Languages (Tatsuro Sekiguchi)
- Efficient Satisfaction of Constraint Hierarchies (Hiroshi Hosobe)
[1993]
- Design and Implementation of Concurrent Object-Oriented Programming Languages on Stock Multicomputers (Kenjiro Taura)
  Postscript file: A4 size, letter size (375k bytes each)
- Study on a Reflective Architecture to Provide Efficient Dynamic Resource Management for Highly-Parallel Object-Oriented Applications (Hidehiko Masuhara) Postscript file: A4 size, letter size (278k bytes each)
- Lexicon Acquisition in HPSG-based Grammars (Kentaro Torisawa)
- An Application of Parallel Object-Oriented Methodology to Molecular Dynamics Simulation (Naohito Omori)
- Compiler Design and Implementation Techniques for Paralle Constraint Logic Programming Languages (Masaaki Nagatsuka)
- Interactive Generation of Graphical User Interfaces by Multiple Visual Examples (Ken Miyashita)
[1992]
- Asynchronous Communication Model based on Linear Logic (Naoki Kobayashi)
- Dialogue System Based on Dynamical Constraint Programming (Takashi Miyata)
- A Framework for Constructing Animations via Declarative Mapping Rules (Shin Takahashi)
- RNA Secondary Structure Prediction Using Highly Parallel Computer (Yoshisato Takeda)
- Parallel Conservative Garbage Collection with ``Almost Synchronization-free'' Fast Object Allocation (Shinichi Furuso)
[1991]
- Model Checking of Finite State CSP (Ken-ichi Asai)
- A Framework for Describing Mental States and their Dynamic Changes of Dialog Participants (Tsuyosi Murata)

Senior Thesis

[2006]
- Typed Assembly Language for Conditional Execution (Daisuke Iizuka)
- Compiling C Programs into a Type-safe Assembly Language (Takahiro Kosakai)
- Examination of Application of Model Checking for Automatic Verification of Safety of Memory Operation (Satoshi Goto)
[2005]
- A Library for Replay-based Recovery (Hiroyuki Osumi)
- Implementation of Programming Language based on Alias Types and Measurement of Its Ability (Haruki Sato)
- Implementation of Information Flow Analysis using Dynamic Type Checking (Ryozo Yamashita)
[2004]
- Effective Software Obfuscation by Mixing Instructions and Data (SATOH Hideaki)
- Detecting Intrusions on Windows Operating Systems by Monitoring System Services (Daisuke Shimamoto)
- Reliable Peer-to-Peer Framework for Massively Multiplayer Online Games (Takahiro Yamazaki)
[2003]
- Aspect-Oriented Virtual Machine for Supporting Dynamic Weaving and High-Level Features (Yusuke Endo)
- Region Representation Inference for Dynamically-Typed Language (Shinya Kawanaka)
- A Toolkit for Developing Extensible and Portable Checkpoint Systems (Yosuke Yokoyama)
- Design and Implementation of a Self-Repairing Reference Monitor (Toshihiro Yoshino)
[2002]
- The Interface Definition Language for Fail-Safe C (Kohei Suenaga)
- Cps Conversion of Procedural Language with Exception Handling and Its Formalization (Yuichi Oneda)
- Packrat Parsing with State (Takuo Suzuki)
- Translating Security Protocols from Informal Notation into Spi Calculus (Hideaki Tatsuzawa)
[2001]
- Parallelizing Programs Using Access Traces (Nguyen Viet Ha)
- A Scenario Description Language Based on a State Transition Model and its Automatic Consistency Checking (Masashi Seiki)
- Scheme-to-Java Translator with Soft Typing (Akihito Nagata)
- An Approach to Separate compilation of C++ Templates (Takashi Masuyama )
[2000]
- A New Type System for JVM Lock Primitive (Futoshi Iwama)
- Virtual Private Grid (VPG): A Command Shell for Utilizing Remote Machines Efficiently (Kenji Kaneda)
- Java Bytecode Transformation for Fine Grain CPU Resource Management (Yuta Hayami)
- Design and Implementation of Storage Server for Mobile Clients (Tatsuo Mizukami)
[1999]
- Single Memory Image for Heterogeneous Distributed Computing: Its Implementation and Evaluation (Yohei Ueda)
- Java Bytecode Translation for Transparent Migration (Takahiro Sakamoto)
- An Implementation of Distributed Cyclic Garbage Collection for Java RMI (Nobuyuki Hamanaka)
- Automatic Library Translation for Host-local Resources in Languages with Object Mobility (Hiroshi Yamauchi)
[1998]
- Extending Java Virtual Machine to Improve Performance of Dynamically-Typed Languages (Yutaka Oiwa)
- Adding Fine-Grain Threading to Python Using StackThreads/MP (Shuhei Okado)
- Copying Garbage Collection in the Presence of Uncertain Pointers (Yoshizumi Tanaka)
[1997]
- Implementation and Evaluation of Concurrent Object in Schematic (Sumio Toyama)
- Implementation of Mobile Scheme (Nayuta Taga)
[1996]
- Improving execution efficiency of Tree-Structure-Based Parallel Programs (Norifumi Gotoh)
- Mobile Emacs Lisp: An Extension to Emacs Lisp for Efficient Editing on Wide-Area Network (Shuntaro Hitomi)
- A Research on Execution Performance of Parallel Programs on a Workstation Cluster (Hirotaka Yamamoto)
[1995]
- A Methodology for Constructing a Portable Garbage Collector on Parallel Machines (Toshio Endo)
- A General Framework for Compiling Fine-grain Threads in Concurrent Object-Oriented Languages (Yoshihiro Oyama)
[1994]
- Study on Mechanisms For Multi-Object Synchronization and Their Implementation (IGARASHI Atsushi)
- Static Analysis on Communication for Asynchronous Concurrent Programming Languages (Motoki Nakade)
- Control Constructs in Concurrent Object-Oriented Languages HOSOYA Haruo)
- Dialogue processing with Mental World Structure (BEKKI Daisuke)
- Construction of a Japanese-text Generation System With Semantic-Head-Driven Generation (MORIWAKI Satoshi)
- Automatic Acquisition of The Cost of Connectivity in A Japanese Morphological Analyzer (Chikashi Nobata)
[1993]
- Type Inference for Polymorphic Reference with Subtyping (Akihiro Nakaya)
- A study on an implemenation of HACL compiler on multicomputers (SHIMIZU Toshihiro)
[1992]
- An Efficient Implementation of a Parallel Constraint Logic Programming Language and its Applications (Kazuhiro Konno)
- An Algorithm of Distributed Garbage Collections on a Multicomputer and its Performance Evaluation (Tomio Kamada)
- A Constraint Solving Method for Real-Time Interaction in User Interfaces (Hiroshi Hosobe)
- An Object-Oriented Approach to Parsing for Unification-based Grammars (Kengpang Lee)
- Construction of Type Inference Systems for Concurrent Object-Oriented Languages (Tatsuro Sekiguchi)
[1991]
- Inductive Inference under Algebraic Specifications (Daisuke Suzuki)
- A Study of an Implementation of an Object-Oriented Concurrent Language on Distributed Memory Parallel Architecture (Kenjirou Taura)
- Acquiring Discourse Domain Knowledge with a Dialog System (Kentarou Torisawa)
- The Implementation of Constraint Logic Programming on Parallel Computer (Masaaki Nagatsuka)
- Study on Implementation of an Object-Oriented Concurrent Reflective Language (Hidehiko Masuhara)
- Programming by Visual Example (Ken Miyashita)
[1990]
- Control of Parallel Computation in Constraint Logic Programming (Naoki Kobayashi)
- User Interface on a Model of Bi-directional Translation Between Picture and Data (Shin Takahashi)
- Dynamic and Reflective Scheduling in Concurrent Object-Oriented Programming Language (Yoshisato Takeda)
- A Distributed Problem Solving Platform with Distributed Blackboard Architecture (Tsuyoshi Hayashi)
- Garbage Collection in A Concurrent Architecture (Shin-ichi Furuso)
- Domain Independent Dialog System (Takashi Miyata)
[1989]
- Multilisp Implementation (Ken-ichi Asai)
- Fast Implementation of Production Systems (Hideaki Kuwada)
- FDS-A Flexible Dialog System (Takeshi Murata)
- A Study of Hopfield Network (Susumu Hasegawa)

WWW administrator

$Id: thesis.html,v 1.33 2007/06/25 12:20:25 tosh Exp $