31 citations · 51 across the 14 of their papers we have counts for
Showing 2018Show all
3 papers · 1 filter
cs.PL2018★ 1 cited
To Memory Safety through Proofs
Hongwei Xi, Dengping Zhu
We present a type system capable of guaranteeing the memory safety of programs that may involve (sophisticated) pointer manipulation such as pointer arithmetic. With its root in a…
cs.PL2018
Implementing Linking in Multiparty Sessions (Extended Abstract)
Hanwen Wu, Hongwei Xi
The fast growth of service-oriented programming (SOP) is evident in this day and age of the Internet, and handling communication is of paramount importance in SOP. Session types ar…
cs.PL2018★ 1 cited
Multiparty Dependent Session Types (Extended Abstract)
Hanwen Wu, Hongwei Xi
Programs are more distributed and concurrent today than ever before, and structural communications are at the core. Constructing and debugging such programs are hard due to the lac…