Meeting Schedule: Apr. 2004 -- Mar. 2005
- 2005 3 28 (Mon.) 16:30- [disk-ec7] Progress report
- 2005 3 22 (Tue.) 16:00-- [furuse] Progress report
- 2005 3 15 (Tue.) [tosh] POPL 2005 Report (ppt)
- 2005 3 8 (Tue.) not held
- 2005 3 1 (Tue.) [oyama] VEEML: A Library for Utilizing Hundreds of Virtual Execution Environments Effectively
- 2005 2 22 (Tue.) [shmz]
- 2005 2 15 (Tue.) [uhiro] BI as an assertion language for mutable data structures
- 2005 2 8-9 (Tue.-Wed.) Final Presentation for Senior Thesis
- 2005 2 1-2 (Tue.-Wed.) Final Presentation for Master's Thesis
- 2005 1 25 (Tue.) [nicolas] Progress Report (for Entrance Examination Interview)
- 2005 1 18 (Tue.) [sshong]
- 2005 1 12 (Wed.) 15:00-17:00 Invited Talk by Alfred Z. Spector in Faculty of Engineering Bldg. 2
- 2005 1 11 (Tue.) [tossy-2]
- 2004 12 21 (Tue.) [oyuichi, koichi, kohei, hideaki, fujimoto] Preview of Master Thesis
- 2004 12 14 (Tue.) [hedkandi, disk-ec7, koyu] Preview of Senior Thesis
- 2004 12 07 (Tue.) Invited Talk: Mr. Yamada from JAIST/TIT
- 2004 11 30 (Tue.) [y_yoko] Socket Migration II
- 2004 11 23 (Tue.) Holiday
- 2004 11 16 (Tue.) [mame]
- 2004 11 09 (Tue.) [yoshinor]
- 2004 11 02 (Tue.) [tosiyuki] Progress Report (Zao Project) and Google File System
- 2004 10 26 (Tue.) [eric] Progress Report
- 2004 10 19 (Tue.) [kaneda] Progress Report and Survey of VM'04
and OSDI'04 (ppt)(ppt)
- 2004 10 12 (Tue.) [nicolas] Progress Report
- 2004 10 08 (Fri.) Invited Talk: Dr. Pawel Wojciechowski
- 2004 10 05 (Tue.) [fujimoto] Progress Report
- 2004 09 28 (Tue.) [tosh] IA-32 architecture
- 2004 09 21 (Tue.) [oyama] Three Research Topics
- 2004 09 14 (Tue.) not held (JSSST annual workshop)
- 2004 09 13 (Thu.) Invited Talk: Dan Aloni: Cooperative Linux
- 2004 09 07 (Tue.) [uhiro] static single assignment form and partial redundancy elimination
- 2004 07 21- summer vacation
- 2004 07 20 (Tue.) [M2] Preview for interim presentations
- 2004 07 13 (Tue.) [M2] Preview for interim presentations
- 2004 07 06 (Tue.) [all] Progress Report
- 2004 06 29 (Tue.) [affeldt] partial order reduction for
pi-calculus processes and spatial formulas
- 2004 06 22 (Tue.) not held
- 2004 06 15 (Tue.) 17:00-- (@236)[atokuda]
- 2004 06 08 (Tue.) not held
- 2004 06 01 (Tue.) [sshong] Progress Report
- 2004 05 25 (Tue.) [tossy-2] Progress Report
- 2004 05 18 (Tue.) [y_yoko] Socket Migration
- 2004 05 11 (Tue.) [mame] Dynamic Weaving
- 2004 04 27 (Tue.) Invited Talk: Ms. Mizuki Oka from Tsukuba University: about Intrusion Detection System
- 2004 04 20 (Tue.) [nicolas]
- 2004 04 13 (Tue.) [scott] Towards fail-safe C++
- 2004 04 06 (Tue.) [uhiro] Interactive Virtual Surface Retouching