Changes between Initial Version and Version 1 of ThesesForDegrees

Timestamp:

02/15/09 22:48:57 (15 years ago)

Author:

yonelab

Comment:

--

ThesesForDegrees

@@ +1 @@
+{{{
+#!html
+<div style="text-align: right"><a href="ThesesForDegrees.ja">Japanese</a></div>
+}}}
+
+= Theses for Degrees = #titleheading
+[#doctor Ph.D. Thesis][[br]]
+[#master Master Thesis][[br]]
+[#senior Senior Thesis]
+
+Numbers indicate Japanese academic years (from April to March). 
+
+= Ph.D. Thesis = #doctor
+== 2007 ==
+ * Type Systems for Formal Verification of Concurrent Programs
+ ([/~kohei/ Kohei Suenaga])
+ * Formal Verification of Low-level Software
+ ([/~nicolas/ Marti Nicolas])
+
+== 2005 ==
+ * Writing an Operating System with a Strictly Typed Assembly Language
+ ([/~tosh/ Toshiyuki Maeda])
+ * Middleware Systems for Enabling users to Adapt to Dynamic Changes in Execution Environments
+ ([/~kaneda/ Kenji Kaneda])
+
+== 2004 ==
+ * Implementation of a Fail-Safe ANSI C Compiler
+ ([/~oiwa/ Yutaka Oiwa])
+ * Defending against Distributed Denial of Service Attacks
+ ([/~eric/ Eric Y. Chen])
+ * Verification of Concurrent Programs using Proof Assistants
+ ([/~affeldt/ Reynald Affeldt])
+
+== 2001 ==
+ * Scalable Dynamic Memory Management Module on Shared Memory Multiprocessors
+ ([/~endo/ Toshio Endo])
+
+== 2000 ==
+ * Achieving High Performance for Parallel Programs that Contain Unscalable Modules
+ ([/~oyama/ Yoshihiro Oyama])
+ * Regular Expression Types for XML
+ ([/~haruo/ Haruo Hosoya])
+
+== 1999 ==
+ * A Study on Mobile Language Systems
+ ([/~sachiko/ Tatsurou Sekiguchi])
+
+== 1998 ==
+ * Analyses and Reduction of Operational Overhead in Computer-Assisted Drawing
+ ([/~sachiko/ Sachiko Kawachiya])
+ * Architecture Design and Compilation Techniques Using Partial 
+ Evaluation in Reflective Concurrent Object-Oriented Languages
+ ([/~masuhara/ Hidehiko Masuhara])
+
+== 1997 ==
+ * Theoretical Properties and Efficient Satisfaction of
+ Hierarchical Constraint Systems
+ ([/~detail/index-j.html Hiroshi Hosobe])
+ * Efficient and Reusable Implementation of Fine-Grain
+ Multithreading and Garbage Collection on Distributed-Memory
+ Parallel Computers
+ ([/~tau/home.html Kenjiro Taura])
+
+== 1996 ==
+ * Modularity and Composability in an Object-Oriented Library
+ Framework for Parallel and Distributed Computation
+ (Naohito Sato)
+ * Concurrent Linear Logic Programming
+ ([/~koba/home-j.html 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)[[br]]
+ Postscript file:[ftp://ftp.yl.is.s.u-tokyo.ac.jp/pub/papers/Garrigue-PhD-a4.ps.gz A4 size,]
+ [ftp://ftp.yl.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
+ ([/members/yasugi/home.html Masahiro Yasugi])[[br]]
+ Postscript file:[ftp://ftp.yl.is.s.u-tokyo.ac.jp/pub/papers/YasugiThesis-TR94-07-a4.ps.Z A4 size,]
+ [ftp://ftp.yl.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.(Satoshi Matsuoka)[[br]]
+ Postscript file:
+ [ftp://ftp.yl.is.s.u-tokyo.ac.jp/pub/papers/matsuoka-thesis-a4.ps.Z A4 size,]
+ [ftp://ftp.yl.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 
+ (Yuuji Ichisugi)
+
+= Master Thesis = #master
+== 2007 ==
+ * Reactive Model Checking for Game Scenarios
+ ([/~koyu/ Takahiro Yamazaki])
+ * Design and Implementation of a Strongly Typed Intermediate Language for GCC
+ ([/~oda-ys/ Yasushi Oda])
+ * Extending Alias Types with Separating
+ ([/~haruki/ Haruki Sato])
+ * Automatic Parallelization of Purely Functional Programs with Estimation of Function Evaluation Cost
+ ([/~tanakh Hideyuki Tanaka])
+ * Secure Information Flow for Resources
+ ([/~yamashita/ Ryozo Yamashita])
+
+== 2006 ==
+ * Fast and Precise Code Clone Reduction by Incremental Analysis
+ ([/~hedkandi/ Hideaki Sato])
+ * 
+ ([/~disk-ec7/ Daisuke Shimamoto])
+ * Distributed System Test Bed by Virtualization of the View for OS Resources
+ ([/~zbkt/ Yoshiki Nishikawa])
+ * Design and Implementation of Locality-Aware Distributed File System for Wide-Area Grid Environments
+ ([/~dunnan/ Dun Nan])
+
+== 2005 ==
+ * Combining Type-Based Analysis and Model Checking for Finding Counterexamples against Non-Interference
+ ([/~uhiro/ Hiroshi Unno])
+ * Continuation Join Point
+ ([/~mame/ Yusuke Endo])
+ * Application-Specific Virtual Environments for Migration and Checkpointing
+ ([/~y_yoko/ Yousuke Yokoyama])
+ * A Framework Using a Common Language to Build Program Verifiers for Low-Level Languages
+ ([/~tossy-2/ Toshihiro Yoshino])
+
+== 2004 ==
+ * A Bytecode Translation for Pointcut Description Based on Data Dependency ([/~oyuichi/ Yuichi Oneda])
+ * Design and Implementation of a Mobile Computing System Based on a CPU Emulator ([/~koichi/ Koichi Onoue])
+ * Translation of Tree-processing Programs into Stream-processing Programs Based on Ordered Linear Types ([/~kohei/ Kohei Suenaga])
+ * An Aspect-oriented Language for Functional Programming ([/~hideaki/ 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
+ ([/~mass/ Masashi Seiki])
+ * Region-Based Memory Management for Dynamic Typed Language
+ ([/~ganat/ Akihito Nagata])
+ * Designing and Implementing a Distributed Component Language with Transparent Mobility
+ ([/~tak/ Takashi Masuyama])
+
+== 2002 ==
+ * Implementing a Runtime System for Parallel and Distributed Computation on the 
+ Internet and Its Applications
+ ([/~kaneda/ Kenji Kaneda])
+ * An Efficient Garbage Collector in the Presence of Ambiguous References
+ ([/~yoshinor/ Yoshinori Kobayashi])
+ * Regular Expression Types for Strings in a Text Processing Language
+ ([/~tabee/ Naoshi Tabuchi])
+ * Java Bytecode Transformation for Fine Grain CPU Resource Management
+ ([/~hayami/ Yuta Hayami])
+ * Resource Usage Analysis with References
+ ([/~tatsuo/ Tatsuo Minakami])
+
+== 2001 ==
+ * Supporting Object-Oriented Features in Run-time Bytecode Specialization
+ ([/~affeldt/ Reynald Affeldt])
+ * A Self-organizing Hierarchical Network for Global Parallel Computing
+ ([/~yohei/ Yohei Ueda])
+ * Dynamic Thread Mapping for Distributed Data Intensive Applications
+ ([/~takas/ Takahiro Sakamoto])
+ * A Type System for Object Usage Analysis in Java Bytecode      
+ ([/~hamanaka/ Nobuyuki Hamanaka])
+ * Distributed web crawling with dynamically joining/leaving resources      
+ ([/~sshong/ Hong Soonsang])
+ * Safe Execution of User Programs in Kernel Mode using Typed Assembly Language
+ ([/~tosh/ Toshiyuki Maeda])
+ * Designing a Virtual Machine Independent Compiler Interface
+ ([/~yamauchi/ Hiroshi Yamauchi])
+
+== 2000 ==
+ * A Java-based Language With Type-safe Dynamic Code Generation
+ ([/~oiwa/ Yutaka Oiwa])
+ * Evaluation of Expressiveness and Performance of OpenMP Using a Suite of SPLASh2 Applications
+ ([/~shuhei/ Shuhei Okado])
+ * Efficient Type Inference for the Quasi-linear type system
+ ([/~kariya/ Hideki Kariya])
+ * Implementation and Evaluation of Nested Parallelism in OpenMP
+ ([/~y-tanaka/ Yoshizumi Tanaka])
+ * A Study on a Typed Process Calculus for Access Control in Distributed Computation
+ ([/~hoshina/ Daisuke Hoshina])
+
+== 1999 ==
+ * Dynamic access control of mobile objects by switching name spaces 
+ ([/~takeo/ Takeo Imai])
+ * Lazy Task Creation with Stack Swapping to Improve Memory Locality
+ ([/~sumio/ Sumio Toyama])
+ * An extension of C++ that supports thread migration with little loss of normal execution efficiency
+ ([/~nayuta/ Nayuta Taga])
+
+== 1998 ==
+ * Software-based Fine-grained Memory Protection Supporting Dynamic 
+ Changes of Attributes
+ ([/~gotoh/ Norifumi Gotoh])
+ * Lazy Task Creation on Shared Memory Machines for C Programs
+ ([/~tabata/index-j.html Kunio Tabata])
+ * Research on Effects of Mobile Object Programming with Describing 
+ Distributed Application
+ ([/~eye/ Shuntaro Hitomi])
+ * Implementation of an Efficient and Reusable Distributed Garbage Collector
+ and Evaluation of Its Performance
+ ([/~ymmt/ Hirotaka Yamamoto])
+
+== 1997 ==
+ * A Scalable Mark-Sweep Garbage Collector on Large-Scale
+ Shared-Memory Machines
+ ([/~endo/ Toshio Endo])
+ * An Efficient Compilation Framework for Parallel Programming
+ Languages Based on a Concurrent Process Calculus
+ ([/~oyama/ Yoshihiro Oyama])
+
+== 1996 ==
+ * 
+ ([/~haruo/ Haruo Hosoya])
+
+== 1995 ==
+ * 
+ ([/~shimizu/home.html Toshihiro Shimizu])
+ * 
+ ([http://platinum.ims.u-tokyo.ac.jp/~nakaya/index.htm Akihiro Nakaya])
+
+== 1994 ==
+ * A Study on Debugging Schemes in Concurrent Programs
+ on Massively Parallel Processors 
+ ([/members/kamada/home.html Tomio Kamada])
+ * An Extension to a Parallel Constraint Logic Programming Language
+ For Applications in Optimization Problems 
+ ([/members/kaz/home.html KONNO Kazuhiro])
+ * A Study on Structure of Concurrent Object-Oriented Languages 
+ ([/members/cocoa/home.html Tatsuro Sekiguchi])
+ * Efficient Satisfaction of Constraint Hierarchies 
+ (Hiroshi Hosobe)
+
+== 1993 ==
+ * Design and Implementation of Concurrent Object-Oriented Programming Languages on Stock Multicomputers 
+ ([/members/tau/home.html Kenjiro Taura])[[br]]
+ Postscript file:
+ [ftp://ftp.yl.is.s.u-tokyo.ac.jp/pub/papers/taura-master-thesis-a4.ps.Z A4 size],
+ [ftp://ftp.yl.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 
+ ([/members/masuhara/home.html Hidehiko Masuhara])[[br]]
+ Postscript file: [ftp://ftp.yl.is.s.u-tokyo.ac.jp/pub/papers/masuhara-masterthesis-a4.ps.Z A4 size,]
+ [ftp://ftp.yl.is.s.u-tokyo.ac.jp/pub/papers/masuhara-masterthesis-letter.ps.Z 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 
+ ([/members/mya-u/home.html 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 
+ ([/members/furuso/home.html 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 = #senior
+== 2007 ==
+ * Dependent Types in Imperative Programming Language
+ ([/~ushioda/ Sukehide Ushioda])
+ * Detecting Creation of Processes and Execution of Applications without Modifying Guest OS Kernel on Virtual Machine Monitor
+ ([/~sawazaki/ Junya Sawazaki])
+ * Array Bounds Inference with a Model Checker for a Dependent Type System
+ ([/~nojiri/ Takahiro Nojiri])
+ * Constraint Solver for Bounded Integer with Correctness Proof
+ ([/~murata/ Masayuki Murata])
+
+== 2006 ==
+ * Typed Assembly Language for Conditional Execution
+ ([/~iizuka/ Daisuke Iizuka])
+ * Compiling C Programs into a Type-safe Assembly Language
+ ([/~kosakai/ Takahiro Kosakai])
+ * Examination of Application of Model Checking for Automatic Verification of Safety of Memory Operation
+ ([/~sgotou/ Satoshi Goto])
+
+== 2005 ==
+ * A Library for Replay-based Recovery
+ ([/~osumi/ Hiroyuki Osumi])
+ * Implementation of Programming Language based on Alias Types and Measurement of Its Ability
+ ([/~haruki/ Haruki Sato])
+ * Implementation of Information Flow Analysis using Dynamic Type Checking
+ ([/~yamashita/ Ryozo Yamashita])
+
+== 2004 ==
+ * Effective Software Obfuscation by Mixing Instructions and Data
+ ([/~hedkandi/ SATOH Hideaki])
+ * Detecting Intrusions on Windows Operating Systems by Monitoring System Services
+ ([/~disk-ec7/ Daisuke Shimamoto])
+ * Reliable Peer-to-Peer Framework for Massively Multiplayer Online Games
+ ([/~koyu/ Takahiro Yamazaki])
+
+== 2003 ==
+ * Aspect-Oriented Virtual Machine for Supporting Dynamic Weaving and High-Level Features
+ ([/~mame/ Yusuke Endo])
+ * Region Representation Inference for Dynamically-Typed Language
+ ([/~shinyak/ Shinya Kawanaka])
+ * A Toolkit for Developing Extensible and Portable Checkpoint Systems
+ ([/~y_yoko/ Yosuke Yokoyama])
+ * Design and Implementation of a Self-Repairing Reference Monitor
+ ([/~tossy-2/ Toshihiro Yoshino])
+
+== 2002 ==
+ * The Interface Definition Language for Fail-Safe C
+ ([/~kohei/ Kohei Suenaga])
+ * Cps Conversion of Procedural Language with Exception Handling and Its Formalization
+ ([/~oyuichi/ Yuichi Oneda])
+ * Packrat Parsing with State
+ ([/~suzu/ Takuo Suzuki])
+ * Translating Security Protocols from Informal Notation into Spi Calculus
+ ([/~hideaki/ Hideaki Tatsuzawa])
+
+== 2001 ==
+ * Parallelizing Programs Using Access Traces
+ ([/~vietha/ Nguyen Viet Ha])
+ * A Scenario Description Language Based on a State Transition Model and its Automatic Consistency Checking
+ ([/~mass/ Masashi Seiki])
+ * Scheme-to-Java Translator with Soft Typing
+ ([/~ganat/ Akihito Nagata])
+ * An Approach to Separate compilation of C++ Templates
+ ([/~tak/ Takashi Masuyama])
+
+== 2000 ==
+ * A New Type System for JVM Lock Primitive
+ ([/~iwama/ Futoshi Iwama])
+ * Virtual Private Grid (VPG): A Command Shell for Utilizing Remote Machines Efficiently
+ ([/~kaneda/ Kenji Kaneda])
+ * Java Bytecode Transformation for Fine Grain CPU Resource Management
+ ([/~hayami/ Yuta Hayami])
+ * Design and Implementation of Storage Server for Mobile Clients
+ ([/~tatsuo/ Tatsuo Mizukami])
+
+== 1999 ==
+ * Single Memory Image for Heterogeneous Distributed Computing: Its Implementation and Evaluation
+ ([/~yohei/ Yohei Ueda])
+ * Java Bytecode Translation for Transparent Migration
+ ([/~takas/ Takahiro Sakamoto])
+ * An Implementation of Distributed Cyclic Garbage Collection for Java RMI
+ ([/~hamanaka/ Nobuyuki Hamanaka])
+ * Automatic Library Translation for Host-local Resources in Languages with Object Mobility
+ ([/~yamauchi/ Hiroshi Yamauchi])
+
+== 1998 ==
+ * Extending Java Virtual Machine to Improve Performance of Dynamically-Typed Languages
+ ([/~oiwa/ Yutaka Oiwa])
+ * Adding Fine-Grain Threading to Python Using !StackThreads/MP
+ ([/~shuhei/ Shuhei Okado])
+ * Copying Garbage Collection in the Presence of Uncertain Pointers
+ ([/~y-tanaka/ Yoshizumi Tanaka])
+
+== 1997 ==
+ * Implementation and Evaluation of Concurrent Object in Schematic
+ ([/~sumio/ Sumio Toyama])
+ * Implementation of Mobile Scheme
+ ([/~nayuta/ Nayuta Taga])
+
+== 1996 ==
+ * Improving execution efficiency of Tree-Structure-Based Parallel Programs
+ ([/~gotoh/ Norifumi Gotoh])
+ * Mobile Emacs Lisp: An Extension to Emacs Lisp for Efficient Editing on Wide-Area Network
+ ([/~eye/ Shuntaro Hitomi])
+ * A Research on Execution Performance of Parallel Programs on a Workstation Cluster
+ ([/~ymmt/ Hirotaka Yamamoto])
+
+== 1995 ==
+ * A Methodology for Constructing a Portable Garbage Collector on Parallel Machines
+ ([/~endo/ Toshio Endo])
+ * A General Framework for Compiling Fine-grain Threads in Concurrent Object-Oriented Languages
+ ([/~oyama/ Yoshihiro Oyama])
+
+== 1994 ==
+ * Study on Mechanisms For Multi-Object Synchronization and Their Implementation
+ ([http://tje12.is.s.u-tokyo.ac.jp:10000/~igarashi/igarashi.html IGARASHI Atsushi])
+ * Static Analysis on Communication for Asynchronous Concurrent Programming Languages
+ (Motoki Nakade)
+ * Control Constructs in Concurrent Object-Oriented Languages
+ [http://tje12.is.s.u-tokyo.ac.jp:10000/~haruo/myhome.html HOSOYA Haruo])
+ * Dialogue processing with Mental World Structure
+ (BEKKI Daisuke)
+ * Construction of a Japanese-text Generation System With Semantic-Head-Driven Generation
+ ([http://tje12.is.s.u-tokyo.ac.jp:10000/~moriwaki/ 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
+ ([/members/shimizu/home.html SHIMIZU Toshihiro])
+
+== 1992 ==
+ * An Efficient Implementation of a Parallel Constraint Logic Programming Language and its Applications
+ ([/members/kaz/home.html Kazuhiro Konno])
+ * An Algorithm of Distributed Garbage Collections on a Multicomputer and its Performance Evaluation
+ ([/members/kamada/home.html 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
+ ([/members/cocoa/home.html Tatsuro Sekiguchi])
+
+== 1991 ==
+ * Inductive Inference under Algebraic Specifications
+ ([/members/dai/home.html Daisuke Suzuki])
+ * A Study of an Implementation of an Object-Oriented Concurrent Language on Distributed Memory Parallel Architecture
+ ([/members/tau/home.html 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
+ ([/members/masuhara/home.html 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
+ ([/members/furuso/home.html Shin-ichi Furuso])
+ * Domain Independent Dialog System
+ ([/members/mya-u/home.html 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)