= 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)