20 citations · 69 across the 16 of their papers we have counts for
4 papers · 1 filter
Formalism-Driven Development of Decentralized Systems
Yepeng Ding, Hiroyuki Sato
Decentralized systems have been widely developed and applied to address security and privacy issues in centralized systems, especially since the advancement of distributed ledger t…
Transition-Oriented Programming: Developing Provably Correct Systems
Yepeng Ding
Correctness is a necessary condition for systems to be effective in meeting human demands, thus playing a critical role in system development. However, correctness often manifests…
Formalizing and Verifying Decentralized Systems with Extended Concurrent Separation Logic
Yepeng Ding, Hiroyuki Sato
Decentralized techniques are becoming crucial and ubiquitous with the rapid advancement of distributed ledger technologies such as the blockchain. Numerous decentralized systems ha…
Extending Concurrent Separation Logic to Enhance Modular Formalization
Yepeng Ding, Hiroyuki Sato
Nowadays, numerous services based on large-scale distributed systems have been developed to boost the convenience of human life. On the other side, it becomes a significant challen…