Meeting Schedule: 1997 - 2000

(See also: Current Meeting Schedule)

• Meeting on Programming Languages (Every Wednesday, from 13:30 to 14:30)

• 2000 03 31 (Fri.) Talk by Tripathi (14:00--)
• 2000 03 30 (Thu.) (Yonezawa-sensei absent)
• 2000 03 27 (Mon.) report of SPA by senior
• 2000 03 23 (Thu.) [shuhei] Survey: OpenMP for SMP Cluster(ppt)
• 2000 03 20 (Mon.) not held (for PPL+SPA participants)
• 2000 03 16 (Thu.)
• 2000 03 13 (Mon.) talk by ishikawa from RWC
• 2000 03 09 (Thu.) not held (Yonezawa-sensei absent: miraikaitaku symposium)
• 2000 03 06 (Mon.) cancelled
• 2000 03 02 (Thu.) [y-tanaka] Survey: NANOS Project (NANOSProject.ppt)
• 2000 02 28 (Mon.) [affeldt] Online partial evaluation of bytecodes (0) (slides)
• 2000 02 24 (Thu.) [oiwa] Survey: `C: Dynamic Code Generation on C language - [SLIDES]
• 2000 02 21 (Mon.)
• 2000 02 17 (Thu.) [hoshina] Survey: Ambient Calculus((resume)
• 2000 02 14 (Mon.) Senior thesis presentation
• 2000 02 10 (Thu.) Rehearsal for Nakaya-san's Presentation (15:00-- )
• 2000 02 07 (Mon.) Master's thesis presentation
• 2000 02 03 (Thu.)
• 2000 01 31 (Mon.)
• 2000 01 27 (Thu.)
• 2000 01 24 (Mon.)
• 2000 01 20 (Thu.) cancelled
• 2000 01 17 (Mon.) [senior] progress report + [takeo] progress report (resumes, and preparatory one on Jan 14)
• 2000 01 14 (Fri.) 13:00 [masatomo] Towards a formal model for mobile languages
• 2000 01 10 (Mon.) Coming-of-Age Day
• 2000 01 07 (Fri.) [affeldt] Survey: Run-time Code Generation and ML (slides)
• 2000 01 06 (Thu.) Not held
• 2000 01 03 (Mon.) Not held
• 1999 12 30 (Thu.) Not held
• 1999 12 27 (Mon.) Not held
• 1999 12 23 (Thu.) Holiday
• 1999 12 20 (Mon.) [senior] progress report
• 1999 12 16 (Thu.) [oyama] Survey: Thread Migration and Communication Minimization in DSM Systems
• 1999 12 13 (Mon.) [koba] Type-Based Useless Variable Eliminationについて
• 1999 12 9 (Thu.) Talk by Ken Kahn
• 1999 12 6 (Mon.) Furuse-san @ Inria's talk
• 1999 12 2 (Thu.) [shin] FLOPS '99 report
• 1999 11 29 (Mon.) [masatomo] MobileML [summary(ps)]
• 1999 11 25 (Thu.) [all] progress report
• 1999 11 22 (Mon.) [senior] progress report
• 1999 11 18 (Thu.) [oyama] OOPSLA '99 report
• 1999 11 15 (Mon.) [sshong] Survey: secure and mobile networking
• 1999 11 11 (Thu.) [shuhei] Survey: shasta (DSM)
• 1999 11 8 (Mon.) Not held
• 1999 11 4 (Thu.) [oiwa] Survey: Technologies against Malicious Hosts
• 1999 11 1 (Mon.) [haruo] Regular Expression Types for XML Processing
• 1999 10 28 (Thu.)
• 1999 10 25 (Mon.) [hoshina] Mobile JDK
• 1999 10 21 (Thu.) [affeldt] Survey: Abstract Machines for Functional Languages (slides)
• 1999 10 18 (Mon.) [y-tanaka] Survey: OpenMP on Networks of Workstations
• 1999 10 14 (Thu.)
• 1999 10 11 (Mon.) Holiday
• 1999 10 7 (Thu.) [endo] Performance prediction of a parallel garbage collector (resume)
• 1999 10 4 (Mon.) [gotoh] Survey: Providing Fine-Grained Access Control for Java Programs ( Ariel Project)
• 1999 9 30 (Thu.) [sumii] Efficient Online Partial Evaluation
• 1999 9 27 (Mon.) [ymmt] CWRC, DisC2
• 1999 9 24 (Fri.) Talk by Yariv Aridor (on cJVM)
• 1999 9 23 (Thu.) Holiday (Autumnal Equinox Day)
• 1999 9 20 (Mon.) [oyama] Survey: Eliminating Synchronization Bottlenecks in Object-Based Programs Using Adaptive Replication
• 1999 9 16 (Thu.) progress report by everybody
• 1999 9 14 (Tue.) [igarashi] Featherweight Java: A Minimal Core Calculus for Java and GJ
• 1999 9 9 (Thu.) Talk by John Whaley
• 1999 8 6 (Fri.) Talk by Thorup
• 1999 7 26 (Mon.) progress reports by master students
• 1999 7 15 (Thu.) [oyama] PDSIA'99 report
• 1999 7 8 (Thu.) Lab. introduction for senior students
• 1999 7 8 (木) 大山[oyama] マルチスレッドプログラムのための性能チューニングツールの構想
• 1999 7 6 (火) 近況報告
• 1999 7 1 (木) 筑波大の加藤先生のお話
• 1999 6 29 (火) 外山[sumio] 修論への見通しについて
• 1999 6 24 (木) 大岩[oiwa] JavaGrande 報告
• 1999 6 22 (火) 山本[ymmt] Java GC
• 1999 6 17 (木) 大角[shuhei] サーベイ SPLASH2:
• 1999 6 10 (木) JSPP のため休み?
• 1999 6 3 (木) 藤波@CSLさん 自動実行時最適化コンパイラC++ Doublerの設計と実装について
• 1999 6 1 (火) 田中[y-tanaka] OpenMP について
• 1999 5 27 (木) 増原[masuhara] サーベイ: 近頃のオブジェクト指向言語の部分計算 (レジュメ)
• 1999 5 25 (火) 杉田[sugita]
• 1999 5 20 (木) Kresten[krab]
• 1999 5 18 (火) 予定は流れたので急遽: 後藤, 大山, 田浦. PPoPP の報告(続)
• 1999 5 13 (木) 後藤, 大山, 田浦. PLDI PPoPP の報告
• 1999 5 11 (火) 橋本[masatomo] D論について
• 1999 5 6 (木) 佐藤@お茶大さん mobile agents の研究について
• 1999 5 4 (火) 国民の休日
• 1999 4 29 (木) みどりの日
• 1999 4 27 (火) 多賀[nayuta] HTTP-NG, WIDL
• 1999 4 22 (木) 住井[sumii] サーベイ：Combinators for Program Generation (Peter Thiemann, to appear in Journal of Functional Programming)（レジュメ）
• 1999 4 20 (火) [cocoa] Coordination'99 の発表練習 (may be canceled)
• 1999 4 15 (木) Krestenさん[krab] 新しい言語 IDEA について
• 1999 4 13 (火) WWW とオブジェクト指向に関するサーベイ＆議論
  • 橋本[masatomo] オブジェクト指向 Web アプリケーション開発
  • 星名[hoshina] W3C DOM specification
  • 大岩[oiwa] Web のオブジェクトモデルのための技術
• 1999 4 8 (木) 皆さん 自分の研究について
• 1999 4 1 (木) 大山[oyama] ボトルネックが存在する並列プログラムの 効率的実行
• 1999 3 30 (火) 住井[sumii] POPL '99/PEPM '99 の報告
• 1999 3 5 (金) 皆さん 続・近況報告
• 1999 3 4 (木) 皆さん 近況報告 (レジュメディレクトリ)
• 1999 2 23 (火) 斉藤[shin] サーベイ：Type systems for π-calculus (レジュメ)
• 1999 2 19 (金) 山本[ymmt] DGCソース説明2
• 1999 2 11 (木) 山本[ymmt] DGCソース説明
• 1999 2 4 (木) 大山[oyama] サーベイ：High Performance Java いろいろ (HPJava, Titanium, HP-Java, Java//)
• 1999 2 2 (火) 関口[cocoa] A type system for pointer arithmetic
• 1999 1 21 (木) 増原[masuhara] Javaバイトコード上での実行時プログラム特化 ps, pdf
• 1999 1 14 (木) 多賀[nayuta] MACC98報告
• 1999 1 12 (火) 住井[sumii] 「Online Type-Directed Partial Evaluation for Dynamically-Typed Languages」（レジュメ）
• 1999 1 7 (木) haruo さん「Towards "real" HOT programming」
• 1998 12 24 (木) 五十嵐[igarashi] 「Foundations for Virtual Types」
• 1998 12 18 (金) 田浦[tau] 「MTCAMP, new StackThreads」
• 1998 12 18 (金) 修論報告 (PM 1:00〜)
• 1998 12 15 (火) 卒論報告
• 1998 12 10 (木) 外山[sumio] サーベイ: An Evaluation of Automatic Object Inline Allocation Techniques (OOPSLA '98)
• 1998 12 8 (火) 多賀[naytua] サーベイ: PLAN
• 1998 12 3 (木) JAIST の人のお話
• 1998 12 1 (火) 今井[takeo] FOSE'98 報告
• 1998 11 26 (木) 岸本[kishi] CG'98 報告
• 1998 11 19 (木) 住井[sumii] Interpreter without Interpretive Overheads（レジュメ）
• 1998 11 12 (木) 京都大学の橋本さんのお話
• 1998 11 10 (火) 杉田 OOPSLA '98 報告
• 1998 11 10 (火) 大山[oyama] PDCS '98 報告
• 1998 11 5 (木) M2 と B4 の皆さん 近況報告
• 1998 10 29 (木) 今井[takeo] サーベイ；コンポーネントウェアについて
• 1998 10 22 (木) 渡部卓雄さんのお話 「題名不明」
• 1998 10 15 (木) 外山[sumio] Schematic for DSM・レジュメ
• 1998 10 13 (火) 大山[oyama] PDCS '98 の発表練習
• 1998 10 13 (火) 杉田 OOPSLA '98 の発表練習
• 1998 10 8 (木) 関口[cocoa] mobile gcc
• 1998 10 6 (火) 小林[koba] Quasi-Linear Types について
• 1998 10 1 (木) M2の皆さん 現状報告
• 1998 9 29 (火) 増原[masuhara] D論 Architecture Design and Compilation Techniques Using Partial Evaluation in Reflective Concurrent Object-Oriented Languages について
• 1998 9 24 (木) 住井[sumii] CONCUR'98 と HLCL'98 の報告（レジュメ）
• 1998 9 22 (火) 大山[oyama] Flow-Directed Inlining を中心としたサーベイ
• 1998 9 17 (木) 杉田@慶応 発表練習「On-the-fly Specialization of Reflective Programs Using Dynamic Code Generation Technique」@ OOPSLA Workshop on Reflective Programming C++ and Java
• 1998 7 23 (木) 夏休みにしましょう
• 1998 7 21 (火) 住井[sumii] Type-Directed Partial Evaluation in ML（ソースコード・Danvy のページ・レジュメ）
• 1998 7 16 (木) 各人の現状報告
• 1998 7 9 (木) 岸本[kishi] Controlled Conspiracy Number Search の survey or 近況報告(日程がずれました)
• 1998 7 7 (火) Dr. Martin Henz の講演 「Objects for Concurrent Constraint Programming」
• 1998 7 2 (木) 先生[yonezawa]
• 1998 6 30 (火) 大山[oyama] Schematic の排他処理の効率化への展望
• 1998 6 25 (木) 假家[kariya] typed assembly language のサーベイ(論文)
• 1998 6 23 (火) 遠藤[endo] ソフトウェアDSM関連のサーベイ
• 1998 6 18 (木) 東芝の人のお話 「NC computingについて」
• 1998 6 16 (火) 奈由太[nayuta] WWCA'97 から、"Server Initiated Delivery of Multimedia Indormation" と "The World Wide Shell Based on the Object-Stacking Model"
• 1998 6 11 (木) 住井[sumii] サーベイ：言語の security と full abstraction について（論文・レジュメ）
• 1998 6 9 (火) 関口[cocoa] サーベイとか
• 1998 6 4 (木) JSPP で もぬけ
• 1998 6 2 (火) 人見[eye] Engineering component-based systems with distributed object technology とか（WWCA '97 の論文から）
• 1998 5 26 (火) 今井[takeo] 卒論やります。VLSI設計自動化の話
• 1998 5 21 (木) 田端[tabata] OldenのSurvey
• 1998 5 14 (木) 大山[oyama] Recent Java-based Global Computing Infrastructures / 体験版
• 1998 5 12 (火) 五十嵐[igarashi] 線形型とGCと私 (仮題)
• 1998 5 7 (木) 田浦[tau] CilkのRace Detection
• 1998 5 5 (火) こどもの日
• 1998 4 30 (木) 後藤[gotoh] Resource Access Control in Systems of Mobile Agents のサーベイ
• 1998 4 28 (火) 岸本[kishi] 詰め将棋を解くアルゴリズムとαβ法の並列化の話
• 1998 4 23 (木) 住井[sumii] TIC'98 の報告
• 1998 4 16 (木) 遠藤[endo] 「A Calculus of Mobile Agents(分散join-calculus)」のサーベイ
• 1998 4 14 (火) 午後６時よりあります。
• 1998 4 9 (木） 道尊[dawson] 遺伝子の研究について、現在の向き
• 1998 4 7 (火) M2は学科の用事があります。
• 1998 3 31 (火) Prof Fabre's Talk "A Metaobject Architecture For Fault Tolerant Distributed Systems"
• 1998 3 26 (木) TIC, SPAで人が少ないので休み
• 1998 3 24 (火) TICで人が少ないので休み
• 1998 3 19 (木) 細谷[haruo] TICの発表練習
• 1998 3 17 (火) 五十嵐[igarashi] subtyping の入った linear channel type system (遅れてきた近況報告)
• 1998 3 12 (木) 鎌田[kamada] race detection 関連の Survey
• 1998 2 23 (月) 清水[shimizu] A deadlock-free calculus を用いた最適化について
• 1998 2 19 (木) なし(卒論発表と練習？)
• 1998 2 10 (火) 細谷[haruo] Security of static typing with dynamic linking
• 1998 1 22 (木) 人見[eye] 「Survey: Distributed Garbage Collection for Network Objects」
• 1998 1 20 (火) 東芝, 本位田氏講演
• 1998 1 15 (木) 祝日(成人の日)
• 1998 1 13 (火) 卒論, 修論のアウトライン (4およびM2生全員)
• 1998 1 8 (木) 年末年始で休み
• 1998 1 6 (火) 年末年始で休み
• 1998 1 1 (木) 年末年始で休み
• 1997 12 30 (火) 年末年始で休み
• 1997 12 25 (木) 年末年始で休み
• 1997 12 23 (火) 祝日(天皇誕生日)
• 1997 12 18 (木) Manuel M. T. Chakravarty(筑波大) 「Functional Programming with Explicit Co-ordination」
• 1997 12 16 (火) Zhenjiang Hu (東大計数工学科）「Parallelization in Calculational Form」 （POPL98の論文）
• 1997 12 11 (木) Susumu Nishimura(京大) 「Static Typing for Dynamic Messages」
• 1997 12 9 (火) 鎌田[kamada]
• 1997 12 4 (木) 大山の予定だったが中止
• 1997 12 2 (火) 各人の現状報告
• 1997 11 27 (木) 各人の現状報告…の予定だったが米澤先生の都合により中止
• 1997 11 26 (水) 奈由太[nayuta] 「卒業研究の進捗状況の報告(1)」
• 1997 11 26 (水) 外山[sumio] 「卒業研究の進捗状況の報告(2)」
• 1997 11 25 (火) なし(米澤先生、小林さん、田浦さんがいないため)
• 1997 11 20 (木) 後藤[gotoh]「サーベイ:Mobile Ambients」
• 1997 11 19 (水) 住井[sumii] 「卒論：Deadlock-free π-calculus について（その１）」
• 1997 11 13 (木) 田端[tabata]「サーベイ:NESL」
• 1997 11 6 (木) 一杉さん「Java大賞授賞記念講演」
• 1997 11 5 (水) 外山[sumio] 「卒業研究の進捗状況の報告(1)」
• 1997 10 30 (木) 細谷[haruo] 「サーベイ：Polymorphic Type Assignment and CPS Conversion (CW'92)」
• 1997 10 29 (水) 住井[sumii] 「サーベイ：ocaml のお話（特に type system について）」
• 1997 10 28 (火) 岸本[kishi] 「」
• 1997 10 23 (木) 田浦[tau] 「サーベイ: Scheduling Multithreaded Computations by Work Stealing など」
• 1997 10 22 (水) 外山[sumio] 「サーベイ: Cluster ArchitectureにおけるCommunication Latency, Overhead, Bandwidthの影響について」
• 1997 10 22 (水) 仮家[kariya] 「サーベイ: weak type variable と effect system」
• 1997 10 16 (木) 清水[shimizu] 「サーベイ: Flexible Representation Analysis (ICFP '97)」レジュメ
• 1997 10 15 (水) 奈由太[nayuta] 「サーベイ: Migratory Applications」
• 1997 10 9 (木) 五十嵐[igarashi] 「SAS97報告」
• 1997 10 8 (水) 住井[sumii] 「サーベイ：modern な type system の review，FSubOmega+Rec における Object の Encoding」
• 1997 10 7 (火) 大山[oyama] 「20倍 Schematic について」
• 1997 10 7 (火) 高橋[tosiyuki] 「」
• 1997 10 2 (木) 後藤[gotoh] 「SPI」
• 1997 9 30 (火) 山本[ymmt] 「GC,puzzle,その他(予定)」
• 1997 9 30 (火) 人見[eye] 「micのsimulatorが動いた」
• 1997 9 25 (木) なし。人いないし、話者もいないため written by 清水
• 1997 9 23 (火) 秋分の日
• 1997 9 18 (木) 全員の近況報告
• 1997 9 16 (火) 清水[shimizu] 「ソフトウェア科学会全国大会の発表練習」
• 1997 9 9 (火) 中間発表
• 1997 9 4 (木) 後藤[gotoh]
• 1997 9 4 (木) と 人見[eye]「micのsimulator」
• 1997 7 17 (木) 後藤[gotoh] 「Vortex について」
• 1997 7 10 （木）なし。話者不在のため。
• 1997 7 8 （火）遠藤[endo] 「サーベイ:The Interaction of Parallel Programming Constructs and Coherence Protocols (PPoPP97)」
• 1997 7 3 （木）人見[eye] 「Remote Evaluation (TOPLAS 1990)のsurvey」
• 1997 7 2 (水) 関口[cocoa]「PDCで話したの入れていいでしょ」
• 1997 7 1（火）鎌田[kamada]「近況について」
• 1997 6 26（木）全員の近況報告
• 1997 6 24（火）大山[oyama]「... について」
• 1997 6 19（木）岸本[kishi]「Programming with Regions in the ML Kit について」
• 1997 6 17 (火) なし
• 1997 6 12 (木) 五十嵐[igarashi] 「Safe Polymorphic Type Inference for a Dynamically Typed Language のサーベイ」
• 1997 6 10（火）田浦[tau]「PLDIまたはPPOPPの発表練習」
• 1997 6 5（木）遠藤[endo]「PLDIポスター発表練習」
• 1997 6 3（火）田端[tabata]「... について」
• 1997 5 29（木）JSPPで、いる人少数のため、なし
• 1997 5 27（火）田浦[tau]「JSPP'97チュートリアル：マルチスレッドをサポートする言語の実装技術」の練習
• 1997 5 22（木）関口[cocoa]「... について」
• 1997 5 20（火）山本[ymmt]
• 1997 5 15（木）なし
• 1997 5 13（火）清水[shimizu]
• 1997 5 6（火）掃除とネットワークの張替(10BASE-Tへの以降)
• 1997 5 2（金）鎌田[kamada]
• 1997 4 24（木）大山[oyama]
• 1997 4 22（火）後藤[gotoh]
• 1997 4 17（木）岸本[kishi]
• 1997 4 14（月）鎌田[kamada]
• 1997 4 10（木）人見[eye]