Topic: 
  Safe Compositional Specification of Network Systems

Presented by Likai Liu

Abstract: 
  A specification language, with a type system featuring subtyping that is 
inspired by functional and OO programming languages, is proposed to describe 
components of a network service and their properties. Furthermore, we develop a 
type inference algorithm, the compositional analysis, to facilitate fully 
modular, constraint-based typing. The objective is to defer analysis of unknown 
components and to resume analysis when the component is assigned, without re-
analyzing the entire system. This avoids the need of specification-disclosure 
when several parties work to determine the interoperability of their systems.