Raymond Hu

Latest

• A Multiparty Session Typing Discipline for Fault-tolerant Event-driven Distributed Programming
• A Typing Discipline for Statically Verified Crash Failure Handling in Distributed Systems