Talks are 30 minutes each, with 10 minutes after for questions. We will be meeting in Room 8010 of the DePaul Center (on the corner of South State Street and East Jackson Avenue).
``Authenticity by Typing in Security Protocols''
``An Object Encoding for SelfType''
``Some Practical Aspects of Dependent Datatypes''
Lunch is provided by DePaul CTI; thanks to our Dean, Helmut Epp, for his support.
Chaired by Konstantin Läufer.
``Compiler and Tool Support for Debugging Object Protocols''
``Experience with Software Watermarking''
Chaired by Alan Jeffrey.
``Static Checking of Interrupt-driven Software''
``Reducing Thread Creation Costs With RunQueues''
``The Evolution of Parallel Control Structures''
Adjournment to dinner.
Back to the MSPLS'2000 home page.