Special Interest Group on Principles of Programming Languages

Note: this page is obsolete. See new SIG-POPL page on a Wiki system (U-Tokyo local only).

Schedule

Edit ~www/meeting/popl/index.html by yourself to schedule your talk. Having voluntary talk is always welcomed. The assigned talker is obliged to have the members of the meeting notice the content and date of the speech well in advance.
Please link your resume, related links, etc. below.

Recent schedules are maintained on a Wiki page.
2004 11 15 (Mon.) [mame] Survey: abc - AspectBench Compiler
2004 11 01 (Mon.) [shinyak @ hosoya-lab] An Algebraic Approach to Bi-Directional Updating
2004 10 25 (Mon.) [kohei] presentation practice
2004 10 18 (Mon.) [kinaba @ hosoya-lab]
2004 10 08 (Fri.) Guest Speaker (Dr. Pawel Wojciechowski) Isolation-only Transaction by Static Typing and Dynamic Versioning
2004 10 04 (Mon.) [everyone] Progress Report
2004 09 27 (Mon.) [oiwa] ICFP2004 Report & Progress Report (Fail-safe C & OCaml-Regexp)
2004 09 06 (Mon.) [suda @ hosoya-lab] Algorithm for subsumption problem between tree-automata
2004 07 26 (Mon.) [kobayasi] type-based analyzer for pi-calculus
2004 07 05 (Mon.) [kaizu] A Semantics for Web Services Authentication
2004 06 28 (Mon.) [kohei] Progress Report
2004 06 21 (Mon.) [furuse] Extensional polymorphism and G'Caml
2004 06 14 (Mon.) [oyuichi] Advice Weaving in AspectJ
2004 06 07 (Mon.) [hideaki] Progress Report (Aspect for Caml)
2004 05 31 (Mon.) [tati] Survey: Abstractions from Proofs
2004 05 24 (Mon.) [kinaba] Survey: MONA project
2004 05 17 (Mon.) Guest Speaker (Mr. Masahiko Kawabe): Derivation of Deterministic Inverse Programs based on LR Parsing.
2004 05 10 (Mon.) [frederic] On time-linearity and congruence in channel-passing calculi
2004 05 03 (Mon.) National Holiday
2004 04 26 (Mon.) [uhiro] Survey on CCured
2004 04 19 (Mon.) [shinyak @ hosoya-lab] Call-by-value is dual to call-by-name
2004 04 12 (Mon.) [y_yoko] Aspect-Oriented Operating Systems
2004 04 05 (Mon.) [mame] Relaxing the Value Restriction
2004 03 29 (Mon.) not held (spring vacation!)
2004 03 22 (Mon.) not held (spring vacation!)
2004 03 15 (Mon.) [everyone] Progress Report
2004 03 08 (Mon.) [kodama] rehearsal for PPL2004
2004 03 01 (Mon.) [igarashi] A Modal Foundation for Secure Information Flow
2004 02 23 (Mon.) [iwama & kodama] POPL 2004 Report
2004 02 16 (Mon.) Guest Speaker (Mr. Keisuke Nakano)
2004 02 09 (Mon.) Preview for Senior's Theses
2004 02 02 (Mon.) Preview for Master's Theses
2004 01 26 (Mon.)
2004 01 19 (Mon.) [tosh] Inspecting Stack Inspection
2004 01 12 (Mon.) National Holiday
2004 01 05 (Mon.)
2003 12 29 (Mon.)
2003 12 22 (Mon.) [sumii]A Bisimulation for Dynamic Sealing
2003 12 15 (Mon.) Preview of senior theses
2003 12 08 (Mon.) [tak] Progress Report
2003 12 01 (Mon.) [masuhara] Association Aspect
2003 11 24 (Mon.) National Holiday
2003 11 17 (Mon.) [ganat] Inserting Safe Memory Reuse Commands into ML-like Programs
2003 11 10 (Mon.) [koba]
2003 11 03 (Mon.) National Holiday
2003 10 27 (Mon.) [oyuichi] Typing against Cross-site Scripting
2003 10 20 (Mon.) [frederic] Interaction Spaces : Visualizing (and Running) Mobile Agent Systems
2003 10 13 (Mon.) National Holiday (Health-Sports Day)
2003 10 06 (Mon.) [iwama] ML F
2003 09 29 (Mon.) [kodama & kohei] XML stream translation.
2003 09 22 (Mon.) [oiwa] ICFP2003 report.
2003 09 08 (Mon.) Invited talk : [Julian Rathke] Towards a behavioural theory of access and mobility control in distributed systems.
2003 09 01 (Mon.)
2003 08 25 (Mon.)
2003 08 18 (Mon.) Summer vacation.
2003 08 11 (Mon.)
2003 08 04 (Mon.)
2003 07 28 (Mon.) [ooki] Destructors, Finalizers, and Synchronization
2003 07 21 (Mon.) 海の日
2003 07 14 (Mon.) [tosh]
2003 07 07 (Mon.) [affeldt]
2003 06 30 (Mon.) [kohei] A Survey on CCured
2003 06 23 (Mon.) [tak] Progress Report
2003 06 16 (Mon.) [hosoya]
2003 06 09 (Mon.) [koba] Useless-Code Elimination and Program Slicing for the Pi-Calculus
2003 06 02 (Mon.) [kojima] Informal Workshop on XML processing methodology and formalization
2003 05 26 (Mon.) [oiwa] Progress Report / [TUT students] Current Status
2003 05 19 (Mon.) [pesch] An Introduction to ACL2
2003 05 12 (Mon.) [hideaki] Survey: Towards a Dynamic-Weaving Based Solution
2003 05 05 (Mon.) national holiday
2003 04 28 (Mon.) [kohei] Once Upon a Polymorphic Type
2003 04 21 (Mon.) [all] Progress Report
2003 04 14 (Mon.) [oyuichi] Inferring Annotated Types for Inter-procedural Register Allocation with Constructor Flattening
2003 04 07 (Mon.) [tak] Survey on software mobility
2003 03 31 (Mon.)
2003 03 24 (Mon.)
2003 03 17 (Mon.)
2003 03 10 (Mon.)
2003 03 03 (Mon.)
2003 02 24 (Mon.)
2003 02 17 (Mon.)
2003 02 10 (Mon.)
2003 02 03 (Mon.)
2003 01 27 (Mon.) [tak] Operational semantics of Scope
2003 01 20 (Mon.) [affeldt] Verification of "pi-calculus programs" in Coq (slides)
2003 01 13 (Mon.) national holiday

2002 12 23 (Mon.) National Holiday (The Emperor's Birthday)
2002 12 16 (Mon.) Preview of senior theses
2002 12 09 (Mon.) [ganat]
2002 12 04 (Mon.) not held
2002 11 25 (Mon.) [iwama] Lock primitives analysis for JVM bytecode
2002 11 18 (Mon.) [tabee] XPerl / [oiwa] Regexp/OCaml

2002 10 07 (Mon)
2002 09 27 (Fri)
[tak] Survey - First-Class Structures for Standard ML (from ICFP 1999) slides
2002 05 31 (Fri)
[affeldt] Survey - Shape Analysis (slides)
2002 05 24 (Fri)
[koba] Resource Usage Analysis
2002 05 17 (Fri)
Not Held.
2002 05 10 (Fri)
?
2002 05 03 (Fri)
National Holiday
2002 04 26 (Fri)
?
2002 04 19 (Fri)
[tak] Survey - A modular module system (from J. Functional Programming)
2002 04 12 (Fri)
[ganat] Survey - Flow-Sensitive Type Qualifiers (from PLDI 2002)
2002 03 29 (Fri)
[oiwa] 近況報告 (Fail-Safe C 関連)
...
2001 12 3 (Mon)
[tabee] XDuce [resume]
[hamanaka] [shirane@titec] Progress Report
2001 11 26 (Mon)
[hamanaka][B4] Progress Report
2001 11 22 (Thu) 15:00-17:00 @ 236
[affeldt] Survey - BI as an assertion language for mutable data structures
2001 10 15 (Mon) 16:15- @ 102
[tosh] 修論について(resume1, resume2)
2001 10 5 (Fri)
[hoshina]
2001 9 27 (Thu.) 15:00- at Titech (本郷生の集合: 13:50 @ 理7-415)
[?] 東工大4年生の卒論について (＋ [?] JSSST全国大会報告？)
2001 8 24 [hamanaka]
2001 7 26(Thu.) 14:00- at Titech (rechanged!!)
[nakao] ???
2001 7 20(Fri.)
Holiday
2001 7 13(Fri.) 15:00-
[shin] 修論
2001 7 6(Fri.) 15:00-
[shin] 修論
2001 6 29(Fri.) 15:00-
[koba] usage analysis
2001 6 22(Fri.) 15:00-
[sumii] CSFW14報告
2001 6 15(Fri.) 15:00-
[affeldt] だったかな？忘れた
[koba] 東工大4年生の卒論のお話
2001 6 8(Fri.) 15:00-
[oiwa] 新ネタの話 :-)
2001 6 1(Fri.) 15:00-
[nakao] Survey: (誰の何?) 定理証明からプログラムを構成するお話
2001 5 25(Fri.) 15:00-
[affeldt] バイトコードの部分計算の話 (contd.)
2001 5 18(Fri.) 15:00-
[shin] 修論の進捗状況: CML でのデッドロック解析 (ps file)
2001 5 11(Fri.) 15:00-
[iwama] POPL の論文サーベイ:発表資料 (ppt file)
2001 5 4(Fri.)
ゴールデンウィークのため休み
2001 4 27(Fri.) 15:00-
[nakao] (進捗状況) coq による定理証明
2001 4 20(Fri.) 15:00-
[affeldt] バイトコードの部分計算の話 (contd.)
[???] 東工大小林研4年生の紹介
2001 4 13(Fri.) 15:00-
[affeldt] バイトコードの部分計算の話
(snipped (^^; )
2000 12 6 (Wed.)
[oiwa]
[hoshina] 修論の状況報告
2000 11 29 (Wed.)
[all] 近況報告
2000 11 22 (Wed.)
[koba] pi-calculusの統一的型システムについて
[hoshina] 修論の状況報告
2000 11 15 (Wed.)
[sumii] Relating Cryptography and Polymorphism
2000 11 8 (Wed.)
[igarashi] GJ の raw types とその形式化について
2000 10 25 (Wed.)
[oiwa] `Java について
[iwama] survey: A Type System for JVM Threads
2000 10 11 (Wed.)
[shin]
2000 10 04 (Wed.)
[hoshina] 修論の状況報告
2000 09 29 (Fri.) 15:00 @ 102
[all]近況報告
[igarashi] PLI2000参加報告
2000 09 11 (Mon.) 13:00 @ 202
[igarashi] Garbage Collection Based on a Linear Type System (TIC00発表練習)
2000 07 24 (Mon.) 13:00 @ 202
　[koba] pi-calculusの統一的型システムについて
2000 07 17 (Mon.) @ 202
　[oiwa] Progress Report and Discussion
2000 07 10 (Mon.) 13:00 @ 202
　[igarashi] ECOOP2000 報告
2000 06 26 (Mon.) @ 007
　[nakao] survey: A Type System for Object Initialization in the Java Bytecode Language
2000 06 12 (Mon.) 13:30 p.m. @ 202
　[shin] deadlock-free calc. の型推論およびその実装について
2000 05 29 (Mon.) 13:30 p.m. @ 202
　[igarashi] Inner Class の定式化について
2000 05 22 (Mon.) 13:30 p.m. @ 202
　[kariya] 研究の状況報告
2000 05 08 (Mon.) 13:30 p.m. @ 202
　[affeldt] Online partial evaluation of bytecodes (1)
2000 04 24 (Mon.) 13:30 p.m. @ 202
　[koba] deadlock-free calculusについて
2000 04 10 (Mon.) 13:30 p.m. @ 202
　[oiwa] TOPLAS
2000 04 03 (Mon.) 13:30 p.m. @ 202
　[masuhara] 増原のバイトコードの部分評価の正当性について
　[kariya] PPL報告のつづき　
2000 03 27 (Mon.) 13:00 p.m. @ 007
　[oiwa] Java に動的コード生成を導入する話の preview
　[kariya] PPL報告
2000 03 17 (Fri.) 13:00 p.m. @ 007
　[kariya] JFP 紹介
　[oiwa] 前回の話の詳細
　[all]進行状況報告
2000 03 06 (Mon.) 13:00 p.m. @ 007 (B1F)
2000 03 02 (Thu.) 11:00 a.m. @ 214
　[koba] POPL 2000 報告
　[all] 研究報告 & 興味のある分野を報告

Announcement

Experimentally I added this section as a option. Here, we may report the outcome of our activity either by adding comments in this section or by putting links as a reference in the previous schedule section. The content of the report is responsible to the talker.

Members

(new members are welcome!)

Naoki Kobayashi (TUT)
Kenichi Asai (Ochanomizu Univ.)
Hidehiko Masuhara (U-Tokyo)
Futoshi Iwama (TUT)
Hiroki Egoshi (TUT)
Yutaka Oiwa (U-Tokyo)
Reynald Affeldt (U-Tokyo)
Toshiyuki Maeda (U-Tokyo)
Nobuyuki Matsui (TUT)
Kazuaki Yoshibayashi (TUT)
Koutaro Hara (TUT)
Tomoyuki Koma (TUT)
Yuichi Oneda (U-Tokyo)
Hideaki Tatsuzawa (U-Tokyo)
Kohei Suenaga (U-Tokyo)

$Id: index.html,v 1.130 2007/01/11 13:42:26 hedkandi Exp $