-
Coordinator: Prof. Assaf J. Kfoury.
-
Meeting Place: Church Lab (MCS B24), Boston University.
-
Meeting Time: Thu. 4:00-6:00 pm.
-
Seminar Schedule:
-
2/8 (Tue.): Short organizational meeting.
-
2/17: "Proof-Carrying Code"
, George C. Necula. Presented by Torben Amtoft and Santiago Pericas.
-
2/24:
"A Semantic Model of Types and Machine Instructions for Proof-Carrying
Code" , Andrew Appel and Amy Felty.
"The Design and Implementation of a Certifying Compiler"
, George C. Necula and Peter Lee.
Both papers presented by Assaf J. Kfoury and Peter Møller Neergaard.
(Slides-1)
(Slides-2)
-
3/2:
"Towards an Active Network Architecture" , David L. Tennenhouse and David
J. Wetherall.
"The ACTIVE IP Option"
, David J. Wetherall and David L. Tennenhouse.
"ANTS: A Toolkit for Building and Dynamically Deploying
Network Protocols"
, David J. Wetherall, John Guttag and David L. Tennenhouse.
All three papers presented by Gabriel Nasser.
-
3/16:
"Behaviour Analysis for Validating Communication Patterns", Torben
Amtoft, F. Nielson and H. R. Nielson. Presented by Torben Amtoft.
-
3/30:
"Ambient Groups and Mobility Types" , Luca Cardelli,
Giorgio Ghelli and Andrew D. Gordon.
Presented by Santiago Pericas and Bennett Yates.
-
4/13:
"Subtyping and Typing Algorithms for Mobile Ambients" ,
Pascal Zimmer.
Presented by Peter Møller Neergaard.
-
4/27:
"A Scalable Architecture for Active Networks" ,
R. Sivakumar, S. Han and V. Bharghavan.
Presented by Gabriel Nasser.
-
5/4:
"A Calculus of Mobile Agents" ,
Cedric Fournet, Georges Gonthier, Jean-Jacques Lévy,
Luc Maranget and Didier Rémy.
Presented by Bennett Yates.
|
|
