111 Cummington St., Boston, MA 02215 | cs-www.bu.edu
Last updated: July 20, 2010

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.
  • 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:
     
  • References and links: