Seminar on Programming the Internet

Spring 2001

Coordinator: Prof. Assaf J. Kfoury. Meeting Place: MCS 135, Boston University. Meeting Time: Fri. 10:00-11:30 am. Programming the Internet Seminar (Fall 2000)   Programming the Internet Seminar (Spring 2000)   Programming the Web Seminar (Fall 1999)   Organization: We plan to divide the seminar into 3 tracks.   Track 1: Foundation of mobile computation. This will cover some of our own work as well as work by researchers elsewhere.   Track 2: XML. There is considerable current work on XML, mostly in industrial labs. The papers (relatively few) which we intend to present are by academic researchers.   Track 3: Other topics of interest to the participants, e.g., proof-carrying code. Seminar Schedule:   2/2: "Channeled Ambients" (Track 1). Presented by Santiago Pericas-G (work in progress). 2/9: "Regular Expression Matching for XML", H. Hosoya and B. Pierce. Presented by Bennett Yates. 2/23: Mobile Values, New Names, and Secure Communication", Abadi and Fournet. Presented by Peter Møller Neergaard. 3/2: Discussion about future research projects on XML. Presentations by Bennett Yates, Santiago Pericas-G. and Sebastian Burckhardt. 3/23: Formal Models in Document Processing", Anne Bruggemann-Klein. Presented by Assaf J. Kfoury. [Slides] [Thesis Summary] 3/30: "What are Polymorphically-typed Ambients ?", Torben Amtoft, Assaf J. Kfoury and Santiago Pericas-G. Rehearsal talk for ESOP'01 by Torben Amtoft. 4/20: "XTRACT: A system for Extracting DTDs from XML documents", M. Garofalakis, A. Gionis, R. Rastogi and S. Seshadri. Presented by Santiago Pericas-G. 5/4: "Reconciling two Views of Cryptography", M. Abadi and P. Rogaway. Presented by Peter Mø.

Suggested Papers:   Kirli: A Survey on Functions, Concurrency, Distribution and Mobility (Track 1).   Igarashi & Kobayashi (POPL'01): A Generic Type System for the Pi-Calculus (Track 1).   Sangiorgi (POPL'01): Extensionality and Intensionality of Ambient Logic (Track 1).   Kirli: A Static Type System for Detecting Potentially Transmissible Functions (Track 1).   Hosoya & Pierce (POPL'01): Regular Expression Matching for XML (Track 2).   Abadi & Fournet (POPL'01): Mobile Values, New Names, and Secure Communication (Track 3).   Necula & Rahul (POPL'01): Oracle-Based Checking of Untrusted Software (Track 3).   Bibliography   Resources:   Calculi for Mobile Processes   References and links: Aglets Ambit Ants Canes Concordia  Detour E  Grasshopper  Inferno  Infospheres  Jada  Jumping Beans  Kafka  Knowbot  Les Paras Liquid Software Messengers  Mobility Group Open Agent Architecture Rover  Smart Packets Tacoma  Telescript VIP  Voyager    Some Researchers:   Martin Abadi Aline Baggio Luca Cardelli Guisseppe Castagna Jeremy Hylton Trevor Jim Danny B. Lange Greg Morrisett George C. Necula Flemming Nielson Hanne R. Nielson Benjamin C. Pierce

This page is maintained by Santiago M. Peric/as-G., 2000.2.8. Autogenerated on Sunday November 23 2003.