Tzu-Chun Chen

Latest

• A Typing Discipline for Statically Verified Crash Failure Handling in Distributed Systems