5 citations · 7 across the 3 of their papers we have counts for
8 papers · 1 filter
Dependent Session Types for Verified Concurrent Programming
Qiancheng Fu, Hongwei Xi, Ankush Das
We present TLLC which extends the Two-Level Linear dependent type theory (TLL) with session-based concurrency. Equipped with Martin-Löf style dependency, the session types of TLLC…
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…
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…