Theses for Degrees

Ph.D. Thesis
Master Thesis
Senior Thesis

Numbers indicate Japanese academic years (from April to March).

Ph.D. Thesis

2010

• Operating System Structures for High Performance Computer Clusters (Masaaki Shimizu)
• Rapidly Deployable, Scalable, and High-Performance Distributed File System for Data-Intensive Distributed Computing (Dun Nan)

2009

• VMM-based Systems for Enhancing Application Security (Koichi Onoue)

2008

• Dependent Type Inference for Program Verification (Hiroshi Unno)

2007

• Type Systems for Formal Verification of Concurrent Programs (Kohei Suenaga)
• Formal Verification of Low-level Software (Marti Nicolas)

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

2011

• Fine-Grain Multithread Framework for Divide-and-Conquer Applications on Distributed Memory Machines (Shigeki Akiyama)
• 
  (Takurou Ikejiri)
• Deterministic Parallel Copying Garbage Collection
  (Masayuki Murata)

2010

• Programming Language Support for Multiple Mobile Ad Hoc Networks (Tomohiro Suzuki)
• Study on Proof of Type Preservation in CPS Transformation (Yuki Watanabe)

2009

• Stack Types with Bounded Existential Quantification (Daisuke Iizuka)
• A Hybrid Virtual Machine Monitor for Implementing Flexible and High-Performance Security Mechanisms (Junya Sawazaki)
• Parallelization of Safety Verification in SPIN Model Checker (Takahiro Nojiri)

2008

• A Distributed Storage System for Virtual Disk Management (Hiroyuki Osumi)
• A Typed Assembly Language with Reference Counting (Takahiro Kosakai)
• A Merging Facility for a Tree-Structured Versioning File System (Wataru Takaki)

2007

• Reactive Model Checking for Game Scenarios (Takahiro Yamazaki)
• Design and Implementation of a Strongly Typed Intermediate Language for GCC (Yasushi Oda)
• Extending Alias Types with Separating (Haruki Sato)
• Automatic Parallelization of Purely Functional Programs with Estimation of Function Evaluation Cost (Hideyuki Tanaka)
• Secure Information Flow for Resources (Ryozo Yamashita)

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

• Type Inference Garbage Collection and Its Parallelization (Haruo Hosoya)
• Type-based Analysis of Usage of Values for Concurrent Programming Languages (Atsushi Igarashi)

1995

• A Study on Implementation of a Typed Concurrent Programming Language on Distributed Machines (Toshihiro Shimizu)
• RNA Secondary Structure Prediction and Visualization Using Highly Parallel Computers (​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

2010

• Lightweight Implementation of Profile-Driven Implicit Parallelization for Haskell (Junya Arai)
• Analysis and Sugesstion on Security Requirements for Software Development (Yuto Takei)
• Improving BEEP Approach for Preventing XSS Attacks and Reducing Its Overhead (Masato Tanaka)

2009

• Encapsulation in Prototype-Based Object-Oriented Language using Ownership Types (Takuro Ikejiri)

2008

• Realizing Fairness in StackThreads?/MP Scheme (Keiichiro Uemura)
• A Honeypot System Solving Dilemma Between Freedom and Restriction (Tomohiro Suzuki)
• Extending Hoare Type Theory for Arrays (Yuki Watanabe)

2007

• Dependent Types in Imperative Programming Language (Sukehide Ushioda)
• Detecting Creation of Processes and Execution of Applications without Modifying Guest OS Kernel on Virtual Machine Monitor (Junya Sawazaki)
• Array Bounds Inference with a Model Checker for a Dependent Type System (Takahiro Nojiri)
• Constraint Solver for Bounded Integer with Correctness Proof (Masayuki Murata)

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)