Computer Science in Japanese is Funnier

This page gathers materials I produced during my graduate studies at the University of Tokyo.

• Seminars:
  • 31/05/02, Shape analysis
  • 29/01/02, Certified compilation/certifying compilation
  • 22/11/01, BI as an Assertion Language for Mutable Data Structures
  • 18/07/01, Offline partial evaluation of Java bytecodes
  • 18/04/01, Plan9 and Inferno Overview
  • 07/02/01, Interim presentation for master thesis
  • 18/10/00, Dynamic compilation
  • 12/06/00, Operational semantics of an online partial evaluator for Ocaml bytecodes
  • 08/05/00, Online partial evaluation of the bytecode of an Ocaml program
  • 28/02/00, Operational semantics of Ocaml bytecodes
  • 07/01/00, Run-time Code Generation and ML
  • 21/10/99, Abstract machines for functional languages
• Homeworks:
  • 02/01, Radiosity and non-photorealistic rendering (class on radiosity and non-photorealistic rendering)
  • 11/00, Loop invariant code motion in GCC (class on advanced compiler construction)
  • 7/00, Smallest Enclosing Spheres (class on randomized algorithms)
  • 07/00, Type systems and control-flow analysis (class on type systems)
  • 6/00, Fibre Channel (class on parallelism and networking)
  • 01/00, Model-Checking (class on model-checking)
  • 11/99, Virtual Method Call Resolution in Java (class on mobile agents and security)
• Graduate school entrance examination: These books picture the required knowledge in computer science and in mathematics. Most of them are used during the classes the undergraduate students attend to and also to conceive the examination in itself. Some LaTeXified exercices.
• Entry for the JSPP'99 conference programming contest.