5 citations · 7 across the 3 of their papers we have counts for
8 papers
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…
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…
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…
Applied Type System: An Approach to Practical Programming with Theorem-Proving
Hongwei Xi
The framework Pure Type System (PTS) offers a simple and general approach to designing and formalizing type systems. However, in the presence of dependent types, there often exist…
Multirole Logic (Extended Abstract)
Hongwei Xi, Hanwen Wu
We identify multirole logic as a new form of logic in which conjunction/disjunction is interpreted as an ultrafilter on the power set of some underlying set (of roles) and the noti…
Dependent Types for Multi-Rate Flows in Synchronous Programming
William Blair, Hongwei Xi
Synchronous programming languages emerged in the 1980s as tools for implementing reactive systems, which interact with events from physical environments and often must do so under…