wiki:ThesesForDegrees
Last modified 12 years ago Last modified on 04/03/12 12:24:27

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

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)
  • Implementation of Inline Caching with Variables of Bytecode for Python (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

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)